ICONE19-43169 VERIFICATION OF FPGA-BASED NPP I&C SYSTEMS : GENERAL APPROACH AND TECHNIQUES

Abstract

This paper presents a general approach and techniques for design and verification of Field Programmable Gates Arrays (FPGA)based Instrumentation and Control (I&C) systems for Nuclear Power Plants (NPP). Appropriate regulatory documents used for I&C systems design, development, verification and validation (V&V) are discussed considering the latest international standards and guidelines. Typical development and V&V processes of FPGA electronic design for FPGA-based NPP I&C systems are presented. Some safety-related features of implementation process are discussed. Corresponding development artifacts, related to design and implementation activities are outlined. An approach to test-based verification of FPGA electronic design algorithms, used in FPGA-based reactor trip systems is proposed. The results of application of testbased techniques for assessment of FPGA electronic design algorithms for reactor trip system (RTS) produced by Research and Production Corporation (RPC) Radiy are presented. Some principles of invariantoriented verification for FPGA-based safety-critical systems are outlined.

SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies

“…Andrashov et al [3] describe the development and V&V process used for the control logic of reactor trip systems (RTS) implemented with FPGA technology.…”