核安全级数字化仪控系统软件相关标准研究_第1页
核安全级数字化仪控系统软件相关标准研究_第2页
核安全级数字化仪控系统软件相关标准研究_第3页
核安全级数字化仪控系统软件相关标准研究_第4页
核安全级数字化仪控系统软件相关标准研究_第5页
已阅读5页,还剩8页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、核安全级数字化仪控系统软件相关标准研究Study on the Related Standardsfor Nuclear Safety Level Digitized l&C System Software了义矜1各鷓%2毛从差3王斜起2(环境保护部核设施安全监管司1,北京100035;深圳中广核工程设计有限公司2,广东深圳518172;环境保护部核与辐射安全中心3,北京100082摘要:针对核电厂安全级数字化仪控系统的特点,对其软件相关的标准进行了研究。分析了安全级数字化仪控系统软件生命周期 的相关标准,以及在软件生命周期的开发阶段执行软件验证和确认(V&V活动所应遵循的标准

2、,以期为后续核电厂安全级数字化仪 控系统软件的设计审查提供技术参考。关键词:核电厂数字化仪控系统安全软件生命周期验证和确认标准中图分类号:TH -3 ;TP27 文献标志码: A D O I:10.16086/j. cnki. issnlOOO -0380.201511017Abstract:According to the features of the safety level digitized I&C systems in nuclear power plant, the related standards for software are researched. The re

3、lated standards about the life cycle of software for safety level digitized I&C system, and the standards to be followed by verification and validation ( V&V activities in developing stage of software life cycle are analyzed. It is expected that these may provide technical reference for desi

4、gning and examining such software in subsequence nuclear power plants.Keywords :Nuclear power plant Digital I&C system Safety software Life cycle Verification and validation Standard引言从20世纪70年代开始,数字化仪控系统逐渐替 代传统的模拟仪控系统,数字化仪控系统不仅在常规工业领域得到了广泛应用,在核电厂安全级仪控系统中应用数字计算机亦有近10年的历史。数字 化仪控系统是以计算机、网络通信为基础的分布式

5、控制系统,引入和开发了面向状态的诊断技术、符合 人因工程要求的人机界面和先进的主控室等现代技 术,还采用了系统化的控制室功能分析和分配等设计技术以及面向核电厂运行安全状态的操作员支持 系统等。数字化仪控系统主要具有以下优点:控制精度高,运算能力强;数据传输可靠性高;易 于扩展和配置;便于维护和管理;设备功能集成度高。目前,核电厂安全级仪控系统中广泛采用软件控制逻辑,在现场仪表和执行器中采用内置微处理器,通过软件实现数字化测量和控制也成为一种趋势。数字化仪控系统的广泛应用大大提高了核电厂的国家科技重大专项基金资助项目(编号:K - B2012.058。修改稿收到日期:2015 -09 - 14。

6、第一作者丁义行(1980 -,男,2006年毕业于大连海事大学电力电子与电力传动专业,获硕士学位,工程师;主要从事民用核安全设备监管工作及研究。运行和维护经济性,但是与模拟仪控系统相比,数字化 仪控系统设备也给核电厂的安全运行带来了一些新的 风险。例如数字化硬件设备的抗干扰问题以及软件共 模故障等方面的问题,尤其是软件的质量和可靠性问 题已成为数字化仪控系统在核电厂广泛应用过程中必 须要解决的问题。1安全级数字化仪控系统的软件核安全法规HAF 102(2004对基于计算机的系统 在安全重要系统中的应用以及安全级软件设计开发方 面作了相关要求,其包含了对应标准的制定实施和为 了保证软件质量和可靠

7、性所应采取的技术手段。导则 HAD 102/16(2004是核电厂基于计算机的安全重要 系统软件在生命周期的各个阶段。为了安全论证提供 收集证据和编制文件的指导性标准文件,其通过技术 考虑、安全管理要求的应用和项目计划来为系统软件 的开发奠定基础;分别从计算机系统需求和设计、软件 的需求设计和实现两个方面详细介绍了系统设计和软 件开发所应遵循的总则性要求,并提供了相关建议。核安全法规HAF 003 (1991及对应导则HAD 003/06 (1986则主要对安全级物项的质量保证作了相关要 求。由于我国与核电厂安全级数字化仪控系统软件相 关的标准主要是参考国际上核电发达国家(如美国的标准所制定,

8、比如GB/T 13629(2008就是参考美国 ffiEE7 -4.3.2(2003转化而来,因此,根据核安全法 规导则对核电厂安全级数字化仪控系统软件设计开发 所作出的要求,主要对国际上或其他发达国家与安全 级数字化仪控系统软件的相关标准及导则进行研究,进而对比分析了与软件生命周期相关的标准及导则。此外,还对贯穿于软件全生命周期、能有效保证软件安 全性和可靠性的V&V活动的相关标准及导则进行了 较为详细的介绍,为安全级软件执行体系建立提供参 考。本文对核电厂安全级数字化仪控系统软件相关的 标准研究脉络如图1所示。图1安全级数字化仪控系统软件相关标准Fig. 1Software-rel

9、ated standards forsafety level digitized I&G systems核电厂安全级数字化仪控系统与传统的模拟仪控 系统最根本的差异就在于软件的使用,安全级数字化 仪控系统执行其安全功能所需要的软件称为安全级软 件(1E级。安全级数字化仪控系统执行其安全功能 的可靠性依赖于安全级软件的可靠性。核电厂安全级数字化仪控系统中所包含的软件,按照其所执行的功能可以分为系统软件和应用软件。系统软件是指仪控系统计算机或设备中运行的、用于 支持计算机系统及相关应用软件(程序运行和维护 的软件,应用软件是指被设计来满足用户特定需求的 软件1。传统的仪控系统硬件可以通过试

10、验、检查等手段 验证其设计、质量和可靠性,而数字化仪控系统软件的 可靠性和安全性主要依靠制定严密、完整的软件开发 计划及过程管理大纲,严格按照经批准的管理程序实 施软件开发过程和软件V&V过程来保证。在R.G.1.152(2006中就明确提出,为保证安全级系统软件 质量,必须具备质量保证计划以及开展软件V&V2。软件V&V是贯穿于软件生命周期全过程的、用于确认 软件生命周期各个阶段的活动输出满足此活动的要求、系统可以执行其预期的功能且满足用户需求的一 组系统化、工程化的活动1。核电厂安全级数字化仪控系统的软件V&V是保 证安全级数字化仪控系统安全性和可靠性的必要

11、环 节,通过V&V全流程验证的软件才能确保安全级数字 化仪控系统的安全性和可靠性,安全级数字化仪控系 统才能被允许应用到核电厂工程。目前,美国、法国等 核电发达国家,已根据各自的核电技术特点、工业发展 水平、理论研究情况、实施经验积累等,建立起了适合 其国家核电建设过程中安全级数字化仪控系统软件 V&V活动的法规标准;国际原子能机构及相关标准组 织在各国法规标准研究的基础上,也形成了一系列软 件V&V相关的法规标准体系。而我国与安全级数字 化仪控系统软件相关的法规标准建立时间较晚,主要 参考上述国家组织的标准转化建立,但体系不统一,内容还不够完善。因此,研究国际上成熟完

12、善的相关标 准,建立安全级数字化保护仪控系统软件开发和V&V 技术标准体系架构和实施方法、制定适合我国国情的 安全级数字化仪控系统软件的安全审查与评价规范,是推进我国核安全级DCS产品自主研发工作和打破 国外对我国在役和新建核电厂安全级数字化仪控系统 (DCS产品垄断的关键。2软件生命周期的相关标准ffiC 12207 (1995具有很大的适用性,其在很高层 次上描述了软件的生命周期,且具体叙述了软件生命 周期所必须包含的最小执行集,但没有详细阐明在软 件生命周期的各个阶段该如何去开展相应的任务和 活动。在 ffiEE7 - 4.32(2010和 ffiEE 1012 (2004中,均

13、引述了 IEC 12207(1995中所描述的软件生命周 期,如图2所示。其具体分为采购过程、供货过程、开发过程(该过 程包括概念阶段、需求阶段、设计阶段、实现阶段、集成 测试阶段、安装调试阶段、运行过程、维护过程、组织 过程和其他支持性过程(如文档编制、配置管理、质量 保证、联合评审等3,并针对上述软件生命周期过程 提出了软件生命周期活动和任务的执行准则。其中,管理过程及相关的管理V&V活动和任务贯穿于软件 整个生命周期,在软件生命周期的各个阶段均需完成 相关的V&V活动和任务。这些V&V活动和任务具体 该如何执行以及执行过程中的一些关注项,将在下面 章节中提到。 1

14、EC12207软件生命周期过程图2 IEC 12207(1995软件生命周期过程Fig.2 The software life cycle process in IEG 12207 (1995 此外,在IEEE 1074 (1995中描述了开发软件的 生命周期过程,并提供了构成开发软件生命周期过程 的系列活动。美国核管会通过R.G.1.173 (1997认 可了:EEE 1074(1995中所描述的软件生命周期过程 的开发方法和过程,但是在R.G.1.173(1997中也特 别指出美国核管会不认可IEEE 1074(1995中的附 件。附件分别介绍了4种软件生命周期过程的筹划、软件项目管理的定

15、制模板以及过程之间的相互关系4在R.G.1.173(1997中,美国核管会关于安全级 软件的生命周期过程提出了若干要求,主要包括: 按照ffiEE 1074 (1995进行软件生命周期过程开发 时,所要求的输入信息、生命周期活动和输出信息描述 中应该说明适用的法规、设计基准和导则;按照ffiEE 1074 (1995进行软件生命周期过程开发时,应该 执行该标准中所有规定执行的活动;应该在软件生 命周期的各个阶段有计划、有记录地执行软件安全性 分析5。在相关的软件工程标准和文献中,提出了多种软 件生命周期模型,典型模型有瀑布模型和螺旋型模型。瀑布模型将软件生命周期过程的各阶段要执行的活动 任务通

16、过一定的顺序连接,形成如同瀑布水流的台阶 式步骤流程,上一步骤作为下一步骤的输入,这就使得 相邻两个步骤流程联系紧密。该模型用工序将问题简 化,将软件的功能的实现与设计分开,便于分工协作,即采用结构化的分析与设计方法将逻辑实现与物理实 现分开。螺旋型模型是一种演化软件开发过程模型,它兼顾了快速原型迭代的特征以及瀑布模型的系统化 与严格监督。该模型的最大特点在于引入了其他模型 不具备的风险分析,使软件在无法排除重大风险分析 时有机会停止,以减少损失。同时,在每个迭代阶段构 建原型是螺旋模型用以减小风险的途径。需要特别说 明的是,在 R.G.1173 (1997和 ffiEE 1074 (1995

17、中均没有要求或推荐某种特定的软件生命周期模型用于 开发安全级软件的生命周期。在NUREG0800 (2007-BTP14的详细技术见解中,美国核管会强调,软件开发方应该选择适当的软件生命周期模型,安全 级软件的开发过程应该按照事先确定的软件生命周期 模型执行各项活动和任务6。尽管基于不同模型的安 全级软件生命周期在生命周期过程中的活动定义和活 动执行的顺序方面有所差异,但是不同生命周期中所 进行的活动类别是基本一致的。这些活动类别包括概 念活动、需求活动、设计活动、实现活动、集成测试活 动、安装活动、调试活动以及运行和维护活动等。对于安全级软件生命周期开发的适用标准,推荐 使用:EEE 107

18、4(1995中所描述的方法,同时还应当 满足美国核管会R.G.1.173(1997中的相关规定。另外,鉴于 IEEE7 -4. 3.2(2010和 ffiEE 1012(2004 中均引述了 IEC 12207(1995中所描述的软件生命周 期,因此推荐采用该软件生命周期的概念。即软件生 命周期分为采购过程、供货过程、开发过程(该过程包 括概念阶段、需求阶段、设计阶段、实现阶段、集成测试 阶段、安装调试阶段、运行维护过程以及管理等支持 性过程,在各个生命周期过程需完成ffiEE1012 (2004所规定的V&V活动和任务。3软件生命周期的V&V在软件生命周期的各个阶段,都有可能

19、出现错误 或缺陷。与随机性的硬件失效不同,软件的错误和缺 陷可能由人为错误、工具故障或系统性的设计缺陷等 因素造成。目前,尚没有定量的、确定性的方法可以用 于衡量和判断软件的可靠性。因此,衡量软件可靠性 的方法注重于证明在软件开发各个阶段的输出满足输 入的要求;在各个阶段没有引入软件错误且最终软件 中的错误极少,以保证最终系统的故障率是可接受的。软件V&V过程为上述证明产生可审查、可追溯的 证据。目前,国际核工业界实施核电厂安全级软件的V&V过程和活动所遵循的标准体系主要有美国的ffiEE系列标准、法国的RCC-E系列规范和国际电工 协会的ffiC系列标准。在软件设计和研发过程

20、中,安 全级数字化仪控系统软件相关标准研究主要是:确 定在安全级软件生命周期过程中,软件开发阶段V&V 任务和活动所遵循的标准;明确各个标准之间的层 次关系,建立安全级软件V&V的标准体系;为安全 级软件开发过程中的V&V任务过程指导书的编制建 立标准体系基础。 对于安全级数字化仪控系统软件在生命周期开发 阶段的V&V任务和活动,ffiEE 1012(2004 7对其整 个实施过程进行了详细规定,包括整个软件生命周期 中各项V&V任务和活动的内容、范围、方法及文档规 范等,具有很高的可实施性。值得注意的是,IEEE 1012(2004并非专门针对核电领域

21、,如果安全级数字 化仪控系统软件的设计开发仅满足该行业标准,并不 能保证一定满足相关法规中对安全级数字化仪控系统 软件的所有要求。为了更好地帮助核电领域的软件开 发者或相关用户理解和运用该标准,美国核管会出版 了R.G.1. 168(2004对该标准进行了指导说明8。ffiEE 1012(2004以及 R.G.1. 168(2004中对 ffiEE 1012(2004的指导说明一起构成了针对核电厂安全 级仪控系统软件的V&V活动的标准,并完全符合美国 核电法规以及质量保证标准。ffiC 60880(2006是核电厂对基于计算机的安全 重要仪器和控制系统执行A类功能的软件标准9。该标准覆

22、盖了所有最重要的软件安全问题,并详细规 定了核电厂基于计算机的仪器和控制系统所要求的相 关软件。为了确保这些设备和系统的高可靠性,该标准 描述了软件产生和文件化的每个步骤,包括要求规范、设计、执行、鉴定、确认和操作等,为软件V&V过程产生 可证明的、可审查的和可追溯的证据提供有力参考。安全级数字化仪控系统软件V&V任务和活动的 开展需要进行过程策划,这就需要在软件开发的早期 阶段根据软件完整性需求指定软件的完整性级别。软 件完整性级别基于软件预期用途及关键或非关键的系 统应用,展示了软件不同的关键性1°。安全级数字化 仪控系统软件应该按最高的完整性等级4级(A类来开展

23、V&V活动和任务,依据选定的软件完整性级别 对软件开发过程(包括概念阶段、需求阶段、设计阶 段、实现阶段、集成测试阶段、安装调试阶段的各个 子阶段执行最低限度的V&V活动和任务,才能确保软 件开发满足相应的安全级软件要求、并遵循其产品的 质量保证体系要求。同时,软件生命周期开发阶段的 各个子阶段在进行具体的V&V活动和任务时,由于各 子阶段的V&V重点不同,为了满足软件完整性级别需 求,需要参考和遵循的标准也会有适应性的不同,如在 实现阶段会涉及到代码测试,该阶段可借鉴参考航天 和军工等比较成熟的测试经验和所遵循的标准,从而 满足核电厂安全级仪控系统软件的V&a

24、mp;V要求。4结束语依据我国核安全法规及相关导则对核电厂安全级仪控系统软件设计开发所做的要求,参考比对了国际 上安全级仪控系统软件相关的完整成熟的标准体系,对安全级数字化仪控系统软件、软件生命周期以及软 件开发阶段的V&V活动所宜遵循的标准进行了分析。重点指明软件V&V是安全级软件设计开发过程中能 有效地提高软件可靠性的方法,并就安全级软件在设 计开发过程中如何执行及如何审查提出了相关建议,以期为后续核电厂安全级数字化仪控系统软件的设计 审查提供技术参考。参考文献1 Nuclear Power Engineering Committee of the IEEE Power E

25、ngineeringCommittee. IEEE 7 - 4. 3. 2 IEEE standard criteria for digital computers in safety systems of nuclear power generating stations S .New York :Institute of Electrical and Electronics Engineers, 2010.2 Office of Nuclear Regulatory Research. R. G. 1. 152 Criteria for useof computers in safety

26、systems of nuclear power plants S .Washington D. C. U. S. Nuclear Regulatory Commission, 2006.3 Joint Technical Committee ISO/IEC JTC 1, Information technology,Subcommittee SC 7, Software engineering. IEC 12207 Software Life Cycle Processes S . Switzerland: International ElectrotechnicalCommission,

27、1995.4 Software Engineering Standards Committee of the IEEE ComputerSociety. IEEE 1074 IEEE standard for developing software lifecycle processes S . New York :Institute of Electrical andElectronics Engineers, 1997.5 Office of Nuclear Regulatory Research. R. G. 1. 173 Developingsoftware life cycle processes for digital computer software used insafety systems of nuclear power plants S . Washington D. C. :U.S. Nuclear Regulatory Commission, 1997.6 Office of Nuclear Reactor Regulation. NUREG - 0800 -chpt. 7 ,Appendix 7 - A, Branch Technical Position HICB - 14. Gu

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论