Publisher : The Korean Institute of Information and Commucation Engineering
DOI : 10.6109/jkiice.2016.20.3.654
Title & Authors
Calculation of Top Event Probability of Fault Tree using BDD Cho, Byeong Ho; Yum, Byeoungsoo; Kim, Sangahm;
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.