1) safety-critical software
安全性苛求软件
2) safety-critical software
安全苛求软件
1.
Because the safety-critical software is often directly related to the safety of the people s life and wealth,software has to undergo safety testing strictly.
此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。
2.
Based on the model of safety-critical software,this paper analyzes the existing safety analysis methods and UML modeling language in the applications of safety-critical software, proposes a new method of safety description against the weakness of UML modeling language,and sets up a model of ATP system to verily the feasibility and validity of the method.
该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。
3.
The traditional component technology can t satisfy safety-critical software development requirement.
基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。
4) software safety
软件安全性
1.
In this paper,it establishes a Petri Nets model for interlocking software safety requirement based on analyzing the fault tree model presented in Reference 1,5 and6.
文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。
2.
This paper introduces software safety, and its analyzing technique with Petri nets, analyzes the software design of missile safety system based on Petri nets system model with the converse reachable figsretrospect method and the key state.
介绍了软件安全性和基于Petri网软件安全性分析技术。
5) safety-critical system
安全苛求系统
1.
Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events.
安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。
6) software safety integrity
软件安全完整性
1.
Starting from the existing problems in software design and based on IEC62278 and IEC62279, the software safety integrity level of relevant products are given, as well as the responsibilities for different software develop.
从当前软件设计存在的问题出发,以IEC62278和IEC62279为基础,提出相关产品的软件安全完整性的等级,各软件开发人员的职责分工。
补充资料：软件安全性
软件安全性
software safety
但也日益更加直接地关系到人们的生命、财产与人类的生存环境的安危。安全性就是计算机在这些领域的应用对软件提出的一个新的要求。 近年来，由于软件安全性问题，已经造成了一些重大事故。例如，由于控制放射性治疗设备的软件错误，在加拿大已经造成了多起癌症病人因受到过量放射性辐射而死亡。在英国伦敦，救护车调度软件刚投人使用几小时就发生故障，造成急诊病人延误达十几小时。由于软件错误，阿里亚娜一5型火箭发射卫星失败，造成高达25亿美元的直接经济损失等等。根据软件故障可能造成的损失大小，IEC国际标准咒65 Awe一123(草案)把软件危险程度分成四个层次。如果一个以计算机为基础的系统的失·610·软软败会造成大量人员丧失生命，生产设备或交通设施的完全摧毁和造成巨大的经济损失，那么其危险程度是灾难性的。如果事故会造成人员丧失生命和伤亡，部分生产设备的严重损坏且造成大量的经济损失，那么其危险程度是重大的。如果错误会造成人 表1 IEC义65A，一123对软件可靠性的要求┌────┬──────┬──────┐│危险程度│连续控制系统│保护系统 ││ ├──────┼──────┤│ │每小时发生危│请求调用时发││ │险故障的次数│生故障的概率│├────┼──────┼──────┤│灾难性 │10一9一10一8│10一5一10一4│├────┼──────┼──────┤│重大 │10一8一10一7│10一4一10一3│├────┼──────┼──────┤│较大 │10一7一10一6│10一3一10一2│├────┼──────┼──────┤│较小 │10一6一105 │10一2一10一l│└────┴──────┴──────┘员受伤以及一定限度内的能够盈利的生产设备和交通设施的损失，那么其危险程度是较大的。如果系统不涉及安全性问题，那么其危险程度是较小的。IE〔!哭65卉123要求一定危险程度的软件达到一定的可靠性，参见表1。 在要求安全性较高的领域内，计算机的应用造成灾难性事故的可能性引起了国际上对软件安全性的高度重视。人们把这类一旦发生故障就可能危及人的生命、财产和生存环境的软件称为安全第一的软件。它们的基本特征是安全性具有至关重要的意义。为了保障这类软件的质量，政府机构纷纷迅速采取法律与管理措施，一批保障软件安全性的软件生产、使用和维护的规范与标准已开始拟定，有的已经投人实施。表2给出了一些与软件安全性直接有关的标准。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条