基于FPGA的核电厂安全级仪控系统验证与确认

现场可编程门阵列(FPGA)设备因具有行为确定、结构简单、时间响应快、易于取得监管和取证等优点,越来越广泛应用于核安全系统,特别是新一代核电厂安全级仪控系统。FPGA安全级仪控产品可以克服核电仪控系统设备老化问题,是目前核电厂仪控系统进行技术改造的首选方案,满足三代核电高安全性与高可靠性的要求。同时,随着我国核电建设事业的快速发展及三代AP1000技术的引进,被誉为核电厂"神经系统"的数字化控制系统(DCS)的自主化越来越受到人们的关注。但是,核电业主和国家核安全管理当局都要求对FPGA安全级DCS系统进行严格的验证与确认(VV),以保证FPGA安全级DCS产品的高质量和高可靠性。论文探讨了基于FPGA技术的安全级DCS系统研发过程VV生命周期模型、VV标准体系、VV活动和方法,讨论了FPGA技术安全级DCS产品VV可能采用的仿真和测试技术,并提出了FPGA开发工具鉴定的方法。