Username   Password       Forgot your password?  Forgot your username? 

Analysis of Large Fault Trees based on Simplified BDD Algorithm

Volume 13, Number 6, October 2017 - Paper 2  - pp. 796-806
DOI: 10.23940/ijpe.17.06.p2.796806

Wei Liua, Yong Zhoua,*, Hongmei Xiea, Zhengxian Weib

aCollege of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China
bSystem Engineering Research Institute, China State Shipbuilding Corporation, Beijing 100036, China

(Submitted on July 25, 2017; Revised on August 30, 2017; Accepted on September 15, 2017)

(This paper was presented at the Third International Symposium on System and Software Reliability.)


A simplified BDD analysis method (SimBDD) is proposed to solve the problem of temporal and spatial explosion and low computational efficiency of getting the fault tree's minimum cut sets in BDD method. On the basis of using SimBDD to get the minimum cutting sets, the failure paths of the fault tree are obtained by the hierarchical processing method. Tests are taken on large fault trees with this method. The results demonstrate that the method is efficient.


References: 11

      1. S. B. Akers, “Binary Decision Diagrams,” IEEE Transactions on Computers, vol. 27, no. 6, pp. 509-516, 1994

      2. J. D. Andrews and L. M. Bartlett, “Efficient Basic Event Orderings for Binary Decision Diagrams,” in Reliability and Maintainability Symposium, pp. 61-68, 1998

      3. K. S. Brace, R. L. Rudell, R. E. Bryant, “Efficient Implementation of a BDD Package,” in IEEE Design Automation Conference, pp. 40-50, 1991

      4. R. E. Bryant, “Graph-Based Algorithms for Boolean Function Manipulation,” IEEE Computer Society, vol. 35, no. 8, pp. 677-691, 1986

      5. Y. Deng, H. Wang and B. Guo, “BDD Algorithms Based on Modularization for Fault Tree Analysis,” Progress in Nuclear Energy, vol. 85, pp. 192-199, 2015

      6. C. Y. Lee, “Representation of Switching Circuits by Binary-Decision Programs,” Bell System Technical Journal, vol. 38, no. 4, pp. 985-999, 1959

      7. R. Prescott, “System Failure Modelling Using Binary Decision Diagrams,” Loughborough University, 2007

      8. “A Benchmark of Boolean Formulae,” A. Rauzy, Available at, Last accessed on July 20, 2017

      9. A. Rauzy, “A Brief Introduction to Binary Decision Diagrams,” Journal Européen Des Systèmes Automatisés Hermes, vol. 4, no. 4, pp. 206-207, 1996

      10. A. Rauzy, “New Algorithms for Fault Trees Analysis,” Reliability Engineering & System Safety, vol. 40, no. 3, pp. 203-211, 1993

      11. R. M. Sinnamon and J. D. Andrews, “Improved Efficiency in Qualitative Fault Tree Analysis,” Quality & Reliability Engineering International, vol. 13, no. 5, pp. 293-298, 1997


          Please note : You will need Adobe Acrobat viewer to view the full articles.Get Free Adobe Reader

          This site uses encryption for transmitting your passwords.