1) 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网软件安全性分析技术。
2) 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为基础,提出相关产品的软件安全完整性的等级,各软件开发人员的职责分工。
3) safety-critical software
安全性苛求软件
4) safety software
安全软件
1.
This paper presents the independent Verification and Validation (V&V) process for safety software of Programmable Logic Controller (PLC) ,Digital Reactor Protection System (DRPS), and Engineered Safety Feature-Component Control System (ESF CCS) in Korea Nuclear Instrumentation and Control System (KNICS) projects.
讨论了可编程逻辑控制器、数字化反应堆保护系统和工程安全设施部件控制系统中安全软件的验证与确认过程。
5) software security
软件安全
1.
Static analysis of software security techniques and tools
软件安全静态检测技术与工具
2.
This article briefly presents the existing problem within software engineering course teaching and the essentiality of software security,and proposes applying the software security thoughtway to the software engineering course design.
文章简要说明了软件工程课程教学中存在的问题以及软件安全的重要性,提出在软件工程课程设计环节中应引入软件安全思想,并具体说明了面向软件安全的软件工程课程设计的内容。
6) safety-critical software
安全软件
1.
After specifying common risk simply, this paper puts forward the software risk concept of safety-critical system and the metrics definition of software risk, and discusses the risk analysis and calculation way of safety-critical software.
文章在简述一般风险概念的基础上，提出安全系统软件的风险概念及度量定义，并对安全软件风险的分析计算方法作了讨论。
补充资料：软件安全性
软件安全性
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给出了一些与软件安全性直接有关的标准。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条