binary decision diagram(BDD) algorithm is used for fault tree analysis.The ways of calculating failure probability and minimal cut-set(MCS) for certain fault trees are presented
including conversion from fault tree to BDD structure
obtaining MCS from BDD
MCS storage in terms of zero-suppressed BDD(ZBDD) for space-saving
and calculation of top event unavailability.A program was compiled and validated by calculating a PSA model of certain nuclear power plant both by hand and RiskSpectrum PSA.The comparison results show that the program can qualify and quantify a fault tree of relatively small scale.