首页> 外文期刊>Science of Computer Programming >Employing early model-based safety evaluation to iteratively derive E/E architecture design
【24h】

Employing early model-based safety evaluation to iteratively derive E/E architecture design

机译:采用基于模型的早期安全评估来迭代得出E / E体系结构设计

获取原文
获取原文并翻译 | 示例

摘要

ISO 26262 addresses development of safe in-vehicle functions by specifying methods potentially used in the design and development lifecycle. It does not indicate what is sufficient and leaves room for interpretation. Yet the architects of electric/electronic systems need design boundaries to make decisions during architecture evolutionary design without adding a risk of late changes. Correct selection of safety mechanisms from alternatives at early design stages is vital for time-to-market of critical systems. In this paper we present and discuss an iterative architecture design and refinement process that is centered around ISO 26262 requirements and model-based analysis of safety-related metrics. This process simplifies identification of the most sensitive parts of the architecture, selection of the best suitable safety mechanisms to reduce thereby failure rate on the system level and improve the metrics defined by the standard. To support the defined process we present the metamodels that can be integrated with existing DSL (domain-specific language) frameworks to extend them with information supporting further extraction of fault propagation behavior. We provide a framework for architecture model analysis and selection of safety mechanisms. We provide details on the model-based toolset that has been developed to support the proposed analysis and synthesis methods, and demonstrate its application to analysis of a steer-by-wire system model and selection of safety mechanisms for it.
机译:ISO 26262通过指定在设计和开发生命周期中可能使用的方法来解决安全车载功能的开发。它没有指出什么是足够的,并留下了解释的空间。然而,电气/电子系统的建筑师需要设计边界来在体系结构演化设计期间做出决策,而又不增加后期更改的风险。在早期设计阶段,从替代品中正确选择安全机制对于关键系统的上市时间至关重要。在本文中,我们介绍并讨论了围绕ISO 26262要求和基于模型的安全性相关指标分析为中心的迭代体系结构设计和优化过程。此过程简化了体系结构最敏感部分的识别,最合适的安全机制的选择,从而降低了系统级别的故障率并改善了标准定义的指标。为了支持定义的过程,我们介绍了可以与现有DSL(特定领域语言)框架集成的元模型,以使用支持进一步提取故障传播行为的信息来扩展它们。我们提供了架构模型分析和安全机制选择的框架。我们提供了有关基于模型的工具集的详细信息,该工具集已开发出来以支持所提出的分析和综合方法,并展示了其在线控转向系统模型分析和安全机制选择中的应用。

著录项

  • 来源
    《Science of Computer Programming》 |2014年第ptab期|161-179|共19页
  • 作者单位

    Institut fuer Informatik, Technische Universitaet Muenchen, Boltzmannstr. 3, 85748 Garching bei Muenchen, Germany;

    Fortiss GmbH, Guerickestr. 25, 80805 Muenchen, Germany;

    Corporate Technology, Siemens AG, Otto-Hahn-Ring 6, 81739 Muenchen, Germany;

    Corporate Technology, Siemens AG, Otto-Hahn-Ring 6, 81739 Muenchen, Germany;

    Institut fuer Informatik, Technische Universitaet Muenchen, Boltzmannstr. 3, 85748 Garching bei Muenchen, Germany;

    Corporate Technology, Siemens AG, Otto-Hahn-Ring 6, 81739 Muenchen, Germany;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Automotive systems; Embedded systems; Model-driven engineering; Quantitative safety analysis; ISO 26262;

    机译:汽车系统;嵌入式系统;模型驱动工程;定量安全分析;ISO 26262;

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号