Int J Performability Eng ›› 2017, Vol. 13 ›› Issue (6): 796-806.doi: 10.23940/ijpe.17.06.p2.796806

• Original articles • Previous Articles     Next Articles

Analysis of Large Fault Trees based on Simplified BDD Algorithm

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

  1. 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

Abstract: 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.

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.
References: 11