Acknowledgement
This work was supported by the Nuclear Safety Research Program through the Korea Foundation of Nuclear Safety (KoFONS) using financial resources granted by the Nuclear Safety and Security Commission (NSSC) of Korea (No. RS-2023-00240452).
References
- R.E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput. C-35 (No.8) (1986).
- Antoine Rauzy, New algorithms for fault trees analysis, Reliab. Eng. Syst. Saf. 40 (1993) 203-211.
- Jung Han Kim, et al., Overview of development of PRASSE: probabilistic risk assessment of systems for seismic events, in: Transact Kor. Nuclear Soc. Autumn Meet, Gyeongju, Korea, 2011 Oct., pp. 27-28.
- EQE International Inc, EQESRA Reference Document Version 3, 1995.
- Ji Suk Kim, Man Cheol Kim, Insights gained from applying negate-down during quantification for seismic probabilistic safety assessment, Nucl. Eng. Technol. 54 (2022) 2933-2940.
- FTREX 2, 0 Software Manual, EPRI 3002018234, 2020.
- Hak Kyu Lim, A Simple approach to calculate CDF with non-rare events in seismic PSA model of Korean nuclear power plants, J. Korean Surg. Soc. 36 (5) (2021) 86-91.
- Woo Sik Jung, A method to improve cutset probability calculation in probabilistic safety assessment of nuclear power plants, Reliab. Eng. Syst. Saf. 134 (2015) 134-142.
- Sang Hoon Han, Enhancement of the FTeMC Software for Fault Tree Top Event Probability Evaluation Using Monte Carlo Approach, Transactions of the Korean Nuclear Society Spring Meeting, Jeju, Korea, 2018. May. 17-18.
- Tetsukuni Oikawa, et al., Development of systems reliability analysis code SECOM-2 for seismic PSA, Reliab. Eng. Syst. Saf. 62 (1998) 251-271.