Advertisement

A New Approach to creating Clear Safety Arguments

  • Richard Hawkins
  • Tim Kelly
  • John Knight
  • Patrick Graydon
Conference paper

Abstract

We introduce assured safety arguments, a new structure for arguing safety in which the safety argument is accompanied by a confidence argument that documents the confidence in the structure and bases of the safety argument. This structure separates the major components that have traditionally been confused within a single safety argument structure. Separation gives both arguments greater clarity of purpose, and helps avoid the introduction of superfluous arguments and evidence. In this paper we describe a systematic approach to establishing both arguments, illustrated with a running example.

Keywords

Insulin Pump Argument Structure Argument Strategy Safety Case Sufficient Confidence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

Acknowledgments

The authors would like to acknowledge the financial support of the Royal Academy of Engineering (through the Distinguished Visiting Fellowship Scheme) for the work reported in this paper.

References

  1. Habli I, Kelly T (2007) Achieving integrated process and product safety arguments. Proceedings of 15th Safety Critical Systems Symposium.Google Scholar
  2. Haddon-Cave C (2009) The Nimrod review. The Stationary Office. LondonGoogle Scholar
  3. HSE (2001) Reducing risks, protecting people. Health and Safety Executive. HSE BooksGoogle Scholar
  4. Kelly T (1998) Arguing safety - a systematic approach to managing safety cases. PhD Thesis. Department of Computer Science, The University of York.Google Scholar
  5. Kelly T, Weaver R (2004) The goal structuring notation - a safety argument notation. Proceedings of the Dependable Systems and Networks Workshop on Assurance CasesGoogle Scholar
  6. MoD (2007) Defence Standard 00-56 Issue 4: safety management requirements for defence systems. HMSOGoogle Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  • Richard Hawkins
    • 1
  • Tim Kelly
    • 1
  • John Knight
    • 2
  • Patrick Graydon
    • 2
  1. 1.University of YorkYorkUK
  2. 2.University of VirginiaCharlottesvilleUSA

Personalised recommendations