核电厂分析软件验证导则探究.docVIP

核电厂分析软件验证导则探究 　　【摘 要】核电厂分析软件主要用于核反应堆设计和安全分析，确保反应堆的安全运行，所有用于核反应堆分析的软件必须经过严格验证，国内外都推出了相关的法规对验证过程进行规范，本文对这些法规进行了总结，以理解核动力厂软件验证流程和方法 【关键词】核电厂；软件验证；导则 0 前言 核反应堆分析软件是核反应堆设计和安全分析的重要工具，需要开展全面的验证与确认，我国在核反应堆设计和软件开发方面取得了重要的成果。经过近十年的努力，在核动力厂安全相关计算机软件领域，我国已经制订并颁布了一批软件工程标准。随着我国核电自主化的推进，核电软件自主化应运而生，相应的专用法规导则体系也就亟待完善，从而为我国核反应堆工程用计算机软件的开发与应用提供相应的技术指导。本文通过调用国内外相关的软件技术和制定的标准规范，为核反应堆工程软件的验证提供理论指导和技术支持 1 国内法规与标准调研 1.1 HAF102核动力厂设计安全规定 该规定于2004年4月18日国家核安全局批准发布，规定中提出了陆上固定式热中子反应堆核动力厂的核安全原则，确定了保证核安全所必需的基本要求。这些要求适用于核动力厂安全功能及相关的构筑物、系统和部件，并适用于核动力厂中的安全重要规程。规定中只强调设计中必须满足的要求，对于如何满足这些要求则不作具体规定。本规定在第五部分，核?恿ι杓埔?求中提出了进行全面安全评价的要求，以确定核动力厂在各种运行状态和事故工况下可能产生的潜在危险。安全分析中应用的计算机程序、分析方法和核动力厂模型必须加以验证和确认，并必须充分考虑各种不确定性。这种安全评价过程涉及确定论安全分析和概率论安全分析这两种互补的技术 1.2 HAD102/17核动力厂安全评价与验证 该规定于2006年6月5日国家核安全局批准发布，规定中为设计单位在初始设计和设计修改过程中对核动力厂进行安全评价提供了建议，也为营运单位对于新核动力厂（使用新的或现有设计的）的安全评价进行独立验证提供了建议。实施安全评价的建议也适用于指导对现有核动力厂进行安全审查。依据现行的标准和实践对现有核动力厂进行安全审查，其目的在于确定是否存在影响核动力厂安全的任何偏离。本导则中的方法和建议同样适用于国家核安全监管部门进行的监管审查和评价。虽然本导则中大部分建议是通用的，并适用于所有类型的反应堆，但也有一部分特殊建议和范例主要用于水冷反应堆。本规定在第四部分，核动力厂安全评价与验证中提出了安全分析的相关规则和要求 1.3 GB/T 8567-2006计算机软件文档编制规范 本标准根据GB/T8566―2001《信息技术软件生存周期过程》的规定，主要对软件的开发过程和管理过程应编制的主要文档及其编制的内容、格式规定了基本要求 本标准原则上适用于所有类型的软件产品的开发过程和管理过程。使用者可根据实际情况对本标准进行适当剪裁（可剪裁所需的文档类型，也可对规范的内容作适当裁剪）。软件文档从使用的角度大致可分为软件的用户需要的用户文档和开发方在开发过程中使用的内部文档（开发文档）两类。供方应提供的文档的类型和规模，由软件的需方和供方在合同中规定。该标准中对软件文档编制过程进行了详细说明，包括源材料准备、文档计划、文档开发、评审、与其他公司的文档开发子合同、文档编制要求、软件生存周期与各种文档的编制、文档编制中的考虑因素、文档编制格式、可行性分析（研究）报告等 1.4 EJ/T 890-94 核电厂安全有关计算机软件质量保证细则 本标准规定了核电厂安全有关计算机软件在开发和维护中质量保证的具体方法和规程。本规则适用于核电厂安全有关计算机软件在开发和维护中质量保证活动 该规定首先介绍了软件质量保证大纲，提出软件开发应接受总项目质保大纲的控制，从质保大纲的范围、编制（总纲、软件质量计划、工作规程及指导书）、安全有关软件的质保等级、质保计划、质保组织、文档和配置控制、设计控制、测试、错误控制和纠正措施、质保记录和监查进行了详细的说明和规范 2 国外法规与标准 2.1 法国法规与标准 法国电力公司、法马通公司和诺瓦通公司于1980年10月19日组成法国核岛设计和建造规程协会（AFCEN）。AFCEN是以法规的形式出版的法国核电电气设备设计和建造规则（RCC-E），主要针对那些发生故障就有可能威胁人身安全或电厂核安全的设备和软件。AFCEN于2005年出版了RCC-E第五版，该版本对法国核电厂或是现运行电厂项目以及目前在建的EPR电厂（欧洲压水堆）通用。其中该法规的C5000部分主要介绍了可编程系统开发过程中涉及的基本技术活动及其规范 2.2 IAEA软件研发相关要求 IAEA已印发了技术标准，目的是用于证明核