基于HPD的核电厂分布式控制系统验证与确认

来源：核动力工程杂志2016年第6期北京时间：

作者：丁义行, 李世欣

单位：1. 环境保护部核设施安全监管司, 北京, 100034;；2. 环境保护部核与辐射安全中心, 北京, 100082；

摘要：验证和确认(V&V)过程是核电厂安全级数字化分布式控制系统(DCS)应用和取证关注的重要问题之一。硬件描述语言可编程逻辑器件(HPD)技术应用于核电厂安全级DCS会给取证带来新的审查问题。对国外的V&V法规和美国电气与电子工程师协会(IEEE)标准进行初步分析,依据IEEE 1012-2012标准,结合HPD特性,给出HPD系统各生命周期过程的V&V任务和方法,以及基于HPD技术的安全级DCS审查建议。

关键词：硬件描述语言可编程逻辑器件, 核电厂, 数字化分布式控制系统, 验证与确认