www.elsevier.com/locate/entcs Model-Based Safety-Cases for Software-Intensive Systems
by
Peter Braun
,
Validas Ag
,
Bernhard Schätz
,
Stefan Wagner
,
Technische Universität München
BibTeX
@MISC{Braun_www.elsevier.com/locate/entcsmodel-based,
author = {Peter Braun and Validas Ag and Bernhard Schätz and Stefan Wagner and Technische Universität München},
title = {www.elsevier.com/locate/entcs Model-Based Safety-Cases for Software-Intensive Systems},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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: Safety case, model-based, structured argument, defect hypothesis, failure characterisation
Citations
| 110 | Functional documentation for computer systems - Parnas, Madey - 1995 |
| 107 | Software Requirements and Specifications - Jackson - 1995 |
| 40 | Safety verification of Ada programs using software fault trees - Leveson, Cha, et al. - 1991 |
| 36 | The Principled Design of Computer System Safety Analyses - Pumfrey - 1999 |
| 35 | The Goal Structuring Notation: A Safety Argument Notation - Kelly, Weaver - 2004 |
| 16 | ESACS: an integrated methodology for design and safety analysis of complex systems - Bozzano, Villafiorita, et al. - 2003 |
| 7 | a framework for integrated safety analysis of functional, geometrical and human aspects - Akerlund - 2006 |
| 6 | A proposal for model-based safety analysis - Joshi, Miller, et al. - 2005 |
| 3 | Compositional Hazard Analysis of UML Components and Deployment Models - Giese, Tichy, et al. |
