References
- M. Catherine and G. Sofia, "Field Programmable Gate Arrays in SafetyRelated Instrumentation and Control Applications," Adelard LLP, 2015.
- O. S. Ievgenii Bakhmach, A. Andrashov, and A. K. Vyacheslav Kharchenko, "Certification of RADICS FPGA-based Platform under US NRC Requirements," in NPIC & HMIT 2017, San Francisco, CA, 2017.
- IAEA, "Design of Instrumentation and Control Systems for Nuclear Power Plant," International Atomic Energy Agency, 2016.
- USNRC, "NUREG/CR-6430: Software Safety Hazard Analysis," United States Nuclear Regulatory Commission, 1995.
- C. A. Ericson, Hazard Analysis Techniques for System Safety, Fredericksburg, Virginia: John Wiley & Sons, 2005.
- IEEE, "IEEE Std. 1228-1994: Standard for Software Safety Plans," The Institute of Electrical and Electronics Engineers, 1994.
- FAA, "Safety Analysis/Hazard Analysis Tasks," Federal Aviation Administration, 2000.
- NASA, "NASA-GB-8719.13 Software Safety Guidebook," NASA, 2004.
- IEEE, "IEEE Std. 7-4.3.2-2003: Standard for Criteria for Digital Computer in Safety Systems of Nuclear Power Generating Stations," The Institute of Electrical and Electronics Engineers, 2003.
- EPRI, "Guidelines on the Use of Field Programmable Gate Arrays in Nuclear Power Plant I&C Systems," EPRI, 2009.
- USNRC, "Review Guidelines for Fied Programmable Gate Arrays in Nuclear Power Plant Safety Systems," United States Nuclear Regulatory Commission, 2010.
- IEC, "IEC 62566: Nuclear Power Plant-Instrumentation and Control Important to Safety," IEC, 2010.
- A. Andrashov, V. Kharchenko, V. Sklyar, A. Siora, and L. Reva, "Verification of FPGA-based NPP I&C Systems: General Approach and Techniques," in 19th international conference on nuclear engineering, Chiba, 2011.
- S. Jung, J. Yoo, and Young-Jun Lee, "A practical Application of NUREG/CR-6430 Software Safety Hazard Analysis to FPGA Software," Reliability Engineering & System Safety, vol. 202, no. 107029, 2020.
- S. Li and S. Duo, "Safety Analysis of Software Requirements: Model and Process," Procedia Engineering, vol. 80, pp. 153-164, 2014. https://doi.org/10.1016/j.proeng.2014.09.071
- H. Bao, T. Shorthill and H. Zhang, "Hazard Analysis for Identifying Common Cause Failures of Digital Safety Systems using a Redundancy-guided Systems - Theoretic Approach," Annals of Nuclear Energy, vol. 148, no. 107686, 2020.
- T. Bai, W.-H. Chen, Z. Liu, and F. Gao, "Software Hazard Analysis for Nuclear Digital Protection System by Colored Petri Net," Annals of Nuclear Energy, vol. 110, pp. 486-491, 2017. https://doi.org/10.1016/j.anucene.2017.07.001
- NASA, "System Engineering "Toolbox" for Design-Oriented Engineers," National Aeronautics and Space Administration, 1994.
- DOD, "MIL-STD-882E Standard Practice System Safety," Department of Defence, 2012.
- C. J. Garrett and G. E. Apostolakis, "Automated Hazard Analysis of Digital Control Systems," Reliability Engineering & System Safety, vol. 77, no. 1, pp. 1-17, 2002. https://doi.org/10.1016/S0951-8320(02)00007-8
- IEEE, "IEEE Std. 1012-2016 IEEE Standard for System, Software, and Hardware Verification and Validation," The Institute of Electrical and Electronics Engineers, 2017.
- ISO, ISO/IEC/IEEE 15288, "System and Software Engineering - System Life Cycle Processes," International Standard Organization, 2015.
- A. Kossiakoff, Systems Engineering Principles and Practice 2nd Edition, John Wiley &sons, 2011.
- Lee, Taekyong and Lee, Joong-Yoon, "System Engineering Common Process Improvement Research: Centered on Technical Processes," Journal of Systems Engineering, vol. 13, no. 1, pp. 41-50, Jun. 2017.