Acknowledgement
Supported by : 한국원자력안전재단
References
- IEEE Std 603, IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations, 2009.
- Young-June Lee, Kee-Choon Kwon, and Jang-Soo Lee, “Qualification strategy and examples of embedded software in nuclear power plant,” Communications of the KIISE, Vol. 32, No. 4, pp. 17-26, 2014. (In Korean)
- USNRC, Standard Review Plan, NUREG-0800, Chapter 7, Branch Technical Position 14, Rev. 5, 2007.
- Kee-Choon Kwon, et al., “Qualification of safetycritical software for digital reactor safety system in nuclear power plants,” Nuclear Safety and Simulation, Vol. 4, No. 3, pp. 226-233, 2013.
- IEEE Std. 730, "IEEE Standard for Software Quality Assurance Processes," 2014.
- Eunkyung Jee, Gee-Yong Park, Jang-Soo Lee, Kee- Choon Kwon, A Safety Case for Reactor Protection System Software Developed with a Prescriptive Approach, EHPG 2016, Oslo, May 10, 2016.
- Office of Nuclear Regulation, Generic Design Assessment - New Civil Reactor Build Step 4 Control and Instrumentation Assessment of the Westinghouse AP1000 Reactor, ONR-GDA-AR-11-006, 2011.
- Tim P. Kelly, "Arguing Safety: A Systematic Approach to Managing Safety Cases," University of York, 1999.
- John Spriggs, "GSN - The Goal Structuring Notation : A Structured Approach to Presenting Arguments," Springer, 2012.
- Terje Siversten, Software Safety Demonstration, Halden Reactor Project, HWR-1056, 2013.