1 |
IEEE Std. 1012, IEEE Standard for Software Verification and Validation, IEEE, 2004.
|
2 |
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.
|
3 |
EPRI, Guidelines on the Use of Field Programmable Gate Arrays (FPGAs) in Nuclear Power Plant I&C Systems, EPRI, Palo Alto (CA) 1019181, 2009.
|
4 |
US DOD MIL-STD-499B, Military Standard Systems Engineering, 1993.
|
5 |
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.
|
6 |
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.
DOI
|
7 |
A. Hamann, Iterative Design Space Exploration and Robustness Optimization for Embedded Systems, 2008.
|
8 |
E. Hwang, F. Vahid, Y.C. Hsu, FSMD functional partitioning for low power, Des. Autom. Test Eur. Conf. Exhib. (1999) 22-28.
|
9 |
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.
|
10 |
P.C. Pong, FPGA Prototyping by VHDL Examples, John Wiley & Sons, Inc., Hoboken, NJ, 2008.
|
11 |
KINS-OPIS, Nuclear event evaluation database: recent nuclear events [Internet]. [cited 2015 Sep 13] Available from: http://opis.kins.re.kr/opis?act=KEOBA3100R.
|
12 |
EPRI, Guideline for Performing Defense-in-depth and Diversity Assessments for Digital Upgrades: Applying Riskinformed and Deterministic Methods, EPRI, Palo Alto, CA, 1002835, 2004.
|
13 |
US NRC, Regulatory Guide 1.152-Criteria for the Use of Computers in Safety Systems of Nuclear Power Plants, 2011.
|
14 |
US NRC, Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues, National Academies Press, 1997.
|
15 |
Aldec, Active-HDL-FPGA simulation-products [Internet]. [cited 2015 Sep 13] Available from: https://www.aldec.com/en/products/fpga_simulation/.
|
16 |
IEEE Std. 7-4.3.2, IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations, IEEE, 2010.
|
17 |
IEEE Std. 603, IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations, IEEE, 2009.
|
18 |
US NRC, Regulatory Guide 1.47-Bypassed and Inoperable Status Indication for Nuclear Power Plant Safety Systems, 2010.
|