Fault Tree Analysis: 1020 Prime Implicants and Beyond
Olivier Coudert, J.C. Madre · 1993
This paper presents a new analysis method of coherent as well as noncoherent fault trees that overcomes this limitation because its computational cost is not related to either the number of variables or the number of gates or the number of prime implicants of these trees. The interactive fault tree analyser METAPRIME that is 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