Safety Case Development: Current Practice, Future Prospects

  • Conference paper
Safety and Reliability of Software Based Systems

Abstract

Safety-critical and safety-related systems are becoming more highly integrated and continue to increase in complexity. In parallel with this, certification standards for such systems are becoming more stringent, requiring more extensive and more detailed analyses. Safety cases, therefore, are themselves growing in size and complexity and are becoming increasingly costly to produce. It has become necessary to re-examine how and why safety cases are built in order that we might provide a means for managing their inherent complexity and reduce production costs.

In this paper, we examine some of the key issues in current industrial safety case development, in particular:

  • The Purpose of the Safety Case — examining how stakeholders place demands upon the content and style of the safety case;

  • Safety Analysis Techniques — examining the problem of ensuring consistency and completeness of results;

  • Safety Case Production — examining how and when safety cases are produced through the development life-cycle;

  • Safety Case Structure — examining how the reasoning and evidence aspects of the safety case are combined;

  • Safety Case Maintenance — examining the need and support for safety cases that can be more readily maintained and reused.

We propose to address these issues through the use of a goal based notation for more effective structuring, a data model to tightly integrate the safety analysis techniques, and a process model to integrate the safety case activities into the overall development process. We demonstrate our approach using an integrated example from the automotive industry.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 85.59
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 106.99
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. ASME. The American Society of Mechanical Engineers. Boiler and Pressure Vessel Code, Section III, Rules for the Construction of Nuclear Power Plant Components.

    Google Scholar 

  2. CISHEC. A Guide to Hazard and Operability Studies, The Chemical Industry Safety and Health Council of the Chemical Industries Association Ltd, 1977.

    Google Scholar 

  3. Collins R, Dent J N. A Practical Case Study of the Management of Reliability, Safety and other Concurrent Engineering Information. In proceedings of the Safety And Reliability Conference, Altrincham, 1994. pp 8/1–8/20.

    Google Scholar 

  4. Department of Defence. Procedures for Performing a failure mode, effects and criticality analysis, MIL-STD 1629A, 1980.

    Google Scholar 

  5. Fenelon P, Kelly T P, McDermid J A (1995). Safety Cases for Software Application Reuse. In the proceedings of SAFECOMP ‘95. Italy Oct 11–13th 1995 (to appear).

    Google Scholar 

  6. HSE. Safety Assessment Principles for Nuclear Plants. Health and Safety Executive 1992. HMSO Publications. ISBN 0 11 882043 5. 1992.

    Google Scholar 

  7. IEC. Technical Committee No.65: Industrial Process Measurement and Control, Sub-committee No. 65A: System Aspects. Draft International Electrotechnical Commission Standard (IEC) 1508 - Functional Safety: safety-related systems. 1995.

    Google Scholar 

  8. Joint Airworthiness Authority (JAA). JAR-25, Joint Airworthiness Requirements, Part 25. 1990

    Google Scholar 

  9. Kletz T. Hazop and Hazan: Identifying and Assessing Process Industry Hazards. 3rd Edition, Institution of Chemical Engineers. 1992.

    Google Scholar 

  10. McDermid J A. Support for safety cases and safety arguments using SAM, Reliability Engineering and System Safety, 43, 111–127. 1994.

    Article  Google Scholar 

  11. McDermid J A, Pumfrey D J. A Development of Hazard Analysis to aid Software Design, COMPASS ’94, Proceedings of the Ninth Annual Conference on Computer Assurance, June 94, 17–25.

    Google Scholar 

  12. Ministry of Defence. The Procurement of Safety Critical Software in Defence Equipment. Interim Defence Standard 00–55. 1995.

    Google Scholar 

  13. Ministry of Defence. Hazard Analysis and Safety Classification of the Computer and Programmable Electronic System Elements of Defence Equipment. Interim Defence Standard 00–56. 1995.

    Google Scholar 

  14. MISRA. The Motor Industry Software Reliability Association, MISRA Report 2: Integrity, February 1995.

    Google Scholar 

  15. NUREG. Fault Tree Handbook, W Veseley. Nuclear Regulatory Commission Washington D.C. 1981. NUREG 0942.

    Google Scholar 

  16. Nuseibeh B. A Multi-Perspective Framework for Method Integration, Ph.D. Thesis, Department of Computing, Imperial College, University of London, 1994.

    Google Scholar 

  17. Villemeur A. Reliability, Availability, Maintainability and Safety Assessment. Volumes I & II. J. Wiley and Sons. ISBN 0-471-93048-2. 1992.

    Google Scholar 

  18. Wilson S, McDermid J, Fenelon P, Kirkham P. No More Spineless Safety Cases: A Structured Method and Comprehensive Tool Support for the Production of Safety Cases. Institution of Nuclear Engineers Conference ‘95 2nd International Conference on Control and Instrumentation in Nuclear Installations, 19th-21st April 1995.

    Google Scholar 

  19. Wilson S P, J A McDermid. Integrated Analysis of Complex Safety Critical Systems. Computer Journal, Special Issue on Engineering Complex Systems 1995 (to appear late 1995).

    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

Wilson, S.P., Kelly, T.P., McDermid, J.A. (1997). Safety Case Development: Current Practice, Future Prospects. In: Shaw, R. (eds) Safety and Reliability of Software Based Systems. Springer, London. https://doi.org/10.1007/978-1-4471-0921-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0921-1_6

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76034-4

  • Online ISBN: 978-1-4471-0921-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Navigation