@misc{329,
  author = {Nagabhushan Mahadevan and Abhishek Dubey and Gabor Karsai},
  title = {A Case Study On The Application of Software Health Management Techniques},
  abstract = {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. The two-level approach of Health Management at Component and System level  is demonstrated on a simulated case study of an Air Data Inertial Reference Unit (ADIRU).  That subsystem was categorized as the primary failure source for the in-flight upset caused in the Malaysian Air flight 124 over Perth, Australia in August 2005.},
  year = {2011},
  journal = {ISIS Technical Report},
  number = {ISIS-11-101},
  month = {01/2011},
  publisher = {Institute For Software Integrated Systems},
  address = {Nashville},
}