Recognition: unknown
Model-Based Safety-Cases for Software-Intensive Systems
classification
💻 cs.SE
keywords
safetycasemodel-basedbecomebuildingcasescertificationcharacterisations
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.