Safe Comp 95 pp 437-451 | Cite as

The SHIP Safety Case Approach

  • P. G. Bishop
  • R. E. Bloomfield


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.


Argument Structure Fault Tree Design Fault Inference Mechanism Probabilistic Argument 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bishop93]
    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 1993Google Scholar
  2. [Gentzen69]
    G. Gentzen, The Collected Papers of Gerhardt Gentzen, North Holland, 1969Google Scholar
  3. [Hirsch87]
    Hirsch Study Group, “An assessment of the integrity of PWR Pressure Vessels”, Addendum to the Second Report of the Hirsch Study Group, HL/087, 1987Google Scholar
  4. [Hoare69]
    C.A.R. Hoare, “An Axiomatic Basis for Computer Programming”, Communications of the ACM, Vol. 12, No. 10, 1969Google Scholar
  5. [Jones90]
    C.B. Jones, Systematic Software Development using VDM, Prentice-Hall International, London, UK, Second edition, 1990MATHGoogle Scholar
  6. [Lamport91]
    L. Lamport. “The temporal logic of actions”, Technical Report 79, Digital Systems Research Center, 1991Google Scholar
  7. [McDermid94]
    J.A. McDermid, “Support for safety cases and safety argument using SAM”, Reliability Engineering and Safety Systems, Vol. 43, No. 2, 111–127, 1994CrossRefGoogle Scholar
  8. [MOD91]
    “The Procurement of Safety Critical Software in Defence Equipment”, Ministry of Defence, Interim Defence Standard, IDS 00–55, 5 April 1991Google Scholar
  9. [QUARC]
    Quantification of Reliability in Computer Based Systems, UK Health and Safety Executive Nuclear Safety Programme, Scottish Nuclear Contract: 70B/0000/006384Google Scholar
  10. [Vesely81]
    W.E. Vesely et al., Fault Tree Handbook, NUREG 0942, US Nuclear Regulatory Commission, Washington DC 20555, 1981Google Scholar

Copyright information

© Springer-Verlag London 1995

Authors and Affiliations

  • P. G. Bishop
    • 1
  • R. E. Bloomfield
    • 1
  1. 1.AdelardLondonEngland

Personalised recommendations