Towards Software Health Management with Bayesian Networks

In some industries such as aerospace, medical devices, or automotive, such failures can cost lives or endan- ger mission success. Software faults can arise due to the inter- action between the software, the hardware, and the operating environment.

Unanticipated environmental changes lead to software anomalies that may have significant impact on the overall success of the mission. Latent coding errors can at any time during system operation trigger faults despite the fact that usually a significant effort has been expended in verification and validation (V&V) of the software system. Nevertheless, it is becoming increasingly more apparent that pre-deployment V&V is not enough to guarantee that a com- plex software system meets all safety, security, and reliabil- ity requirements.