Abstract
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 in (Kelly 2001). 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.
representing the Industrial Avionics Working Group
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
8 References
Kelly, TP (2001). Concepts and Principles of Compositional Safety Cases-(COMSA/2001/1/1)-Research Report commissioned by QinetiQ
Hofmeister, C., Nord, R., Soni, D (1999). Applied Software Architecture, Addison-Wesley
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this paper
Cite this paper
Fenn, J., Hawkins, R., Williams, P., Kelly, T. (2007). Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. In: Redmill, F., Anderson, T. (eds) The Safety of Systems. Springer, London. https://doi.org/10.1007/978-1-84628-806-7_9
Download citation
DOI: https://doi.org/10.1007/978-1-84628-806-7_9
Publisher Name: Springer, London
Print ISBN: 978-1-84628-805-0
Online ISBN: 978-1-84628-806-7
eBook Packages: Computer ScienceComputer Science (R0)