• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Mathematical Problems in Engineering >Failure Propagation Modeling and Analysis via System Interfaces
【24h】

Failure Propagation Modeling and Analysis via System Interfaces

机译：通过系统接口进行故障传播建模和分析

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

摘要

Safety-critical systems must be shown to be acceptably safe to deploy and use in their operational environment. One of the key concerns of developing safety-critical systems is to understand how the system behaves in the presence of failures, regardless of whether that failure is triggered by the external environment or caused by internal errors. Safety assessment at the early stages of system development involves analysis of potential failures and their consequences. Increasingly, for complex systems, model-based safety assessment is becomingmore widely used. In this paper we propose an approach for safety analysis based on system interface models. By extending interaction models on the system interface level with failure modes as well as relevant portions of the physical system to be controlled, automated support could be provided for much of the failure analysis. We focus on fault modeling and on how to compute minimal cut sets. Particularly, we explore state space reconstruction strategy and bounded searching technique to reduce the number of states that need to be analyzed, which remarkably improves the efficiency of cut sets searching algorithm.
机译：必须证明对安全至关重要的系统在其操作环境中可以安全地进行部署和使用。开发对安全至关重要的系统的关键问题之一就是要了解系统在出现故障时的行为方式，而不管该故障是由外部环境触发还是由内部错误引起的。在系统开发的早期阶段，安全评估涉及对潜在故障及其后果的分析。对于复杂的系统，基于模型的安全评估越来越广泛地被使用。在本文中，我们提出了一种基于系统接口模型的安全性分析方法。通过使用故障模式以及要控制的物理系统的相关部分扩展系统接口级别的交互模型，可以为大部分故障分析提供自动支持。我们专注于故障建模以及如何计算最小割集。特别是，我们探索状态空间重构策略和有界搜索技术以减少需要分析的状态数，从而显着提高了割集搜索算法的效率。

著录项

  • 来源
    《Mathematical Problems in Engineering》 |2016年第5期|8593612.1-8593612.11|共11页
  • 作者

    Zhao Lin; Thulasiraman Krishnaiyan; Ge Xiaocheng; Niu Ru;

  • 作者单位

    Beijing Jiaotong Univ, State Key Lab Rail Traff Control & Safety, Beijing 100044, Peoples R China;

    Univ Oklahoma, Sch Comp Sci, Norman, OK 73019 USA;

    Univ Huddersfield, Inst Railway Res, Huddersfield HD1 3DH, W Yorkshire, England;

    Beijing Jiaotong Univ, State Key Lab Rail Traff Control & Safety, Beijing 100044, Peoples R China;

  • 收录信息
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号