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

作     者：水璇璇 吴一纯 吴志强 蔡源凤 胡剑全 郝俊伟 杨永祥 SHUI Xuan-xuan;WU Yi-chun;WU Zhi-qiang;CAI Yuan-feng;HU Jian-quan;HAO Jun-wei;YANG Yong-xiang

作者机构：厦门大学能源学院厦门361102 中国核动力研究设计院核反应堆系统设计技术重点实验室成都610041 上海核工程研究设计院电气仪控所上海200233 

基　　金：福建省自然科学基金资助项目(2013J05014) 福建省科技计划资助项目(2013I0007)资助 

出 版 物：《核电子学与探测技术》 (Nuclear Electronics & Detection Technology)

年 卷 期：2015年第35卷第10期

页      码：1043-1047页

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

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

学科分类：08[工学] 082701[082701] 0827[工学-食品科学与工程类] 

D　O　I：10.3969/j.issn.0258-0934.2015.10.023

馆 藏 号：203148933...