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. © 2011 Springer-Verlag London Limited.
CITATION STYLE
Hawkins, R., Kelly, T., Knight, J., & Graydon, P. (2011). A new approach to creating clear safety arguments. In Advances in Systems Safety - Proceedings of the 19th Safety-Critical Systems Symposium, SSS 2011 (pp. 3–23). Kluwer Academic Publishers. https://doi.org/10.1007/978-0-85729-133-2_1
Mendeley helps you to discover research relevant for your work.