Fault Tree Simulation Analysis of Missile Safety Control System Based on Improved BDD Algorithm

Aiming at disadvantages of traditional Binary Decision Diagram(BDD)algorithm applying in missile safety control system,a kind of improved coherent BDD(CBDD)algorithm was introduced.CBDD algorithm based on the traditional algorithm in this study developes a set of novel formula for AND or OR operation between two If-Then-Else(ITE)connectives of a coherent system,and this improvement makes it possible to reduce BDD structure.By means of truncation and subsuming operation of every step,big fault trees of coherent systems can be efficiently solved in short time using less memory.Simulation example shows CBDD algorithm is better than traditional BDD algorithm in application range and algorithmic efficiency.