Abstract
This paper presents an approach to the reuse of common structures in safety case arguments through their documentation as ’Safety Case Patterns’. Problems with the existing, informal and ad-hoc approaches to safety case material reuse are highlighted. We argue that through explicit capture and documentation of reusable safety case elements as patterns, the process of safety case construction and reuse can be made more systematic. For the description of patterns a safety case pattern language and a graphical pattern notation (based on the Goal Structuring Notation) are presented. Using this framework we briefly describe a number of example argument patterns. A fully documented example pattern is included as an appendix to this paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexander C. The Timeless Way of Building, Oxford University Press, New York, 1979
Alexander C. A Pattern Language, Oxford University Press, New York, 1977
Alexander C. The Oregon Experiment, Oxford University Press, New York, 1975
Beck K. Patterns and Software Development, Dr. Dobbs Journal 1993 19(2): 18–23
Booch G. Patterns, Object Magazine 1993 3(2)
Coad P. Object-Oriented Patterns, Communications of the ACM 1993 35(9): 153–159
Milli H, Mili F, Mili A. Reusing software: issues and research directions, IEEE Transactions on Software Engineering 1995 21(6):528–562
Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object–Oriented Software, Addison-Wesley, Reading MA, 1995
Wilson S, Kirkham P, Cassano M. SAM 4 User Manual, University of York, 1997 (Available on request from authors)
Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs NJ, 1991
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Kelly, T.P., McDermid, J.A. (1997). Safety Case Construction and Reuse Using Patterns. In: Daniel, P. (eds) Safe Comp 97. Springer, London. https://doi.org/10.1007/978-1-4471-0997-6_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0997-6_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-76191-4
Online ISBN: 978-1-4471-0997-6
eBook Packages: Springer Book Archive