|A Case Study On The Application of Software Health Management Techniques|
Ever increasing complexity of software used in large-scale, safety critical cyber-physical systems makes it increasingly difficult to expose and thence correct all potential bugs. There is a need to augment the existing fault tolerance methodologies with new approaches that address latent software bugs exposed at runtime. This paper describes an approach that borrows and adapts traditional `Systems Health Management' techniques to improve software dependability through simple formal specification of runtime monitoring, diagnosis and mitigation strategies.
|Year of Publication||
ISIS Technical Report
Institute For Software Integrated Systems
|Google Scholar | BibTeX | XML|