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 |