Reliability Analysis of Dynamic Fault Tree Based on Binary Decision Diagrams for Explosive Vehicle

Abstract

Dynamic fault tree is often used to analyze system reliability. The Markov model is a commonly used method, which can accurately reflect the relationship between the state transition process and the dynamic logic gate transfer in the dynamic fault tree. When the complexity or scale of system is increasing, the Markov model encountered a problem of state space explosion leading to increase troubles. To solve the above problems, a modular approach is needed. Based on the modular approach, a hybrid fault module was researched in this paper. Firstly, the stackable fault subtree containing complex static/dynamic logic gate is transformed into four common combinational logic gates through preprocessing of the dynamic gate in the module. Then, the complexity of the model was reduced by incorporating four common combinational logic gates and using the binary decision graph to solve variable ordering in the calculation of failure probability of static subtree. Moreover, the calculating process of complex mixed logic gate fault tree can be simplified. An example of the ammonium nitrate/fuel explosive production system for BCZH-15 explosive vehicle was used to verify the feasibility of the presented method.