核电厂DCS安全级软件IVV流程介绍.docVIP

核电厂DCS安全级软件IVV流程介绍 　　摘要：核电厂DCS系统是整个电厂安全运行控制的神经中枢，由安全级系统和非安全级系统两大部分组成。由于安全级系统用于核反应堆的控制，因此对其可靠性提出了非常严苛的要求。为了确保核电厂DCS安全级系统的可靠性满足设计要求，对其硬件设备采用实验的方法进行可靠性试验，对其软件设计采用IVV的方法进行可靠性验证 Abstract： Digital Control System of nuclear power plant is the nerve center for safety operation， which included safety and non-safety two systems. Because safety system was used to control nuclear reactor， the request of reliability for it is very high. In order to ensure the reliability of safety system satisfy design request， adopt experiment method to validate hardware reliability， and IVV method to validate software reliability. 关键词：核电厂；安全级软件；IVV Key words： nuclear power plant；safety software；Independent Verification and Validation 中图分类号：TP31 文献标识码：A 文章编号：1006-4311（2017）17-0223-02 0 引言 核电厂DCS系统由安全级和非安全级两大部分组成，分别由不同的硬件和软件组合而成。其中安全级系统用于核反应堆的控制，非安全级系统用于常规岛的控制。核反应堆的安全性对于核电厂的安全至关重要，一旦核反应堆发生事故将会对人民生命财产、社会和自然环境造成毁灭性的破坏，其后果不堪设想。在行业内将用于核反应堆相关的设备统称为核级设备，其可靠性是以核电厂基准事故进行设计的，因此当核级设备的可靠性满足核电厂基准事故的控制要求时，才能确保核电厂的安全。当前对于核级设备可靠性验证的方法，主要是模拟核电厂基准事故对核级设备的功能核性能进行验证，以确保其可靠性设计满足要求。核电厂DCS安全级系统设备由硬件和软件组成，其中硬件的可靠性采用实验的方法进行验证，软件的可靠性采用IVV的方法进行验证。当前国内该行业的基本情况是，硬件的可靠性实验已非常成熟和完善，软件的可靠性验证还处于探索和学习阶段，因此本文将结合国外某公司的工程经验对核电厂DCS安全级软件IVV的流程进行介绍 1 软件IVV定义 IVV是英文Independent Verification and Validation的缩写，即独立的验证与确认。标准1EEE 1012中对Independent即独立的定义为：经济独立、技术独立、组织独立；对Verification即验证的定义为：如何证明我们是不是在正确的设计或制造产品；对Validation即确认的定义为：如何证明我们是不是设计或制造了正确的产品。其中对于独立性的定义并没有明确要求是完全第三方的独立，因此在同一公司内具备经济、技术、组织完全独立于产品设计或制造部门的组织或部门也满足独立性的要求。软件IVV，即对软件设计开展独立性的验证与确认，以确保软件设计过程和结果满足设计要求 2 软件IVV活动描述 核电厂DCS系统软件是一种图形化的计算机语言的集合，即在?算机平台软件的基础上采用图形化的逻辑单元搭建完整的逻辑用于核电厂的运行控制，在行业内将整个逻辑搭建的过程称为软件组态。根据软件组态的特点并结合IEEE 1012的定义，将核电厂DCS安全级软件IVV的活动分为四个阶段，即需求、设计、实现、测试。其中需求和设计阶段属于verification，实现和测试阶段属于validation，对于每个阶段的主要活动描述如下： 2.1 第一阶段：需求分析 需求分析阶段对系统需求描述、软件需求描述进行可追踪分析，以确保安全级软件组态的输入与用户的需求保持正确性、一致性、完整性 2.2 第二阶段：软件设计 软件设计阶段将软件需求描述中的要求转化为软件组态的规范和说明，即软件设计描述，并以此完成软件的组态工作 2.3 第三阶段：软件实现 软件实现阶段对已完成的软件组态进行确认，以证明组态的形式和规则满足软件设计描述的要求。可以采用静态对比、动态仿真的方法进对组态