Model-Based Safety-Cases for Software-Intensive Systems

TL;DR

This paper discusses the development of model-based safety cases for software-intensive systems, emphasizing the importance of models in safety certification and identifying open research challenges.

Contribution

It proposes an ideal framework for model-based safety cases incorporating defect hypotheses and failure characterizations, highlighting future research directions.

Findings

Models are crucial for building safety cases in software certification.

An ideal model-based safety case includes defect hypotheses and failure characterizations.

Open research issues in model-based safety cases are identified.

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.