DOI QR코드

DOI QR Code

BDD를 이용한 사고수목 정상사상확률 계산

Calculation of Top Event Probability of Fault Tree using BDD

  • 투고 : 2016.01.19
  • 심사 : 2016.02.18
  • 발행 : 2016.03.31

초록

사고수목을 이루는 게이트나 기본사상이 많아질수록 정상사상 확률의 정확한 계산이 어려워진다. 이를 극복하기 위해 BDD 방법을 적용하면 중소형 사고수목의 경우 짧은 시간에 근사계산 없이 정확한 값을 구할 수 있다. CUDD 함수를 이용하여 사고수목을 BDD로 변환하고 그로부터 정상사상의 발생확률을 구하는 고장경로 탐색 알고리즘을 고안하였다. 후방탐색 알고리즘은 전방탐색 알고리즘보다 고장경로의 탐색과 확률계산 시간에서 효과적이다. 이 탐색 알고리즘은 BDD에서 고장경로를 찾는데 있어서 탐색시간을 줄일 수 있고, 해당 사고수목의 단절집합과 최소단절집합을 찾는 유용한 방법이다.

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.

키워드

참고문헌

  1. R. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Transaction On Computers, vol. C-35 no. 8, pp. 677-691, Aug. 1986. https://doi.org/10.1109/TC.1986.1676819
  2. A. Rauzy, "New algorithms for fault tree analysis," Reliability Engineering System Safety, vol. 40, no. 3, pp. 203-211, 1993. https://doi.org/10.1016/0951-8320(93)90060-C
  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.

피인용 문헌

  1. Failure Analysis to Derive the Causes of Abnormal Condition of Electric Locomotive Subsystem vol.41, pp.2, 2018, https://doi.org/10.11627/jkise.2018.41.2.084
  2. Research on Railway Safety Common Data Model and DDS Topic for Real-time Railway Safety Data Transmission vol.21, pp.5, 2016, https://doi.org/10.9708/jksci.2016.21.5.057
  3. 고장수목으로부터 변환된 BDD에서 효율적인 MCS 추출을 위한 BDD 재구성 방법과 새로운 근사확률 공식 vol.23, pp.6, 2016, https://doi.org/10.6109/jkiice.2019.23.6.711