Computer-aided Synthesis of Fault-trees

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.