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