通用验证方法学在核安全级仪控平台的应用

核电数字化仪控系统需要高可靠性和安全性,对其进行充分的验证和测试至关重要。为促进FPGA技术在核电行业发展,需要能够被普遍认可的FPGA验证方法。然而现阶段的国际标准和研究报告(如IEC62566和NUREG/CR-7006)仅阐述了基于FPGA核安全级仪控系统的生命周期,并未涵盖具体的FPGA验证方法。因此,本文将介绍通用验证方法学(UVM)在核安全级仪控平台(NASPIC)FPGA软件自动化测试方面的应用,为同行提供一个技术参考。本文首先介绍UVM的架构,叙述基于UVM的FPGA验证平台搭建流程;其次,本文描述了NASPIC平台高速串口收发器(transceiver)的测试流程;最后,通过对比UVM与传统FPGA验证方法,说明UVM的优缺点。

DCS安全级仪控平台的分析研究

美国西屋公司的AP1000核电站,采用了数字化仪控系统,实现方式为Common Q+Ovation。这种集成的仪控系统设计,减少了接口和软件平台的数量,提供了优化的结构和性能。Common Q平台属1E级,AP1000核电站的保护与安全监测系统(PMS)就是在这一平台上实现的。本文对西屋公司的仪控平台Common Q进行评述,并结合目前国内外DCS产品性能特点进行对比性分析,研究Common Q平台的优点及不足。