反应堆FPGA保护子系统开发与验证

作者：水璇璇; 吴一纯; 吴志强; 蔡源凤; 胡剑全; 郝俊伟; 杨永祥

来源：核电子学与探测技术, 2015, 35(10): 1043-1047.

• 保护系统
• 现场可编程门阵列
• 验证与确认
• 反应堆原理模拟机

验证与确认(V&V)方法是FPGA在核安全级仪控系统中应用所面临的关键问题之一。本研究以CPR1000核电机组一次冷却剂流量和ΔT保护系统为对象,进行基于FPGA的系统开发和V&V研究,提出了FPGA仪控系统的开发、V&V过程和方法。采用通用验证方法学(UVM)和第三方仿真工具确保硬件描述语言(HDL)代码获得100%的测试覆盖率,借助核电厂原理模拟机开展集成测试。研究结果为FPGA反应堆保护系统的开发、V&V和评审提供了理论和技术参考。

• 单位
  上海核工程研究设计院; 中国核动力研究设计院; 厦门大学