核安全级软件验证与确认独立性探讨  

Discussion of the Independence of Software Verification and Validation

作　　者：毛从吉[1] 郑睿鹏[1] 李世欣[1] 尹宝娟[1] 

机构地区：[1]环境保护部核与辐射安全中心,北京100082

出　　处：《自动化仪表》2014年第2期43-45,共3页Process Automation Instrumentation

摘　　要：当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须进行鉴定。软件验证与确认是核安全级软件通过鉴定的关键环节,软件验证与确认必须具备独立性的特征。对于核安全级软件验证与确认如何满足当前核安全监管要求的研究,是软件厂商和监管当局共同关注的主要问题之一。核安全级软件验证与确认独立性要求的明确,有利于开发成本的控制和监管的规范化,从管理方面为保证核安全级数字设备安全水平打好基础。According to the current laws and regulations, appraisal must be taken for nuclear safety digital devices applied in safety system of nuclear power plant. Verification and validation I V＆V ） of software is one of the critical aspects of appraisal for nuclear safety software. The V＆V of software must have the characteristics of independence. The research on how to meet nuclear safety regulatory requirements for software V＆V is one of the major issues to be commonly concerned by software manufacturers and regulatory authorities. Clarification of requirement for independency is useful for development and regulation, and also makes a good foundation to ensure safety level on Class 1E equipments.

关 键 词：核设施 核安全级 验证与确认 独立性 可确定性 

分 类 号：TP29[自动化与计算机技术—检测技术与自动化装置]