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

《核安全级软件验证与确认独立性探讨.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、核安全级软件验证与确认独立性探讨毛从吉。等核安全级软件验证与确认独立性探讨DiscussionoftheIndependenceofSoftwareVerificationandValidation毛从考那誊鹏李世砍尹室石舄(环境保护部核与辐射安全中心，北京100082)摘要：当前法律和法规规定．对核电厂安全系统使用的核安全级数字设备必须进行鉴定。软件验证与确认是核安全级软件通过鉴定的关键环节，软件验证与确认必须具备独立性的特征。对于核安全级软件验证与确认如何满足当前核安全监管要求的研究，是软件厂商和监管当局共同关注的主要问题之一。核安全级软件验证与

2、确认独立性要求的明确，有利于开发成本的控制和监管的规范化，从管理方面为保证核安全级数字设备安全水平打好基础。关键词：核设施核安全级验证与确认独立性可确定性中图分类号：TP29文献标志码：AAbstract：Accordingtothecurrentlawsandregulations-appraisalmustbetakenfornuclearsafetydigitaldevicesappliedinsafetysystemofnuclearpowerplant．Verificationandvalidation(V&V)ofsoftwareison

3、eofthecriticalaspectsofappraisalfornuclearsafetysoftware．TheV&Vofsoftwaremusthavethecharacteristicsofindependence．TheresearchonhowtomeetnuclearsafetyregulatoryrequirementsforSOftwareV&Visoneofthemajorissuestobecommonlyconcemedbysoftwaremanufacturersandregulatoryauthorities．Clar

4、ificationofrequirementforindependencyisusefulfordevelopmentandregulation-andalsomakesagoodfoundationtoensuresafetylevelonClass1Eequipments．Keywords：NuclearfacilitiesNuclearsecuritylevelVerificationandvalidation(V&V)IndependenceDeterminability0引言目前．核电厂以及其他核设施已经普遍采用数字化仪表和控制平台。随着国

5、内核安全电气设备的技术和工业的发展。越来越多的生产厂商开始在其产品中引进软件。按照国务院发布的第500号令规定⋯和相关释义[2]．中国核安全电气设备监管采用许可证管理制度。软件作为数字化核安全电气设备的组成部分，是技术审评中的重中之重．软件验证与确认的独立性是技术审评中一个重要方面。核安全法规HAFl025．5．1章节指出“必须采用设备鉴定的程序来确认安全重要物项能够在其整个设计运行寿期内满足处于需要起作用时的环境条件(如振动、温度、压力、喷射流冲击、电磁干扰、辐照、湿度或这些因素的任何可能组合)下执行其安全功能的要求”[3]，核安全监管当局对核安全

6、级设备提出了必须进行质量鉴定的要求。对基于计算机的系统在保护系统中的应用，核安全法规HAF1026．4．8(3)指出“为了确认基于计算机的系统可靠性的可信度，必须由独修改稿收到日期：2013—07—22。第一作者毛从吉(1971一)，男，1994年毕业于哈尔滨工业大学电气自动化专业。获学士学位，高级工程师；主要从事核电厂仪表和控制、民用核安全设备以及人因工程方面的研究。《自动化仪表》第35卷第2期2014年2月立于设计者和供应商的专家对基于计算机的系统进行评价”[3]．对基于计算机的系统评价提出了要求。核安全法规HAD102．16中第3．4．5．1章

7、节进一步明确了对安全系统应采用第三方评定”[41的相关要求。为了贯彻加强核安全监管的要求，结合软件验证与确认实际活动．本文对如何满足相关要求进行了探讨。1定义与内涵核安全级软件验证与确认内涵包括核安全级软件和验证与确认两部分内容。核安全级软件是从核安全角度定义的一个名称，指的是执行核安全功能的数字化设备的软件部分。相对于普通软件，核安全级软件的一个显著设计特征是它的可确定性[5]。软件验证与确认指的是在系统生存周期内保证一个阶段能够满足前一阶段所提需求的过程(验证)和为保证集成后的计算机系统(硬件和软件)符合功能、特性和接口需求，对其进行测试和评价的

8、过程(确认)。2独立性分析2．1独立性法规要求核安全级软件验证与确认的独立性指的是开发人员和软件验证与确认队