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

Software Engineering 2018-06-14 v1

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

View on arXiv ↗ PDF ↗ DOI ↗

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

computer security information modeling software engineering

Cite

@article{arxiv.1806.04880,
  title  = {Model-Based Safety-Cases for Software-Intensive Systems},
  author = {Peter Braun and Jan Philipps and Bernhard Schätz and Stefan Wagner},
  journal= {arXiv preprint arXiv:1806.04880},
  year   = {2018}
}

Comments

7 pages, 2 figures

Related papers

View all related →