Computer-aided Synthesis of Fault-trees
Steven A. Lapp, Gary J. Powers · IEEE Transactions on Reliability · 1977
An algorithm is presented for the synthesis of fault-trees. The fault-tree is deduced directly from a digraph (directed graph) model of the system being analyzed. The digraph describes the normal, failed, and conditional relationships which exist between variables and events in the system. A computer program which uses this algorithm is illustrated for a chemical processing system.