Safety Case Construction and Reuse Using Patterns

  • T. P. Kelly
  • J. A. McDermid

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.

Keywords

Europe Expense Kelly Mili 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alexander C. The Timeless Way of Building, Oxford University Press, New York, 1979Google Scholar
  2. 2.
    Alexander C. A Pattern Language, Oxford University Press, New York, 1977Google Scholar
  3. 3.
    Alexander C. The Oregon Experiment, Oxford University Press, New York, 1975Google Scholar
  4. 4.
    Beck K. Patterns and Software Development, Dr. Dobbs Journal 1993 19(2): 18–23Google Scholar
  5. 5.
    Booch G. Patterns, Object Magazine 1993 3(2)Google Scholar
  6. 6.
    Coad P. Object-Oriented Patterns, Communications of the ACM 1993 35(9): 153–159Google Scholar
  7. 7.
    Milli H, Mili F, Mili A. Reusing software: issues and research directions, IEEE Transactions on Software Engineering 1995 21(6):528–562CrossRefGoogle Scholar
  8. 8.
    Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object–Oriented Software, Addison-Wesley, Reading MA, 1995Google Scholar
  9. 9.
    Wilson S, Kirkham P, Cassano M. SAM 4 User Manual, University of York, 1997 (Available on request from authors)Google Scholar
  10. 10.
    Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs NJ, 1991Google Scholar

Copyright information

© Springer-Verlag London Limited 1997

Authors and Affiliations

  • T. P. Kelly
    • 1
  • J. A. McDermid
    • 1
  1. 1.Rolls-Royce Systems and Software Engineering University Technology Centre Department of Computer ScienceUniversity of YorkYorkUK

Personalised recommendations