시스템엔지니어링학술지 (Journal of the Korean Society of Systems Engineering)

  • 제17권2호
  • /
  • Pages.37-48
  • /
  • 2021
  • /
  • 1738-480X(pISSN)
  • /
  • 2288-3592(eISSN)
한국시스템엔지니어링학회 (The Korean Society of Systems Engineering)
권호 표지
DOI QR코드

DOI QR Code

Development of an Intellectual Property Core for Floating Point Calculation for Safety Critical MMIS

  • Mwilongo, Nelson Josephat (Department of NPP Engineering, KEPCO International Nuclear Graduate School (KINGS)) ;
  • Jung, Jae Cheon (Department of NPP Engineering, KEPCO International Nuclear Graduate School (KINGS))
  • 투고 : 2021.10.15
  • 심사 : 2021.12.13
  • 발행 : 2021.12.31
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

Improving the plant protection system against unforeseen changes/transients during operation is essential to maintain plant safety. Under this condition, it requires rapid and accurate signal processing. The use of an Intellectual Property (IP) core for floating point calculations for Safety Critical MMIS can make numerical computations easier and more precise, improving system accuracy. It can represent and manipulate rational numbers as well as a much broader range of values with dynamic range in nuclear power plant. Systems engineering approach (SE) is used through the development process, it helps to reduce complexity and avoid omissions and invalid assumptions as delivers a better understanding of the stakeholders needs. For the implementation on the FPGA target board, the 32-bit floating-point arithmetic with IEEE-754 standards has designed using Simulink model in Matlab for all operations of addition, subtraction, multiplication and division and VHDL code generated.

키워드

과제정보

This research was supported by the 2021 Research Fund of the KEPCO International Nuclear Graduate School (KINGS), the Republic of Korea.

참고문헌

  1. 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
  2. David Pellerin, Scott Thibault - Practical FPGA Programming in C (2005, Prentice Hall)."
  3. 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)
  4. Numerical Computing with IEEE Floating Point Arithmetic by Michael L. Overton (z-lib.org)
  5. Kossiakoff, W. N. Sweet, S. J. Seymour, and S. M. Biemer, Systems Engineering Principles and Practice: Second Edition. 2011
  6. 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
  7. Edition Formal Verification of Floating-Point Hardware Design A Mathematical Approach by David M. Russinoff (z-lib.org) (1)
  8. IEEE, IEEE Standard for Software Requirement Specifications - IEEE Std 830-1998, vol. 1998. 1998
  9. 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
  10. USNRC, "10 CFR Appendix A to Part 50-General Design Criteria for Nuclear Power Plants"
  11. "IEEE standard 1012." 1998
  12. IAEA. Modern Instrumentation and Control for Nuclear Power Plants: A Guidebook. Technical Report Series nº 387. Vienna, 1999
  13. B. a Jackson and J. R. Armstrong, "Digital filter design and synthesis using high-level modeling tools," 1999
  14. Korea Electric Power Corporation & Korea Hydro & Nuclear Power Co., Ltd. Functional Design Requirements for a Core Protection Calculator System for APR1400. August 2014
  15. 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
  16. Design Automation Standards Comittee, IEEE Std 1800.2-2017 : IEEE Standard for Univers Verification Methodology Language Reference Manual., vol. 2011, no. January. 2017
  17. Systems Engineering Principles and Practice 2nd
  18. USNRC. U.S. EPR Application Documents
  19. Korea Hydro Nuclear Power (KHNP) Nuclear Power Education Institute, APR1400 Protection System, training material, pp. 119-120
  20. 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