An enhanced component connection method for conversion of fault trees to binary decision diagrams
Remenyte-Prescott, Rasa and Andrews, John (2008) An enhanced component connection method for conversion of fault trees to binary decision diagrams. Reliability Engineering and System Safety, 93 (10). pp. 1543-1550. ISSN 0951-8320
Fault Tree Analysis (FTA) is widely applied to assess the failure probability of industrial systems. Many computer packages are available which are based on conventional Kinetic Tree Theory methods. When dealing with large (possibly non-coherent) fault trees, the limitations of the technique in terms of accuracy of the solutions and the efficiency of the processing time becomes apparent. Over recent years the Binary Decision Diagram (BDD) method has been developed that solves fault trees and overcomes the disadvantages of the conventional FTA approach. First of all, a fault tree for a particular system failure mode is constructed and then converted to a BDD for analysis. This paper analyses alternative methods for the fault tree to BDD conversion process.
Actions (Archive Staff Only)