Fault tree analysis: 1020 prime implicants and beyond

The performances of almost all available fault tree analysis tools are limited by the performance of the prime implicant computation procedure used. All these products manipulate the prime implicants of the fault trees explicitly, so that their complexities are directly related to the number of prime implicants to be generated. The authors present a novel analysis method of coherent as well as noncoherent fault trees that overcomes this limitation because its computational cost is not related to the number of variables, gates, or prime implicants of these trees. The interactive fault tree analyzer MetaPrime based on this new method has been shown by experience to be able to perform in seconds the complete analysis of noncoherent fault trees with more than 10²⁰ prime implicants