Principled Construction of Software Safety Cases

Richard Hawkins (1) , Ibrahim Habli (1) , Tim Kelly (1)

1 Department of Computer Science

A small, manageable number of common software safety assurance principles can be observed from software assurance standards and industry best practice. We briefly describe these assurance principles and explain how they can be used as the basis for creating software safety arguments.

Mots clés: Safety; Embedded systems; Software safety; assurance; safety cases; certification

Domaines: Systèmes embarqués

Richard Hawkins, Ibrahim Habli, Tim Kelly. Principled Construction of Software Safety Cases. SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848485⟩