Principled Construction of Software Safety Cases - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Principled Construction of Software Safety Cases

Abstract

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.
Fichier principal
Vignette du fichier
2_-_20130013.pdf (190.1 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00848485 , version 1 (26-07-2013)

Identifiers

  • HAL Id : hal-00848485 , version 1

Cite

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⟩
206 View
275 Download

Share

Gmail Facebook Twitter LinkedIn More