Model-Based Safety-Cases for Software-Intensive Systems

被引：5
|
作者：
Braun, Peter [1 ]
Philipps, Jan [1 ]
Schaetz, Bernhard [2 ]
Wagner, Stefan [2 ]
机构：
[1] Validas AG, Munich, Germany
[2] Tech Univ Munich, Inst Informat, Munich, Germany
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2009年 / 238卷 / 04期
关键词：
Safety case; model-based; structured argument; defect hypothesis; failure characterisation;
D O I：
10.1016/j.entcs.2009.09.007
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived.
引用
收藏
页码：71 / 77
页数：7
相关论文
共 50 条
  • [1] Safety cases for software-intensive systems
    Ainsworth, M
    Eastaughffe, K
    Simpson, A
    [J]. ASPECTS OF SAFETY MANAGEMENT, 2001, : 1 - 9
  • [2] UML for Software Safety and Certification Model-Based Development of Safety-Critical Software-Intensive Systems
    Huhn, Michaela
    Hungar, Hardi
    [J]. MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 201 - +
  • [3] Model-Based Engineering & Simulation of Software-Intensive Systems-of-Systems
    Graciano Neto, Valdemar Vicente
    Manzano, Wallace
    Kassab, Mohammad
    Nakagawa, Elisa Yumi
    [J]. ECSA 2018: PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE: COMPANION PROCEEDINGS, 2018,
  • [4] Model-based Architecture of Software-intensive Intelligent Automotive Systems
    Sobti, Rajeev
    Kaur, Parampreet
    [J]. 2018 4TH INTERNATIONAL CONFERENCE ON COMPUTING SCIENCES (ICCS), 2018, : 132 - 136
  • [5] Model-based architecture robustness analysis for software-intensive autonomous systems
    Krach, Sebastian Dieter
    [J]. 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 104 - 107
  • [6] Model-based lifecycle management of software-intensive systems, applications, and services
    France, Robert
    Rumpe, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2013, 12 (03): : 439 - 440
  • [7] Model-based lifecycle management of software-intensive systems, applications, and services
    Robert France
    Bernhard Rumpe
    [J]. Software & Systems Modeling, 2013, 12 : 439 - 440
  • [8] A Model-Based Approach Towards the Building of Trustworthy Software-Intensive Systems-of-Systems
    Graciano Neto, Valdemar Vicente
    [J]. PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 425 - 428
  • [9] The AutoMoDe-Project Model-based Development of software-intensive Systems in Automobiles
    Bauer, Andreas
    Broy, Manfred
    Romberg, Jan
    Schaetz, Bernhard
    Braun, Peter
    Freund, Ulrich
    Mata, Nuria
    Sandner, Robert
    Mai, Pierre
    Ziegenbein, Dirk
    [J]. COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2007, 22 (01): : 45 - 57
  • [10] Safety Assessment of Complex, Software-Intensive Systems
    Leveson, Nancy G.
    Fleming, Cody Harrison
    Spencer, Melissa
    Thomas, John
    Wilkinson, Chris
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2012, 5 (01): : 233 - 244
12345