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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ASME. The American Society of Mechanical Engineers. Boiler and Pressure Vessel Code, Section III, Rules for the Construction of Nuclear Power Plant Components.
CISHEC. A Guide to Hazard and Operability Studies, The Chemical Industry Safety and Health Council of the Chemical Industries Association Ltd, 1977.
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.
Department of Defence. Procedures for Performing a failure mode, effects and criticality analysis, MIL-STD 1629A, 1980.
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).
HSE. Safety Assessment Principles for Nuclear Plants. Health and Safety Executive 1992. HMSO Publications. ISBN 0 11 882043 5. 1992.
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.
Joint Airworthiness Authority (JAA). JAR-25, Joint Airworthiness Requirements, Part 25. 1990
Kletz T. Hazop and Hazan: Identifying and Assessing Process Industry Hazards. 3rd Edition, Institution of Chemical Engineers. 1992.
McDermid J A. Support for safety cases and safety arguments using SAM, Reliability Engineering and System Safety, 43, 111–127. 1994.
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.
Ministry of Defence. The Procurement of Safety Critical Software in Defence Equipment. Interim Defence Standard 00–55. 1995.
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.
MISRA. The Motor Industry Software Reliability Association, MISRA Report 2: Integrity, February 1995.
NUREG. Fault Tree Handbook, W Veseley. Nuclear Regulatory Commission Washington D.C. 1981. NUREG 0942.
Nuseibeh B. A Multi-Perspective Framework for Method Integration, Ph.D. Thesis, Department of Computing, Imperial College, University of London, 1994.
Villemeur A. Reliability, Availability, Maintainability and Safety Assessment. Volumes I & II. J. Wiley and Sons. ISBN 0-471-93048-2. 1992.
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.
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).
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
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