Enhanced component connection method and application for conversion of fault trees to binary decision diagrams

Dynamic fault tree analysis is one of the most important methods in reliability field. The tree structure shows system failure logic directly. A hybrid analysis method for dynamic fault tree is presented. Dynamic fault tree is modularized and divided into static module and dynamic module by the type of gates. The existing component connection method of converting static fault tree to binary decision diagram is improved. The proposed method obtain the minimum cut set of static tree module directly. A set of dynamic gates cut set sequences definitions are applied to analysis the dynamic modular. The merger of two part results grains the whole fault tree cut set sequences. Finally, an experiment proves the algorithm can complete the qualitative analysis of the dynamic fault tree quickly and effectively.