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 条

[21] Practitioners' best practices to Adopt, Use or Abandon Model-based Testing with Graphical models for Software-intensive Systems
Alegroth, Emil
Karl, Kristian
Rosshagen, Helena
Helmfridsson, Tomas
Olsson, Nils
[J]. EMPIRICAL SOFTWARE ENGINEERING, 2022, 27 (05)
[22] Practitioners’ best practices to Adopt, Use or Abandon Model-based Testing with Graphical models for Software-intensive Systems
Emil Alégroth
Kristian Karl
Helena Rosshagen
Tomas Helmfridsson
Nils Olsson
[J]. Empirical Software Engineering, 2022, 27
[23] Evolutionary Architecting of Software-Intensive Systems
Axelsson, Jakob
[J]. ERCIM NEWS, 2012, (88): : 24 - 25
[24] A Validation Metrics Framework for Safety-Critical Software-Intensive Systems
Cruickshank, Kristian J.
Michael, James Bret
Shing, Man-Tak
[J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 109 - +
[25] Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems
Stringfellow, Margaret V.
Leveson, Nancy G.
Owens, Brandon D.
[J]. PROCEEDINGS OF THE IEEE, 2010, 98 (04) : 515 - 525
[26] Towards a Conceptual Model for Software-Intensive System-of-Systems
Goncalves, Marcelo Benites
Cavalcante, Everton
Batista, Thais
Oquendo, Flavio
Nakagawa, Elisa Yumi
[J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2014, : 1605 - 1610
[27] Systems engineering for software-intensive projects
Hecht, H
[J]. ASSET'99: 1999 IEEE SYMPOSIUM ON APPLICATION-SPECIFIC SYSTEMS AND SOFTWARE ENGINEERING & TECHNOLOGY - PROCEEDINGS, 1999, : 58 - 61
[28] Spiral development of software-intensive systems of systems
Boehm, B
Brown, W
Turner, R
[J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 706 - 707
[29] Testing the Untestable Model Testing of Complex Software-Intensive Systems
Briand, Lionel
Nejati, Shiva
Sabetzadeh, Mehrdad
Bianculli, Domenico
[J]. 2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C), 2016, : 789 - 792
[30] Decision-based behavior modeling of software-intensive systems
Kirby, James, Jr.
[J]. 17TH ANNUAL CONFERENCE ON SYSTEMS ENGINEERING RESEARCH (CSER), 2019, 153 : 193 - 201

← 1 2 3 4 5 →