助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[9]条 当前为第1条到9条
 

相关语句
safety-critical
    Formal Development Method for Safety-Critical System
    安全苛求系统的形式化开发方法
    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.
    铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。
    The conclusion is that it can improve the level of test automation and test efficiency of the safety-critical software.
    该系统可进一步提高安全苛求软件测试自动化水平和测试效率。
    Fault Tree Analysis(FTA) can be used to analyze the events and states of system failure. It is an effective method in analyzing the reliability and safety of safety-critical system.
    故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。
    In this paper,we firstly use temporal Petri nets to describe the railway signal interlocking logic system,a safety-critical system,and use temporal logic to describe temporal relationships of system states. Then,we analyze and verify the properties of model and conclude that the system is effective.
    文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。
 

首页上一页1下一页尾页 

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