Safety Analysis of Ada Programs Using Fault Trees

Software is increasingly being used in the control of potentially hazardous systems. Software fault-tree analysis is a technique for analyzing the logic of software for any potential contribution to system mishaps. The technique is described using Ada as an example real-time language. Special consideration is given to the problems of concurrency and real-time constraints which are common in these types of applications.