Acknowledgement
This research was supported by the 2021 Research Fund of the KEPCO International Nuclear Graduate School (KINGS), the Republic of Korea.
References
- World Nuclear Association. Nuclear Power in South Korea. Available on the website https://www.world-nuclear.org/information-library/country-profiles/countries-o-s/south-korea.aspx
- David Pellerin, Scott Thibault - Practical FPGA Programming in C (2005, Prentice Hall)."
- Handbook of floating-point arithmetic by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lef vre, Guillaume Melquiond, Nathalie Revol, Damien Stehl , Serg (z-lib)
- Numerical Computing with IEEE Floating Point Arithmetic by Michael L. Overton (z-lib.org)
- Kossiakoff, W. N. Sweet, S. J. Seymour, and S. M. Biemer, Systems Engineering Principles and Practice: Second Edition. 2011
- IEC, IEC 62566, Nuclear Power Plants - Instrumentation and Control Important to Safety - Development of HDL - Programmed Integrated Circuits for Systems Performing Category A functions. 2012
- Edition Formal Verification of Floating-Point Hardware Design A Mathematical Approach by David M. Russinoff (z-lib.org) (1)
- IEEE, IEEE Standard for Software Requirement Specifications - IEEE Std 830-1998, vol. 1998. 1998
- J. L. Goldman, G. Abraham, and I. Y. Song, "Generating Software Requirements Specification ( IEEE - Std . 830 - 1998 ) document with Use Cases," no. 215, pp. 1-12, 2007
- USNRC, "10 CFR Appendix A to Part 50-General Design Criteria for Nuclear Power Plants"
- "IEEE standard 1012." 1998
- IAEA. Modern Instrumentation and Control for Nuclear Power Plants: A Guidebook. Technical Report Series nº 387. Vienna, 1999
- B. a Jackson and J. R. Armstrong, "Digital filter design and synthesis using high-level modeling tools," 1999
- Korea Electric Power Corporation & Korea Hydro & Nuclear Power Co., Ltd. Functional Design Requirements for a Core Protection Calculator System for APR1400. August 2014
- J. Qian and B. Xu, "Formal verification for C program," Informatica, vol. 18, no. 2, pp. 289-304, 2007, doi: 10.15388/informatica.2007.178
- Design Automation Standards Comittee, IEEE Std 1800.2-2017 : IEEE Standard for Univers Verification Methodology Language Reference Manual., vol. 2011, no. January. 2017
- Systems Engineering Principles and Practice 2nd
- USNRC. U.S. EPR Application Documents
- Korea Hydro Nuclear Power (KHNP) Nuclear Power Education Institute, APR1400 Protection System, training material, pp. 119-120
- Wang-Kee In; Young-Ho Park; Seung-Yeob Baeg. Development and Assessment of Advanced Reactor Core Protection System. Journal of Power and Energy Systems. Vol 06, n° 02, 2012