Safety Case Construction and Reuse Using Patterns
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.
KeywordsEurope Expense Kelly Mili
Unable to display preview. Download preview PDF.
- 1.Alexander C. The Timeless Way of Building, Oxford University Press, New York, 1979Google Scholar
- 2.Alexander C. A Pattern Language, Oxford University Press, New York, 1977Google Scholar
- 3.Alexander C. The Oregon Experiment, Oxford University Press, New York, 1975Google Scholar
- 4.Beck K. Patterns and Software Development, Dr. Dobbs Journal 1993 19(2): 18–23Google Scholar
- 5.Booch G. Patterns, Object Magazine 1993 3(2)Google Scholar
- 6.Coad P. Object-Oriented Patterns, Communications of the ACM 1993 35(9): 153–159Google Scholar
- 8.Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object–Oriented Software, Addison-Wesley, Reading MA, 1995Google Scholar
- 9.Wilson S, Kirkham P, Cassano M. SAM 4 User Manual, University of York, 1997 (Available on request from authors)Google Scholar
- 10.Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs NJ, 1991Google Scholar