Computer Assisted Fault Tree Synthesis

 Fault tree analysis is a quantitative systemm safety technique for identifying the chains of events which could  cause specific hazard. The formal strategy presented in this thesis increases the accuracy and speed by which fault trees may be generated and allows fault tree analysis to be  used by a wider range of practicing engineers. Diagraph  models are used to describe the normal, failed, and  conditional relationships for individual process components.  Component models are linked to form a model for the system  under study. An algorithm is presented which d irectly  deduces the fault tree from the system digraph. Methods for  modelling human interactions and analyzing sequential  systems are also presented.