Analyzing fault tree by using method of recursive BDD technique

作者：Luo Hang^*; Wang Hou Jun; Huang Jian Guo; Long Bing

来源：Journal of the University of Electronic Science and Technology of China, 2011, 40(5): 726-731.

• Fault-trees
• Inherit
• Key techniques
• Non-intersection cut-set
• Recursions
• Recursive techniques

In this paper, the practical application of BDD (Binary Decision Diagram, BDD) technique in fault tree analysis is studied. Because there are some disadvantages that the fault tree analysis with traditional method could only get cut-sets of top event, and normal non-intersection strategy was too cumbersome, the principles and method of BDD technique are analyzed. On the basis of researching BDD structure of top-event with recursive technique, a key technique, i.e., inherit technique, is put forward and used to form non-intersection cut-sets. Finally, an example is given to interpret the reasons why the BDD technique is superior to method of traditional fault tree analysis.

• 出版日期2011
• 单位四川大学