Fig. 1 Sample Fault Tree
Fig. 2 BDD of Sample FT
Fig. 3 FT for BDD Restructure
Fig. 4 BDD 1
Fig. 6 BDD 3
Fig. 5 BDD 2
Fig. 7 BDD 4
Table. 1 Bottom-Up Failure Path Search Algorithm
Table. 2 Comparison of CS between Original BDD and Restructured BDD
Table. 3 The Number of CS Comparisons for MCS Extraction
Table. 4 Comparison of Exact & Approximate TEP
참고문헌
- E. Ruijters, M. Stoelinga, "Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools," Computer Science Review, vol. 15-16, pp. 29-62, 2015. https://doi.org/10.1016/j.cosrev.2015.03.001
- R. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Transaction On Computers, C35(8): pp. 677-691, Aug. 1986. https://doi.org/10.1109/TC.1986.1676819
- Y. Deng, H. Wang, B. Guo, "BDD algorithms based on modularization for fault tree analysis," Progress in Nuclear Energy, 85, pp. 192-199, 2015. https://doi.org/10.1016/j.pnucene.2015.06.019
- A. Rauzy, "New algorithms for Fault Tree Analysis," Reliability Engineering System Safety, 40, pp. 203-211, 1993. https://doi.org/10.1016/0951-8320(93)90060-C
- W. Jung, J. Riley, K. Canavan, "BDD application to the calculation of probability and importance measures of minimal cutsets," 10th International Conference on Probabilistic Safety Assessment and Management 2010, PSAM 2010, 1. pp. 771-780, 2010.
- F. Somenzi, "CUDD: CU Decision Diagram Package Release 2.4.1," Department of Electrical and Computer Engineering, University of Colorado at Boulder: UT, CUDD Package Manual, 2005.
- D. K. Houngninou (2017), CUDD Tutorials, Learn it by examples. Available:http://davidkebo.com/cudd.
- B. Cho, B. Yum, S. Kim, "Calculation of Top Event Probability of Fault Tree using BDD," Journal of The Korea Institute of Information and Communication Engineering, vol. 20, no. 3, pp. 654-662, Mar. 2016. https://doi.org/10.6109/jkiice.2016.20.3.654
- N. Limnios, "Appendix B. European Benchmark Fault Trees," in Fault Trees, London:ISTE, Appendix B, pp. 191-192, 2007.
- L. Xing, S. Amari, Binary Decision Diagrams and Extensions for System Reliability Analysis, NJ: Scrivener Publishing Wiley, ch. 2, pp. 30-31, 2015.