A New Approach to creating Clear Safety Arguments
作者： Richard Hawkins , Tim Kelly , John Knight , Patrick Graydon
DOI: 10.1007/978-0-85729-133-2_1
关键词: Safety case 、 Argument 、 Epistemology 、 CLARITY 、 Structure (category theory) 、 Algorithm 、 Mathematics
摘要: We introduce assured safety arguments, a new structure for arguing in which the argument is accompanied by confidence that documents and bases of argument. This separates major components have traditionally been confused within single structure. Separation gives both arguments greater clarity purpose, helps avoid introduction superfluous evidence. In this paper we describe systematic approach to establishing illustrated with running example.
springer.com
york.ac.uk
harvard.edu
sci-hub.st 参考文章(4)
Tim Kelly, Rob Weaver, The Goal Structuring Notation – A Safety Argument Notation ,(2004)
Ibrahim Habli, Tim Kelly, Achieving Integrated Process and Product Safety Arguments tsos. pp. 55- 68 ,(2007) , 10.1007/978-1-84628-806-7_4
Timothy Patrick Kelly, Arguing Safety - A Systematic Approach to Managing Safety Cases ,(1998)
James Inge, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems Standards in Defence News. pp. 6- 7 ,(2007)