Modular safety cases provide a means of organising large and/or complex safety cases into separate but interrelated component modules of argument and evidence. Safety case 'contracts' can be used to record the interdependencies that exist between safety case modules - e.g. to show how the claims of one module support the arguments of another. A number of techniques for structuring and describing modular safety cases using the goal structuring notation were defined by Kelly. The Industrial Avionics Working Group, (IAWG) has been using these techniques as part of a substantial industrial case study being funded by the UK Ministry of Defence. Based on this experience, and a number of issues encountered, modifications to the original approach have been defined. This paper presents some of these experiences of the IAWG in using 'modular' GSN - in particular, those relating to capturing and recording safety case contracts - and proposes an enhanced approach.
Safety case composition using contracts - refinements based on feedback from an industrial case study
Safety-Case-Gestaltung durch Kontrakte. Verbesserungen auf Basis des Feedback von einer industriellen Fallstudie
2007
14 Seiten, 10 Bilder, 1 Tabelle, 2 Quellen
Conference paper
English
Engineering Index Backfile | 1911
Automotive engineering | 1982
|Service contracts: a case study of unfulfilled promises
Taylor & Francis Verlag | 1989
|Performance based safety critical contracts
British Library Conference Proceedings | 1997
|Engineering Index Backfile | 1924