Relating Risk and Confidence - A Structured Approach to Constructing Assurance Cases
Datum: 25.11.2013, 17 Uhr
Ort: Fraunhofer-Zentrum, Kaiserslautern
Vortrag von Prof. Tim Kelly, University of York
This talk introduces assured safety arguments, a new approach to 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 talk we describe a systematic approach to establishing both arguments, illustrated with a running example. Finally, the talk will describe how this approach to con structuring assurance cases can relate to the argumentation model contained within the OMG Structured Assurance Case Metamodel (SACM) standard.
Tim Kelly is Professor of High Integrity Systems within the Department of Computer Science at the University of York. He is best known for his work on system and software safety case development, particularly his work on refining and extending the Goal Structuring Notation (GSN). His research interests include safety case management, software safety analysis and justification, software architecture safety, and the dependability of “Systems of Systems”. He has supervised a number of research projects in these areas with funding and support from Airbus, BAE SYSTEMS, Data Systems and Solutions, DTI, EPSRC, ERA Technology, Ministry of Defence, QinetiQ, Rolls-Royce, and the European Commission. He has published over 150 papers on high integrity systems development and justification in international journals and conferences.