An Integrated Software Testing Framework for FPGA-Based Controllers in Nuclear Power Plants

Nuclear Engineering and Technology

Eui-Sub Kim¹  Jaeyeob Kim¹  Junbeom Yoo¹  Jong-Gyun Choi²  Young Jun Lee² 

[1] Division of Computer Science and Engineering, Konkuk University, 1 Hwayang-dong, Gwangjin-gu, Seoul, 143-701, Republic of Korea;MMIS Lab., Korea Atomic Energy Research Institute, 989-111 Deadeok-daero, Yuseong-gu, Daejeon, 305-353, Republic of Korea;

关键词: Co-simulation;    FPGA;    Simulation;    Testing;    Verification;   

DOI  :  10.1016/j.net.2015.12.008

来源: DOAJ

【 摘 要 】

Field-programmable gate arrays (FPGAs) have received much attention from the nuclear industry as an alternative platform to programmable logic controllers for digital instrumentation and control. The software aspect of FPGA development consists of several steps of synthesis and refinement, and also requires verification activities, such as simulations that are performed individually at each step. This study proposed an integrated software-testing framework for simulating all artifacts of the FPGA software development simultaneously and evaluating whether all artifacts work correctly using common oracle programs. This method also generates a massive number of meaningful simulation scenarios that reflect reactor shutdown logics. The experiment, which was performed on two FPGA software implementations, showed that it can dramatically save both time and costs.

【 授权许可】

Unknown