Component-Based Abstraction in Fault Tree Analysis

被引:0
|
作者
Domis, Dominik [1 ]
Trapp, Mario [1 ]
机构
[1] Fraunhofer Inst Expt Software Engn, D-67663 Kaiserslautern, Germany
关键词
MODULES;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
To handle the complexity of safety-critical embedded systems, it is not appropriate to develop functionality and consider safety in separate tasks, or to consider software only as a black box in safety analyses. Rather, safety aspects have to be integrated as tightly as possible into the system and software development process and its models. But existing safety analyses and models do not fit well with software development tasks such as architectural design and do not take advantage of their strengths. To solve this problem, this paper extends fault tree analysis by hierarchical component-based abstraction, enabling fault tree analysis to be integrated into a component-oriented model-based design approach and to handle the complexity of software architectural design.
引用
收藏
页码:297 / 310
页数:14
相关论文
共 50 条
  • [1] Component-based abstraction and refinement
    Li, Juncao
    Sun, Xiuli
    Xie, Fei
    Song, Xiaoyu
    [J]. HIGH CONFIDENCE SOFTWARE REUSE IN LARGE SYSTEMS, PROCEEDINGS, 2008, 5030 : 39 - +
  • [2] Component-based modeling of systems for automated fault tree generation
    Majdara, Aref
    Wakabayashi, Toshio
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (06) : 1076 - 1086
  • [3] Compositional Abstraction Refinement for Component-Based Systems
    Zhang, Lianyi
    Meng, Qingdi
    Lo, Kueiming
    [J]. JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [4] Causality analysis and fault ascription in component-based systems
    Gassler, Gregor
    Stefani, Jean-Bernard
    [J]. THEORETICAL COMPUTER SCIENCE, 2020, 837 : 158 - 180
  • [5] Component-based Abstraction Refinement for Timed Controller Synthesis
    Peter, Hans-Joerg
    Mattmueller, Robert
    [J]. 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2009, : 364 - +
  • [6] A Theory of Fault Recovery for Component-Based Models
    Bonakdarpour, Borzoo
    Bozga, Marius
    Goessler, Gregor
    [J]. 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), 2011, : 265 - 270
  • [7] On Timing Analysis of Component-based Vehicular Distributed Embedded Systems at Various Abstraction Levels
    Mubeen, Saad
    Nolte, Thomas
    [J]. 2016 13TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2016, : 277 - 278
  • [8] Counterexample-guided Abstraction Refinement for Component-based Systems
    Zhang, Lianyi
    Meng, Qingdi
    Luo, Guiming
    [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 201 - 210
  • [9] Decision Tree Toolkit: A Component-Based Library of Decision Tree Algorithms
    Drossos, Nikos
    Papagelis, Athanasios
    Kalles, Dimitris
    [J]. LECTURE NOTES IN COMPUTER SCIENCE <D>, 2000, 1910 : 381 - 387
  • [10] Self-adjusting component-based fault management
    Su, Rong
    Chaudron, Michel R. V.
    [J]. 32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 118 - +