Application of Software Health Management Techniques
Author
Abstract

The growing complexity of software used in large-scale, safety critical cyber-physical systems makes it increasingly difficult to expose and hence correct all potential defects. There is a need to augment the existing fault tolerance methodologies with new approaches that address latent software defects exposed at runtime. This paper describes an approach that borrows and adapts traditional `System Health Management' techniques to improve software dependability through simple formal specification of runtime monitoring, diagnosis, and mitigation strategies.

Year of Publication
2011
Conference Name
To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Publisher
ACM
Conference Location
New York, NY, USA
Attachments
Document
Google Scholar | BibTeX | XML