安全苛求 safety-critical(8) 目前没有对本词条修改信息

safety-critical     Chaotic Safety Analysis for the Safety-Critical Software     安全苛求软件的安全性混沌分析 短句来源     Inject Fault to Test Safety-critical Software Using Scrip     使用基于脚本的故障注入测试安全苛求软件 短句来源     Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events.     安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。 短句来源     Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important.     因此,对安全苛求软件的测试、安全性评价非常重要。 短句来源     The railway computer interlocking system is a kind of typical safety-critical system and the chaotic safety analysis is useful and helpful for implementing more efficient on the spot software testing.     铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。 短句来源 更多        查询“安全苛求”译词为用户自定义的双语例句     我想查看译文中含有：的双语例句

为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法，我们为您准备了出自英文原文的大量英语例句，供您参考。   safety-critical This makes the application of this method to such areas as safety-critical systems reliability and risk assessment a very attractive option.        Relational programs: An architecture for robust real-time safety-critical process-control systems        Software for safety-critical systems, such as avionic, medical, defense, and manufacturing systems, must be highly reliable since failures can have catastrophic consequences.        With appropriate priority assignments, it provides strong guarantees that the safety-critical components are immune to defects in other components of the system.        Safety and reliability have become important software quality characteristics in the development of safety-critical software systems.        更多

Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified... Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events. Therefore, safety-critical software has to undergo safety testing, and the assessment of software safety is very important. Multi-source, multi-model and multi-stage (3M) assessment can modify assessment parameters continuously by utilizing information obtained from subsequent testing to improve assessment accuracy. The estimation model of software errors that can cause hazards is modified in this paper, and the study on complexity parameter is made emphatically.

安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。

Research on safety are always based on software reliability,which has been studied by a completely probability and random process methods.But safety is not equal to reliability and the concept of reliability itself needs to be improved to meet with the science and technology demands in the 21st century.On the basis of careful investigation on the features of SCS and its failures,the chaotic approaches can be applied.By studying a time series of hazard,we can employ the technology of embedding space to reconstruct... Research on safety are always based on software reliability,which has been studied by a completely probability and random process methods.But safety is not equal to reliability and the concept of reliability itself needs to be improved to meet with the science and technology demands in the 21st century.On the basis of careful investigation on the features of SCS and its failures,the chaotic approaches can be applied.By studying a time series of hazard,we can employ the technology of embedding space to reconstruct the phase space and the attractor that reveals the chaotic properties and then we can forecast hazard.The railway computer interlocking system is a kind of typical safety-critical system and the chaotic safety analysis is useful and helpful for implementing more efficient on the spot software testing.

对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。

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.A new fault injection approach,which is based on script language,is presented as a new approach for testing in this paper.By running the safety-critical software under a fault environment,the probability of fail-safe or fault -tolerant can be qualified.The new fault injection approach increases software test coverage and makes errors exposed quickly.The... 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.A new fault injection approach,which is based on script language,is presented as a new approach for testing in this paper.By running the safety-critical software under a fault environment,the probability of fail-safe or fault -tolerant can be qualified.The new fault injection approach increases software test coverage and makes errors exposed quickly.The conclusion is that it can improve the level of test automation and test efficiency of the safety-critical software.

由于安全性苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。该系统可进一步提高安全苛求软件测试自动化水平和测试效率。

<< 更多相关文摘

相关查询

安全苛求软件 安全苛求系统 安全 苛求 煤矿安全 生产安全 安全生产 安全评定 安全等级 计算机安全 安全隐患 运行安全