助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[270]条 当前为第1条到20条[由于搜索限制,当前仅支持显示前5页数据]
 

相关语句
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.
      
However, there are so far no quantitative methods for assessing a safety-critical software system in terms of the safety/reliability characteristics.
      
Software risk management is particularly important when the target environment of the software is a safety-critical system.
      
Ministry of Defence, for use in safety-critical applications.
      
While proofs about the abstract models of such systems are obviously a vital contribution to our trust in them, it is also important (not least in safety-critical applications) that the limitations of the approach be understood.
      
As the use of digital computers for instrumentation and control of safety-critical systems has increased, there has been a growing debate over the issue of whether probabilistic risk assessment techniques can be applied to these systems.
      
Many real-time database applications arise in electronic financial services, safety-critical installations and military systems where enforcing security is crucial to the success of the enterprise.
      
The traditional methods of developing embedded systems are inadequate for such safety-critical devices.
      
These organizations advocate the use of formal methods techniques to evaluate safety-critical medical systems.
      
Formal verification of fault tolerance in safety-critical reconfigurable modules
      
Integration of informal and formal development of object-oriented safety-critical software
      
In this paper we report on a major industrial case study involving safety-critical software for the computation of a particular kind of railway timetable used by train conductors.
      
The convergence of model-based development and formal methods offers developers of safety-critical systems a powerful new approach to the early validation of requirements.
      
Now, however, processor emulation is being applied to safety-critical control systems, including military avionics.
      
Software tools for safety-critical software development
      
We briefly present a software methodology for safety-critical software, developed over many years to cope with industrial safety-critical applications in the Canadian nuclear industry.
      
 

首页上一页12345下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社