用户名: 密码: 登 录   个人中心   系统维护   用户注册  联系我们
当前位置 > 首页 > 术语细览

安全相关软件

标准号:GJB/Z 142-2004   标准名称:军用软件安全性分析指南       2004-09-20

基本信息

【名称】 安全相关软件
【英文名称】 safety related software
【定义】 在安全相关系统中,用于实现安全功能的软件。

同源术语

·危险失效可导致安全相关系统进入危险状态或无法工作状态的失效。
·受控设备用于制造、加工、运送、医疗或其它活动的装备、设备、仪器或机组。
·EUC 控制系统根据过程中或操作者输入的信号产生输出信号,以使 EUC 按照要求动作的系统。
·影响分析确定系统中一个功能或部件的改变将对该系统中其它功能或部件以及其它系统产生何种影响的活 动。
·事故造成人员伤亡、职业病、设备损坏或财产损失的一个或一系列意外事件。
·运行模式安全相关系统使用的方式。根据安全相关系统运行的频率,运行模式分为下列两种: a) 低频率模式:安全相关系统的运行频率不大于每年一次且不大于校验测试频率的两倍; b) 高频率或连续模式:安全相关系统的运行频率大于每年一次或大于校验测试频率的两倍。包括 为保持安全性施行连续控制的安全相关系统。
·必要风险降低为了使风险水平不超过可容忍风险水平,采用 PE 安全相关系统,其它技术安全相关系统和外部安 全设施达到的必需的风险降低。
·可编程电子系统基于一个或多个可编程电子装置的,用于控制、防护或监视的系统,它包括系统中所有的要素,比 如电源,传感器和其它输入装置,数据高速通路和其它通信路径,以及执行器和其它输出装置。
·校验测试用以发现安全相关系统失效的周期性测试,以便如有必要,系统可以回复到初始状态或尽可能接近 初始状态。
·安全性不发生事故的能力。
·安全性评估为了判定软件获得的安全性而进行的基于证据的调查。
·安全功能针对特定的危险事件,为达到或保持 EUC 的安全状态而实现的功能。
·安全完整性在规定的条件下、规定的时间内,安全相关系统成功实现所要求的安全功能的可能性。
·安全完整性级别(SIL)一种离散的等级(四种可能等级之一种),用于规定分配给安全相关系统的安全功能的安全完整性要 求。安全完整性级别 4 是最高的,安全完整性级别 1 是最低的。安全完整性级别决定了安全功能的目标 失效测度。
·安全相关系统用于下列两目的之一的系统: a) 执行要求的安全功能以达到或保持 EUC 的安全状态; b) 使安全功能达到必要的安全完整性。 安全相关系统可采用广泛的技术实现,本指导性技术文件中将基于可编程电子技术的安全相关系统 称为 PE 安全相关系统。
·软件安全性软件具有的不导致事故发生的能力。
·软件安全性分析对和软件安全性相关的特定信息进行的系统而有序的获取和评价过程。
·软件安全完整性软件在规定条件下和规定时间中,在系统中成功完成其安全功能的可能性的度量。
·软件安全完整性级别一种离散的级别(四种可能级别之一),用于规定在安全相关系统中软件的安全完整性。
·系统性失效与确定的原因和确定的方式有关的失效。只有对设计或制造过程、操作程序、文档或其它相关因素 进行调整后,才有可能排除这种失效。
·目标失效测度根据安全完整性的要求,需达到的危险失效的概率。 目标失效测度按照下列两种形式之一进行定义: a) 平均每次执行其设计功能时发生失效的概率(对于低频率运行模式),或 b) 危险失效平均每小时发生的概率(对于高频率或连续运行模式)。
·可容忍风险基于当前社会价值观,在给定的环境下可以接收的风险。

相关术语

·一致性实现既满足静态又满足动态一致性要求,且与协议实现的一致性陈述中指出的能力相一致的一种测试 中的实现。
GJB 700A-2006 军用通信系统术语)
·实现必备需要在所有GKS—3D实现的所有工作站上都同样地实现的特性。
GJB 3095-97 信息处理系统计算机图形三维图形核心系数(GKS-3D)的功能描述)
·实现的边如果边界是不可见的,为填充区域想象的零宽度边界;如果边界是可见的,为定宽度显示 的线。
GJB 3116.1-97 军用计算机图形元文卷 第1部分:功能描述)
·实现的内部在区域填充元素中,当向实现的边扩展并终止的理想的内部部分。
GJB 3116.1-97 军用计算机图形元文卷 第1部分:功能描述)
·安全功能技侦情报数据库系统的安全机制所实现的功能。
GJB 4454-2002 技术侦察情报数据库安全要求)
·实现通过特定的运算法则和任何必须的表示特性表现接口的职能。实现描述了职能如何被满足,它是职 能方法的描述。实现可以包括表现的特性及运算方法,或者二者皆有。例如,属性只有表示方法而无运 算法则。运算是一个“纯运算法则”(即:无任何表示方法),且仅使用文字表示;作为输入,它不会得 到任何取值。最终,一个派生的属性或操作同时具有运算法则和特性表示方法。
GJB 5241-2004 概念建模语言IDEF1X的句法和语义)
·被测(协议)实现一个或多个以相邻用户/提供者关系实现的OSI协议,这类协议作为一个实开放系统的 组成部分将通过测试进行研究分析。
GJB 2765.1-96 数据网协议一致性测试基本概念)
·(实现的)能力由该实现所支持的有关协议的功能集合。
GJB 2765.1-96 数据网协议一致性测试基本概念)
·协议实现一致性申明由OSI实现或系统的提供者所作的一种申明,陈述一给定的OSI协议所应实现的有关能 力。
GJB 2765.1-96 数据网协议一致性测试基本概念)
·测试协议实现的附加信息由IUT的提供者或实现者提出的一种陈述,它包含或引用了与IUT及其测试环境有关 的全部信息(PICS给出的信息除外),该陈述将能使测试实验室运行IUT的相应测试套。
GJB 2765.1-96 数据网协议一致性测试基本概念)