Model-based Software Health Management for Real-Time Systems | |
---|---|
Author | |
Keywords | |
Abstract |
Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management services. Testing and verification may not cover all possible scenarios that a system can encounter, hence a simpler, yet formally specified run-time monitoring, diagnosis, and fault mitigation architecture is needed to increase the software system's dependability. |
Year of Publication |
2011
|
Conference Name |
IEEE Aerospace Conference
|
Date Published |
2011
|
Attachments |
Document
|
Google Scholar | BibTeX | XML |