A New Approach to creating Clear Safety Arguments
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.
KeywordsInsulin Pump Argument Structure Argument Strategy Safety Case Sufficient Confidence
Unable to display preview. Download preview PDF.
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.
- Habli I, Kelly T (2007) Achieving integrated process and product safety arguments. Proceedings of 15th Safety Critical Systems Symposium.Google Scholar
- Haddon-Cave C (2009) The Nimrod review. The Stationary Office. LondonGoogle Scholar
- HSE (2001) Reducing risks, protecting people. Health and Safety Executive. HSE BooksGoogle Scholar
- Kelly T (1998) Arguing safety - a systematic approach to managing safety cases. PhD Thesis. Department of Computer Science, The University of York.Google Scholar
- 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
- MoD (2007) Defence Standard 00-56 Issue 4: safety management requirements for defence systems. HMSOGoogle Scholar