Model-Based Safety-Cases for Software-Intensive Systems (2008)
Cached
Download Links
by
Peter Braun
,
Jan Philipps
,
Bernhard Schätz
,
Stefan Wagner
| Venue: | SAFECERT 2008 |
BibTeX
@MISC{Braun08model-basedsafety-cases,
author = {Peter Braun and Jan Philipps and Bernhard Schätz and Stefan Wagner},
title = { Model-Based Safety-Cases for Software-Intensive Systems},
year = {2008}
}
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.
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. |
