1) safety critical software
安全关键软件
1.
In order to evaluate the safety of safety critical software, on the basis of analyzing the similarities and differences between safety and reliability of software, the safety criterion is firstly established in this paper, and the limitation of the classical testing method based on statistically independent approach used to decide the number of safety testing case is studied.
为了评估安全关键软件的防危性 ,该文在分析软件可靠性与防危性异同的基础上 ,建立了相应的防危性评估指标 ,同时研究了传统统计测试方法确定所需防危性测试用例数的局限性 。
2.
Once Safety critical software runs into dangerous state, it will result in serious damage even catastrophe.
如果嵌入式系统安全关键软件质量不好,可能对系统的安全构成严重威胁。
2) safety-critical software
安全关键软件
1.
Research on software safety assurance of safety-critical software;
安全关键软件的安全性保障工作研究
2.
In order to reduce the total number of the testing cases but not to decrease the confidence level of the testing results for the reliability demonstration of safety-critical software, a new method which uses Bayesian inference with prior knowledge dynamic integration is presented on the basis of analyzing the classical statistical hypothesis testing and the ignorance prior Bayesian method.
为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。
3) safety-critical middleware
安全关键中间件
1.
In this paper,a multilevel embedded safety-critical middleware called Adaptive Safety-Critical Middleware(ASCM) was described.
在分析传统嵌入式实时中间件技术应用于嵌入式安全关键系统不足的基础上,提出了一种新的自适应安全关键中间件(ASCM)的设计方法,并对相应的体系结构和关键技术进行了讨论。
4) Safety related software
安全相关软件
5) key software
关键软件
1.
Precision analysis is very important for key software to improve security, and needs to be automated because of large computing.
精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化。
6) safety critical
安全关键
1.
High dependable safety critical systems based on multilevel criticality;
基于多级关键度的高可信安全关键系统
2.
As the applications of real-time computing technology are becoming more and more popular in many safety critical domains such as avionics, national defense and transportation systems, field network faces new requirements and challenges because of the coexistence of different kinds of synchronous real-time, asynchronous real-time and non-real-time communication requirements.
随着实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键领域,多类型的同步实时、异步实时和非实时网络传输需求给现场网络提出了新的目标和挑战,其中安全关键实时网络的实现方式与调度分析是需要解决的关键问题。
3.
To design highly dependable safety critical real time operating system CRTOS 2.
为了设计高可信的安全关键实时操作系统CRTOS 2 0 ,在分析现有操作系统可信性保障机制的基础上 ,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想 空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写 ,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行 为实现时间隔离保护机制 ,在改进传统处理器能力预留机制的基础上 ,基于两级调度的思想 ,提出了新的实现方法 时空隔离保护机制的提出 ,可从本质上增强安全关键实时操作系统的可信
补充资料：软件安全性
软件安全性
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给出了一些与软件安全性直接有关的标准。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条