A UNIFIED ALGORITHM FOR COMPUTER-AIDED FAULT TREE ANALYSIS

A unified algorithm for computer-aided fault tree analysis is presented in this paper. Byusing this algorithm, all the modular subtrees of the primal fault tree can be found, the dis-joint implicant families of each modular subtree and its dual can be obtained, the primeimplicant family of the primal fault tree can be given, and the conventional quantitativecomputation and some new quantitative analysis can also be done. It is more complete andefficient as compared with Willie’s algorithm.