Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00848485
Contributor : Anne Bergez Connect in order to contact the contributor
Submitted on : Friday, July 26, 2013 - 11:26:14 AM
Last modification on : Saturday, November 11, 2017 - 7:04:02 PM
Long-term archiving on: : Sunday, October 27, 2013 - 3:17:30 AM

File

2_-_20130013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00848485, version 1

Citation

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⟩

Share

Metrics

Record views

186

Files downloads

257