首页   当前位置:全部素材 > 规范图集 > 国家规范

GB/T13629-2008本标准修改采用美国标准IEEE Std7-4.3.2-2003《核电厂安全系统中数字计算机的适用准则》(英文版),技术内容等同,只是将IEEE Std7-4.3.2中引用的美国标准改为相应的我国标准,编写方法和格式符合GB/T1.1一2000的要求。本标准代替GB/T13629一1998《核电厂安全系统中数字计算机的适用准则》。本标准与GB/T13629一1998相比主要变化如下:一第5章中增加了5.3.6“软件工程风险管理”和5.5.3“故障探测和自诊断”;将独立验证与确认的内容放入正文,增加了5.3.4“独立验证与确认要求”,而删除了附录E“验证与确认”;将取消的5.3.2“现有商品级计算机的质量鉴定”修订为5.4.2,并细化了相关的要求;—一取消了附录C“抗电磁干扰能力”,—将附录F“异常状态和事件的鉴别和解决”修订为附录D“危害的鉴别和解决”,并重新编写了该附录;一一取消了附录I“核电厂用软件的质量保证要求”;—取消了附录J“本标准附录中引用的标准”。本标准的附录A、附录B、附录C、附录D、附录E、附录F都是资料性附录。本标准由中国核工业集团公司提出。本标准由全国核仪器仪表标准化技术委员会SAC/TC30)归可.SC本标准起草单位:核工亚标准化研究所。本标准主要起草人:高丽艳、王忠秋、耿文行。本标准所代替标准的历次版本发布情况为:--GB/T13629-1998。筑Z.ZC.E1
GB/T13629-2008核电厂安全系统中数字计算机的适用准则1范围本标准规定了计算机用作核电厂安全系统设备时的一般原则。本标准的要求与GB/T13284.1一2008一起规定了计算机用作安全系统设备时的最低功能要求和设计要求。本标准适用于核电厂安全系统数字计算机。2规范性引用文件下列文件中的条款通过本标准的引用而成为本标准的条款。凡是注日期的引用文件,其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本标准,然而,鼓励根据本标准达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件,其最新版本适用于本标准。GB/T9225核电厂安全系统可靠性分析-一般原则(GB/T9225一1999,eqv ANSI/EEE Std3521987)GB/T13284.1一2008核电厂安全系统第1部分:设计准则(IEEE Std603-1998,NEQ)GB/T13286核电厂安全级电气设备和电路独立性准则(GB/T13286一2001,eqv ANSI/IEEEStd384-1992)E/T694核工业计算机软件质量保证规范J/T743核工业计算机软件配置管理计划编制指南E/T1058核电厂安全系统计算机软件HAFO03核电厂质量保证安全规定IEEE Std1012-1998软件验证与确认的IEEE标准IEEE Std1061-1998软件质量度量方法的IEEE标准IEEE Std1042软件配置管理的IEEE指南IEEE Std1540生存周期过程的IEEE标准一风险管理IEEE/EIA12207.0-1996信息技术标准一软件生存周期3术语和定义下列术语和定义适用于本标准,3.1验收试验acceptance testing1)为确定系统是否满足验收准则并使客户确定是否接收该系统而进行的正规试验(也可参见鉴定试验、系统试验);2)为使用户、客户或其他授权机构确定是否接收一个系统或设备而进行的正规试验。3.2应用软件application software为满足某一用户特定的需要而设计的软件,例如用于导航、薪金表或过程控制的软件。莲筑素前网Z.ZC.ET
GB/T13629-20083.3结构architecture系统或部件的组织结构。3.4商品级物项commercial grade item满足下述条件的物项:1)不是为核设施专门设计或不以核设施特有的技术要求为条件:2)用于非核设施;3)按制造厂产品说明(例如样本)中规定的技术条件从制造厂或供货商处采购。3.5商品级物项适用性确认commercial grade item dedication为了充分确信商品级物项适合于核安全应用,对商品级物项进行评价和验收的过程。3.6复杂性complexity1)对一个系统或系统部件的设计或实现难于理解或验证的程度;2)测量定义1)中属性的任一组基于结构性的度量。3.7部件component组成系统的一个部分。三个部件可以是硬件或软件,并可以再细分成其他的部件。注:术语“模块”“部件"和单元通常可招互交换使用,或取决于上下文,以不同的方式作为另外一个定义的补充。这些术语的相互关系尚设有标准化。3.8计算机computer由一个或多个关联的处理单元和外部设备组成的、由内部贮存的程序控制的、不用人为干预便能执行真实计算(包括大量的算术运算或逻辑运算)的功能可编程装置。3.9计算机指令computer instruction1)编程语言中的语句,它规定了计算机执行的操作,以及与操作数有关的地址或数值,例如将A移动到B;2)简单地说,计算机程序中任何可执行的语句。3.10计算机程序computer program可使计算机硬件执行运算或控制功能的计算机指令和数据定义的组合。3.11计算机系统computer system包含一个或多个计算机及相关软件的系统。3.12配置configuration1)由数字、属性定义的计算机系统或部件的排列,及其各组成部分之间的相互联系:2)在配置管理中,是指在技术文件中规定的或产品达到的硬件或软件的功能和物理特性。2罚Z.ZC.ET
GB/T13629-20083.13配置控制configuration control配置管理的一个要素,包括在配置项的配置标识正式立后对配置项变更的评价、协调、批准或不批准,以及实施。3.14配置项configuration item在配置管理过程中指定要进行配置管理并作为一个整体处理的硬件、软件或两者兼有的集合体。3.15配置管理configuration management采用技术及行政管理和监督的一种规定,以识别或用文件证明配置项的功能和物理特性、控制对这些特性的变更、记录和报告变更过程和实施状态,并核实与规定要求的一致性。3.16正确性correctness1)在系统或部件的技术规范、设计和实现中无缺陷的程度;2)软件、文档或其他物项满足技术要求的程度;3)无论规定与否,软件、文档或其他物项满足用户需求和预期的程度。3.17数据data1)以易于交流、理解,或被人员/自动手段处理的方式对事实、概念或指令的一种表达方式;2)有时用作文档的同义词。3.18数据结构data structure数据各元素之间的物理或逻辑关系,用于支持特定的数据处理功能。3.19设计design1)确定一个系统或部件结构、组成、接和其他属性的过程;2)定义1)中过程的结果。3.20文件document1)一种介质及其所记录的信息,通常有永久性并可被人或机器读出。例如在软件工程中包括工程计划、规范、试验计划和用户手册;2)创在1)中定义的一个文件;3)向计算机程序中添加注释。3.21文档documentation1)某一特定主题的文件集合:2)对活动、要求、过程或结果进行描述、规定、说明、报告或证明的任何文字的或图表资料;3)文件产生或修订的过程;4)文件管理,包括标识、收集、处理、储存和分发。3.22差错error1)一个计算的、观测的或实测的数值或条件与真实的、规定的或理论的数值或条件之间的差异,例如,计算结果与正确值之间差30m:3素前网Z.ZCET
GB/T13629-20082)不正确的步骤、过程或数据定义,例如在计算机程序中不正确的指令;3)不正确的结果,例如当正确值为10时计算值为12;4)产生不正确结果的人的行为。例如在编程器或操作器上的错误动作。注:当4个定义共同使用时,通常将定义1)称为误差,将定义2)称为故障,将定义3)称为失效,将定义4)称为失误。3.23执行execution计算机完成计算机程序中一条或多条指令的过程。3.24失效failure一个系统或部件不能在规定的性能要求内执行所要求的功能。注:故障容错规则区分人的行为(失误)、其表现形式(硬件或软件故障)、故障的后果(失效),以及其结果为不正确(差错)的总量,3.25故障fault1)在硬件或部件中的缺陷,例如短路或断线;2)在计算机程序中的不正确的步骤、过程或数据定义。注:该定义主要由故障容错理论使用,在通常情况下,差错和隐错用于表达同一含义。3.26固件firmware硬件装置和以虫读软件方式驻留在该装爱中的计算机指令和数据的组合,.门ET3.27功能function一个系统或部件规定的目的或作用。例如,一个系统可将总量控制作为其主要的功能。3.28功能单元functional unit能完成一个规定目的的硬件、软件或两者兼有的实体。3.29硬件hardware用于处理、贮存或传输计算机程序或数据的物理设备。3.30危害hazard事故的一种先决条件。危害包括外部事件以及计算机硬件和软件的内在条件。3.31危害分析hazard analysis研究和确定由正常的设计审查和测试过程未鉴别出来的条件的过程。通过对包括异常事件和带有劣化的设备和系统的核电厂运行的分析,使危害分析的范围扩展到核电厂超设计基准事件。危害分析主要关注系统的故障机理而不是验证正确的系统运行。3.32实现implementation1)将设计转化为硬件设备、软件设备,或两者兼有的过程:2)定义1)过程的结果。4筑素前网Z.ZC
GB/T13629-20083.33接interface1)信息通过的共享边界;2)用于将信息从一个部件传输到其他部件为目的的,连接两个或多个部件的硬件或软件设备。3.34模块module1)就编译、与其他单元的组合及下载而言是分离的和可标识的程序单元。例如向一个汇编程序、编译器、连接编辑器或执行程序的输人,或从其来的输出;2)一个程序中逻辑上可分离的部分。3.35规程procedure1)为解决问题或为完成给定的任务而采取的动作的过程;2)定义1)中动作过程的书面描述,例如,文件化的试验程序;3)指定的并执行规定动作的计算机程序的一部分。3.36鉴定试验qualification testing为向用户证明软件物项或系统满足其规定的要求而进行的试验。3.37餐家用为据快装利简表来本探要来好条件发分C。NE丁2)为满足合同、标准、规范或其他正式规定的文件、系统或系统部件应满足的和具备的条件或能力;3)在1)和2)中规定的条件或能力的文档化的陈述。3.38需求规格书requirements specification规定对系统或部件需求的文件。通常包括功能要求、性能要求、接要求、设计要求和研制标准。3.39软件software与计算机系统运行有关的计算机程序、规程,以及相关的文档或数据。3.40软件维护software maintenance1)为改正错误、提高性能或其他特性、或者为适应变化的环境,而对交付后的软件产品进行的修改;2)为确保已安装的软件能按照预期连续运行并实现在系统运行中预期的作用而进行的一系列活动。软件维护包括改进、用户帮助,以及相关的活动。3.41软件质量度量software quality metric其输人为软件数据,输出为单一数值的一种函数,该数值可以被认为是软件具有影响其质量的特性的程度。3.42软件工具software tools一种用来开发、测试、分析或维护其他程序或其文件的计算机程序。例如:比较程序、交叉引用生成程序、反编译程序、驱动程序、编辑程序、流程图程序、监控程序、测试案例生成程序和时序分析程序。5罚素村网Z.Z沁.ET
GB/T13629-20083.43规格书specification以完整的、准确的和可验证的方式规定了系统的要求、设计、行为或其他属性的文件,以及用于确定是否满足这些规定的程序。3.44系统system构成完成特定的功能或功能组的设备集合。3.45系统软件system software为了便于计算机系统及其相关程序的运行和维护而设计的软件。例如操作系统、汇编程序和实用程序。3.46系统试验system testing为了评价一个完整的已集成的系统与其规定要求之间的一致性,对该系统进行的试验。3.47试验test1)在规定的条件下操作一个系统或部件、观察或记录其结果,及对系统或部件的某些方面进行评价的过程;2)对软件物项进行分析以发现现有状态与要求条件之间的差异(即隐错,并评价软件物项特性的过程。3.48试验大纲test plan1)描述预期试验活动的范围、方法、资源和进度的文件,它规定了试验项目、试验特点、试验任务、每项任务的完成者,以及需要执行应急计划的风险;2)描述对一个系统或部件进行试验所遵循的技术和管理方法的文件。典型的内容应规定被试验物项、需要执行的试验任务、责任、进度,以及试验活动所需要的资源。3.49确认validation在研制过程中或完成时评价一个系统或部件以确定其是否满足规定要求的过程。3.50验证verification1)为确定某一研制阶段的产品是否满足该阶段开始时规定的条件,而对一个系统或部件进行评价的过程;2)计算机程序正确性的正式证明。3.51验证与确认verification and validation(V&V)确定对一个系统或部件制定的要求是否完整和正确、每个研制阶段的产品是否满足前一个阶段提出的要求或条件,以及最终的系统或设备是否符合预定要求的过程。4安全系统设计基准关于本标准与GB/T13284.1一2008的关系参见附录A。见GB/T13284.1一2008中第4章,参见附录B。罚素村网Z.Z沁.ET
GB/T13629-20085安全系统准则本章按GB/T13284.1一2008第5章的顺序列出安全系统准则。对有些准则,除了GB/T13284.1一2008的规定以外没有附加要求。而对另外一些准则,本章给出其附加要求。5.1单一故障准则见GB/T13284.1-2008中5.1,参见附录B。5.2保护动作的完成见GB/T13284.1-2008中5.2。5.3质量硬件质量要求见GB/T13284.1一2008中5.3。软件质量要求见IEEE/E1A12207.0及其支持性标准。计算机的研制活动应包括计算机硬件和软件的研制。在研制过程中应考虑计算机硬件与软件的集成以及计算机与安全系统的集成。典型的计算机系统研制过程由下述生存周期的过程组成:a)立系统的概念设计,将概念设计转化为具体的系统需求;b)使用这些需求进行详细的系统设计;c)实现硬件和软件功能的设计;d)功能试验以保证需求的正确实现;e)系统安装并进行现场验收试验;f)系统运行和雉护筑g)系统退役。为了符合质量准则,除了GB/T13284.1一2008的要求之外,还应满足下述活动的附加要求:a)软件研制;b)现有商品级计算机的质量鉴定(见5.4.2);c)软件工具的使用;d)验证与确认;e)配置管理;f)风险管理。5.3.1软件研制计算机软件应按经批准的软件质量保证大纲进行研制、修改或验收,这一质量保证大纲应与IEEE/EIA12207.0-1996的要求相一致。软件质量保证大纲应考虑运行时计算机的所有常驻软件(即:应用软件、网络软件、接程序、操作系统以及诊断程序)。编制软件质量保证大纲的指导见EJ/T1058和EJ/T694。在整个软件寿期内,应考虑使用软件质量度量以评价其是否满足软件质量要求。当使用软件质量度量时,应考虑下述的生存周期阶段特性:a)正确性/完整性(船求阶段);b)与需求的一致性(设计阶段);c)与设计的一致性(实现阶段);d)功能与需求的一致性(试验和集成阶段);e)现场功能与需求的一致性(安装和调试阶段);)性能历史记录(运行和维护阶段)。在软件研制文档中应包括为评价软件质量特性而选择度量的依据。IEEE Std1061-1998提供了软件质量度量的应用方法。7览Z.ZC.E1
评星:
  • 0
  • 0

作品评论(0)

登录 后参与讨论
相关推荐:
本站所有资源由用户上传,仅供学习和交流之用;未经授权,禁止商用,否则产生的一切后果将由您自己承担!素材版权归原作者所有,如有侵权请立即与我们联系,我们将及时删除
浏览:93 次数:0
下载:免费下载 收藏:0
等级:
编号:206098 1
文件格式:pdf文本
文件大小:2.42MB
投稿:1010 进入
上传时间:2022/8/22 22:09:55
如有侵权请联系删除

您可能在找这些:

网站首页 典尚平台 建筑素材 三维模型 室内装修 视频素材网 上传教程 帮助中心 热门搜索 版权申明 关于我们 联系典尚

Copyright © 2000-2020 www.jzsc.net.粤ICP备07047611号 All Rights Reserved.

客服QQ:609470690 客服电话:0755-83549300 深圳市典尚风设计有限公司

Copyright© 2016典尚平台 JZSC.NET

网站推荐使用腾讯、Chrome浏览器浏览,不推荐360,很卡

粤公网安备 44030302000908号

QQ咨询
推广分享
×
复制本页url网址

推广详情

如您已登录,分享网址将自动加载您的推广编号,您将获得2元/注册用户的奖励。

推广记录  积分记录

网站首页
回顶部