Abstract
This paper presents a safety case approach to the justification of safety-related systems. It combines methods used for handling software design faults with approaches used for hazardous plant. The general structure of the safety argument is presented together with the underlying models for system failure that can be used as the basis for quantified reliability estimates. The approach is illustrated using plant and computer based examples.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P.G. Bishop, G. Bruns, S.O. Anderson, “Stepwise Development and Verification of a Boiler System Specification.”, Int’l Workshop on the Design and Review of Software Controlled Safety-related Systems, National Research Council, Ottawa, Canada, June 1993
G. Gentzen, The Collected Papers of Gerhardt Gentzen, North Holland, 1969
Hirsch Study Group, “An assessment of the integrity of PWR Pressure Vessels”, Addendum to the Second Report of the Hirsch Study Group, HL/087, 1987
C.A.R. Hoare, “An Axiomatic Basis for Computer Programming”, Communications of the ACM, Vol. 12, No. 10, 1969
C.B. Jones, Systematic Software Development using VDM, Prentice-Hall International, London, UK, Second edition, 1990
L. Lamport. “The temporal logic of actions”, Technical Report 79, Digital Systems Research Center, 1991
J.A. McDermid, “Support for safety cases and safety argument using SAM”, Reliability Engineering and Safety Systems, Vol. 43, No. 2, 111–127, 1994
“The Procurement of Safety Critical Software in Defence Equipment”, Ministry of Defence, Interim Defence Standard, IDS 00–55, 5 April 1991
Quantification of Reliability in Computer Based Systems, UK Health and Safety Executive Nuclear Safety Programme, Scottish Nuclear Contract: 70B/0000/006384
W.E. Vesely et al., Fault Tree Handbook, NUREG 0942, US Nuclear Regulatory Commission, Washington DC 20555, 1981
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London
About this paper
Cite this paper
Bishop, P.G., Bloomfield, R.E. (1995). The SHIP Safety Case Approach. In: Rabe, G. (eds) Safe Comp 95. Springer, London. https://doi.org/10.1007/978-1-4471-3054-3_30
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3054-3_30
Publisher Name: Springer, London
Print ISBN: 978-3-540-19962-5
Online ISBN: 978-1-4471-3054-3
eBook Packages: Springer Book Archive