Published October 2011 | Version v1
Journal article

A binary decision diagram for fault tree analysis

  • 1. Shanghai Nuclear Engineering Research and Design Institute, Shanghai (China)

Description

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. (authors)

Additional details

Publishing Information

Journal Title
Nuclear Techniques
Journal Volume
34
Journal Issue
10
Journal Page Range
p. 791-795
ISSN
0253-3219

Optional Information

Notes
6 figs., 1 tabs., 9 refs.