Model-Based Safety-Cases for Software-Intensive Systems

Peter Braun; Jan Philipps; Bernhard Schätz; Stefan Wagner

doi:10.1016/j.entcs.2009.09.007

Model-Based Safety-Cases for Software-Intensive Systems

Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner

Informatik Heilbronn 3 - Lehrstuhl für Software Engineering

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

6 Zitate (Scopus)

Abstract

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.

Originalsprache	Englisch
Seiten (von - bis)	71-77
Seitenumfang	7
Fachzeitschrift	Electronic Notes in Theoretical Computer Science
Jahrgang	238
Ausgabenummer	4
DOIs	https://doi.org/10.1016/j.entcs.2009.09.007
Publikationsstatus	Veröffentlicht - 28 Sept. 2009

Zugriff auf Dokument

10.1016/j.entcs.2009.09.007

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@article{2e45023c31b5426d92c936fa0e2e37de,

title = "Model-Based Safety-Cases for Software-Intensive Systems",

abstract = "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.",

keywords = "defect hypothesis, failure characterisation, model-based, Safety case, structured argument",

author = "Peter Braun and Jan Philipps and Bernhard Sch{\"a}tz and Stefan Wagner",

year = "2009",

month = sep,

day = "28",

doi = "10.1016/j.entcs.2009.09.007",

language = "English",

volume = "238",

pages = "71--77",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "4",

}

TY - JOUR

T1 - Model-Based Safety-Cases for Software-Intensive Systems

AU - Braun, Peter

AU - Philipps, Jan

AU - Schätz, Bernhard

AU - Wagner, Stefan

PY - 2009/9/28

Y1 - 2009/9/28

N2 - 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.

AB - 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.

KW - defect hypothesis

KW - failure characterisation

KW - model-based

KW - Safety case

KW - structured argument

UR - http://www.scopus.com/inward/record.url?scp=70349127684&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.09.007

DO - 10.1016/j.entcs.2009.09.007

M3 - Article

AN - SCOPUS:70349127684

SN - 1571-0661

VL - 238

SP - 71

EP - 77

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 4

ER -

Model-Based Safety-Cases for Software-Intensive Systems

Abstract

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren