Skip to main content

Safety Case Construction and Reuse Using Patterns

  • Conference paper

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

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexander C. The Timeless Way of Building, Oxford University Press, New York, 1979

    Google Scholar 

  2. Alexander C. A Pattern Language, Oxford University Press, New York, 1977

    Google Scholar 

  3. Alexander C. The Oregon Experiment, Oxford University Press, New York, 1975

    Google Scholar 

  4. Beck K. Patterns and Software Development, Dr. Dobbs Journal 1993 19(2): 18–23

    Google 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–159

    Google Scholar 

  7. Milli H, Mili F, Mili A. Reusing software: issues and research directions, IEEE Transactions on Software Engineering 1995 21(6):528–562

    Article  Google Scholar 

  8. Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object–Oriented Software, Addison-Wesley, Reading MA, 1995

    Google 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, 1991

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics