JOURNAL BROWSE
Search
Advanced SearchSearch Tips
Calculation of Top Event Probability of Fault Tree using BDD
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
Calculation of Top Event Probability of Fault Tree using BDD
Cho, Byeong Ho; Yum, Byeoungsoo; Kim, Sangahm;
  PDF(new window)
 Abstract
As the number of gates and basic events in fault trees increases, it becomes difficult to calculate the exact probability of the top event. In order to overcome this difficulty the BDD methodology can be used to calculate the exact top event probability for small and medium size fault trees in short time. Fault trees are converted to BDD by using CUDD library functions and a failure path search algorithm is proposed to calculate the exact top event probability. The backward search algorithm is more efficient than the forward one in finding failure paths and in the calculation of the top event probability. This backward search algorithm can reduce searching time in the identification of disjoint failure paths from BDD and can be considered as an effective tool to find the cut sets and the minimal cut sets for the given fault trees.
 Keywords
Binary Decision Diagram;Cut Set;Failure Path;Fault Tree;Minimal Cut Set;
 Language
Korean
 Cited by
1.
Research on Railway Safety Common Data Model and DDS Topic for Real-time Railway Safety Data Transmission, Journal of the Korea Society of Computer and Information, 2016, 21, 5, 57  crossref(new windwow)
 References
1.
R. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Transaction On Computers, vol. C-35 no. 8, pp. 677-691, Aug. 1986. crossref(new window)

2.
A. Rauzy, "New algorithms for fault tree analysis," Reliability Engineering System Safety, vol. 40, no. 3, pp. 203-211, 1993. crossref(new window)

3.
K. Reay, "Efficient Fault Tree Analysis Using Decision Diagrams," Ph. D. dissertation, Loughborough University, England, GB, 2002.

4.
F. Somenzi, CUDD Documentation [Internet]. Available: http://vlsi.colorado.edu/personal/fabio/CUDD/html/index.html

5.
C. Park, J. Ha, Probabilistic Safety Assessment, pp. 60-63, Brainkorea, 2003.