| A Deliberative Reasoner for Model-Based Software Health Management | |
|---|---|
| Author | |
| Abstract |
While traditional design-time and off-line approaches to testing and verification contribute significantly to improving and ensuring high dependability of software, they may not cover all possible fault scenarios that a system could encounter at runtime. Thus, runtime `health management' of complex embedded software systems is needed to improve their dependability. Our approach to Software Health Management uses concepts from the field of `Systems Health Management': detection, diagnosis and mitigation. |
| Year of Publication |
2012
|
| Conference Name |
The Eighth International Conference on Autonomic and Autonomous Systems
|
| Date Published |
03/2012
|
| Conference Location |
St. Maarten, Netherlands Antilles
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |