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.
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
Gentzen, G.,The Collected Papers of Gerhardt Gentzen, North Holland, 1969
Hoare, C.A.R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, Vol. 12, No. 10, 1969
Jones, C.B., Systematic Software Development using VDM, Prentice-Hall International, London, UK, Second edition, 1990
Vesely, W.E., et al., Fault Tree Handbook, NUREG 0942, US Nuclear Regulatory Commission, Washington DC 20555, 1981
McDermid, J.A., “Support for safety cases and safety argument using SAM”, Reliability Engineering and Safety Systems, Vol. 43, No. 2, 111–127, 1994
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
Bishop, P.G., Bruns, G., Anderson, S.O., “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
Lamport. L., “The temporal logic of actions”, Technical Report 79, Digital Systems Research Center, 1991
QUARC, “Quantification of Reliability in Computer Based Systems”, UK Health and Safety Executive Nuclear Safety Programme, Scottish Nuclear Contract: 70B/0000/006384
Defstan 00–55, “The Procurement of Safety Critical Software in Defence Equipment”, Ministry of Defence, Interim Defence Standard, IDS 00–55, 5 April 1991
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
Bishop, P.G., Bloomfield, R.E. (1997). The SHIP Safety Case Approach: A Combination of System and Software Methods. In: Shaw, R. (eds) Safety and Reliability of Software Based Systems. Springer, London. https://doi.org/10.1007/978-1-4471-0921-1_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0921-1_4
Publisher Name: Springer, London
Print ISBN: 978-3-540-76034-4
Online ISBN: 978-1-4471-0921-1
eBook Packages: Springer Book Archive