Fault Tree Analysis and Binary Decision Diagrams

Fault tree analysis is now commonly used to assess the adequacy, in reliability terms, of industrial systems. For complex systems an analysis may produce thousands of combinations of events which can cause system failure (minimal cut sets). The determination of these minimal cut sets can be a very time consuming process even on modern high speed digital computers. Also if the fault tree has many minimal cut sets calculating the exact top event probability will require extensive calculations. For many complex fault trees this requirement is beyond the capability of the availaible machines, thus approximation techiques need to be introduced resulting in loss of accuracy. This paper describes the use of Binary Descision Diagrams for Fault Tree Analysis and some ways in which it can be efficiently implimented on a computer. The work to date shows a substantial improvement in computational effort for large, complex fault trees analysis with this method in comparison to the traditional approach. The Binary Decision Diagram method has the additional advantage that approximations are not required, exact calculations for the top event parameters can be performed.