• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Reliability Engineering & System Safety >Integrating model checking with HiP-HOPS in model-based safety analysis
【24h】

Integrating model checking with HiP-HOPS in model-based safety analysis

机译：将模型检查与HiP-HOPS集成在基于模型的安全分析中

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The ability to perform an effective and robust safety analysis on the design of modern safety-critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by focusing on the system model as the central artefact, and by automating the synthesis and analysis of failure-extended models. Model checking and failure logic synthesis and analysis (FLSA) are two prominent MBSA paradigms. Extensive research has placed emphasis on the development of these techniques, but discussion on their integration remains limited. In this paper, we propose a technique in which model checking and Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) - an advanced FLSA technique - can be applied synergis-tically with benefit for the MBSA process. The application of the technique is illustrated through an example of a brake-by-wire system.
机译：对现代安全关键型系统的设计执行有效而强大的安全性分析的能力至关重要。近年来已经引入了基于模型的安全分析（MBSA），以通过将系统模型作为中心构件，并自动进行故障扩展模型的综合和分析，来支持对复杂系统设计的评估。模型检查和故障逻辑综合与分析（FLSA）是两个重要的MBSA范例。广泛的研究把重点放在这些技术的发展上，但是关于它们的集成的讨论仍然很有限。在本文中，我们提出了一种技术，其中可以将模型检查和分层执行的危险源与传播研究（HiP-HOPS）（一种先进的FLSA技术）协同应用，从而有益于MBSA流程。通过线控制动系统的示例说明了该技术的应用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号