DOI QR코드

DOI QR Code

Development of Field Programmable Gate Array-based Reactor Trip Functions Using Systems Engineering Approach

  • Jung, Jaecheon (Nuclear Power Plant Engineering, KEPCO International Nuclear Graduate School) ;
  • Ahmed, Ibrahim (Nuclear Power Plant Engineering, KEPCO International Nuclear Graduate School)
  • Received : 2015.11.13
  • Accepted : 2016.02.17
  • Published : 2016.08.25

Abstract

Design engineering process for field programmable gate array (FPGA)-based reactor trip functions are developed in this work. The process discussed in this work is based on the systems engineering approach. The overall design process is effectively implemented by combining with design and implementation processes. It transforms its overall development process from traditional V-model to Y-model. This approach gives the benefit of concurrent engineering of design work with software implementation. As a result, it reduces development time and effort. The design engineering process consisted of five activities, which are performed and discussed: needs/systems analysis; requirement analysis; functional analysis; design synthesis; and design verification and validation. Those activities are used to develop FPGA-based reactor bistable trip functions that trigger reactor trip when the process input value exceeds the setpoint. To implement design synthesis effectively, a model-based design technique is implied. The finite-state machine with data path structural modeling technique together with very high speed integrated circuit hardware description language and the Aldec Active-HDL tool are used to design, model, and verify the reactor bistable trip functions for nuclear power plants.

Keywords

References

  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. https://doi.org/10.5516/NET.2009.41.1.091
  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. IEEE Std. 7-4.3.2, IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations, IEEE, 2010.
  16. IEEE Std. 603, IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations, IEEE, 2009.
  17. US NRC, Regulatory Guide 1.47-Bypassed and Inoperable Status Indication for Nuclear Power Plant Safety Systems, 2010.
  18. Aldec, Active-HDL-FPGA simulation-products [Internet]. [cited 2015 Sep 13] Available from: https://www.aldec.com/en/products/fpga_simulation/.

Cited by

  1. FPGA application for wireless monitoring in power plant vol.53, pp.4, 2016, https://doi.org/10.1016/j.net.2020.09.003