참고문헌
- IEEE Std. 1012, IEEE Standard for Software Verification and Validation, IEEE, 2004.
- EPRI, Recommended Approaches and Design Criteria for Application of Field Programmable Gate Arrays in Nuclear Power Plant Instrumentation and Control Systems, EPRI, Palo Alto, CA, 1022983, 2011.
- EPRI, Guidelines on the Use of Field Programmable Gate Arrays (FPGAs) in Nuclear Power Plant I&C Systems, EPRI, Palo Alto (CA) 1019181, 2009.
- US DOD MIL-STD-499B, Military Standard Systems Engineering, 1993.
- IEC Std. 62566, Nuclear Power Plants - Instrumentation and Control Important to Safety-development of HDL-programmed Integrated Circuits for Systems Performing Category a Functions, IEC, 2012.
- J.C. Jung, H.S. Chang, H.B. Kim, "3+3 process" for safety critical software for I&C system in nuclear power plants, Nucl. Eng. Technol. 41 (2009) 91-98. https://doi.org/10.5516/NET.2009.41.1.091
- A. Hamann, Iterative Design Space Exploration and Robustness Optimization for Embedded Systems, 2008.
- E. Hwang, F. Vahid, Y.C. Hsu, FSMD functional partitioning for low power, Des. Autom. Test Eur. Conf. Exhib. (1999) 22-28.
- A. Sudnitson, Finite state machines with datapath partitioning for low power synthesis [Internet]. Available from: http://www.pld.ttu.ee/decomposition/publications/Sudnitson_MIXDES_01.pdf.
- P.C. Pong, FPGA Prototyping by VHDL Examples, John Wiley & Sons, Inc., Hoboken, NJ, 2008.
- KINS-OPIS, Nuclear event evaluation database: recent nuclear events [Internet]. [cited 2015 Sep 13] Available from: http://opis.kins.re.kr/opis?act=KEOBA3100R.
- EPRI, Guideline for Performing Defense-in-depth and Diversity Assessments for Digital Upgrades: Applying Riskinformed and Deterministic Methods, EPRI, Palo Alto, CA, 1002835, 2004.
- US NRC, Regulatory Guide 1.152-Criteria for the Use of Computers in Safety Systems of Nuclear Power Plants, 2011.
- US NRC, Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues, National Academies Press, 1997.
- IEEE Std. 7-4.3.2, IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations, IEEE, 2010.
- IEEE Std. 603, IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations, IEEE, 2009.
- US NRC, Regulatory Guide 1.47-Bypassed and Inoperable Status Indication for Nuclear Power Plant Safety Systems, 2010.
- Aldec, Active-HDL-FPGA simulation-products [Internet]. [cited 2015 Sep 13] Available from: https://www.aldec.com/en/products/fpga_simulation/.
피인용 문헌
- FPGA application for wireless monitoring in power plant vol.53, pp.4, 2016, https://doi.org/10.1016/j.net.2020.09.003