In this paper

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.