EJT 1058-1998核电厂安全系统计算机软件.pdf

EJICS 27. 120. 99 35. 080F 82备案号：1943—1998中华人民共和国核行业标准EJ/T 1058--1998eqv IEC 880: 1986核电厂安全系统计算机软件Software for computers in thesafety systems of nuclear power plants1998-03-25 发布1998-09-01 实施中国核工业总公司发布 EJ/T 1058-1998目次前言IEC 前言引言 1范围2.引用标准34.工程项目结构5软件要求6安全系统软件的研制（设计与编码）检验8硬件与软件的综合109计算机系统监定·1210修改与维护1211运行14附录A（标准的附录）系统研制周期与软件要求的细节16附录 B(标准的附录)研制（设计与编码）与安全有关软件的具体建议22附录 C(标准的附录）软件性能技术条件大纲39附录D(提示的附录）语言、翻译程序、联接编辑程序等41附录E（提示的附录）软件测试43附录 F(提示的附录)所需文件一览表481 EJ/T 1058-19986.3.2建议的应用任何与安全有关的程序在其设计一开始就应选择那些适用于被研制程序的建议。这种选择可以包括优先级别的变更及将一些单独的建议再进一步分解为一些细节。对某些特殊问题，为满足总的简明易懂的目标，对选自附录B（标的附录)的建议作某些修改可能是合理的。这些修改必须考虑下列因素并整理归档：a）在选择这些建议的过程中应考虑到特定的软件部分与安全的关系；b）对于系统安全比较重要的程序段，应选择具有较多限制的建议；c）与安全有显著关系的程序段，应能从所用的系统与数据结构中清晰地鉴别出来；d）选择过程应考虑到可用的测试设备以及准备采用的鉴定方案。如果重要部分的程序设计是以多种方式编制的，对这部分就应采用不同的检验方案；e）如果检验过程中发生困难，则可能需要对程序设计的方式进行复查，作某些变更。6.4文件管理6.4.1在程序研制过程中，设计阶段必须以产生一个正式文件软件性能技术条件[见附录F(提示的附录)表F1中M3}作为终结。这-文件用作正式的设计审评及随后的程序编码的基础。文件内容必须足够具体，使程序编码可以进行而无需进一步的设计说明。文件编制应与设计过程并行进行，不断扩充。附录C(标准的附录)给出了所建议内容的大纲。的用于最后阶段程序检验。其中有些与最初的一些设计步骤有关，它们是从功能要求技术条件导出并作为软件性能技术条件的基础。另一些则是从软件性能技术条件这一文件导出并作为以后程序编码的基础，见附录A（标准的附录）图A1。如果附录B（标准的附录）中关于研制过程的各项建议得到满足，则在程序研制过程中就能得到相应的文件资料。6.4.3应建立一套完整的文件。每个文件必须与其他文件有确定的关系，并具有范明确的主题。6.4.4文件格式应按其特定的目的选择，如：a）文字性说明；b）算术表达式；c）适当的图表。一般情况下比较倾向于选择图表来表达。文件本身应遵循有关规定。6 EI/T 1058-1998表1条目条目程序方面结构方面（附录/正文）(附录/正文）可变性B1,1/5控制与存取结构B2,1自顶向下的方法B1,2中间检验B1,3/7模块B2,2研制过程中的变化B1,4/10操作系统B2,3执行时间B2,4/5设计系统重组B1,5/10中断B2,5算术表达式B2,6:真伪性检查B3,1/5安全输出B3.2/5转移与循环B4.1子程序与过程B4,2嵌套结构B4.3数据结构B4,5中间检验B1,3/7模块B2,2研制过程中的变化B1,4/10执行时间B2,4/5中断B2,5中间测试B4,7/7算术表达式B2.6编码规则B5,4真伪性检查B3,1/5安全输出B3.2/5存储器内容错误检查B3,4编码转移与循环B4,1子程序与过程B4,2嵌套结构B4,3寻址与数组B4,4数据结构B4,5动态变化B4,6顺序与排列B51注释B5,2汇编B5.3注：条国栏中的编号，例如B1，1/5,其中B1为对应的附录B中的表B1，5刚为正文中的章。 EI/T 1058-19987 检验7.1软件检验过程建立软件功能要求之后，在开始下一阶段工作之前，需检验软件功能要求是否满足了由计算机系统技术条件为软件所规定的安全系统要求。在设计阶段之后，在开始下一阶段之前需检验软件设计是否符合软件性能技术条件所规定的软件功能要求。在编码阶段之后，在开始下一阶段之前需检验已编码的软件是否与设计阶段所导出的软件性能技术条件相符。每个阶段均必须以检验结束，见附录A（标准的附录）A1。7.2软件检验工作7. 2. 1 检验计划件形式规定检验过程中所用的所有则、方法和工具。它必须记述为评价每个软件项目及每个阶段所进行的各种活动，以表明软件功能与可靠性要求的技