Safe Comp 97 pp 197-209 | Cite as

Computer Based Support for Standards and Processes in Safety Critical Systems

  • S. P. Wilson
  • J. A. McDermid
  • P. M. Kirkham
  • C. H. Pygott
  • D. J. Tombs
Conference paper

Abstract

This paper describes an approach and tool-set, the Safety Argument Manager (SAM), that can be used to support standards and processes in the area of Safety Critical Systems. We take an example standard (for military fuzing systems) and a mandated process for showing conformance to particular aspects of that standard, and demonstrate how SAM can support them. In particular SAM can help manage conformance to the standard and process, and provide detailed automated checks between the steps of the process. We argue that using such support gives increased assurance that a system has been built in a way that conforms to the planned process, and that the integrity of the system will be at the level required.

Keywords

Kelly Editing HAZOP 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    MoD. Defence Standard 00–55, Requirements for Safety Related Software in Defence Equipment, Parts 1 and 2. Version to supersede INTERIM Def Stan 00–55.Google Scholar
  2. 2.
    MoD. Defence Standard 00–56 Safety Management Requirements for Defence Systems. UK Ministry of Defence, April 1991.Google Scholar
  3. 3.
    IEC. IEC 1508 Functional Safety: Safety-Related Systems, IEC Sub-Committee 65A: System Aspects. International Electrotechnical Commission, June 1995.Google Scholar
  4. 4.
    JAA. JAR-25, Joint Airworthiness Requirements, Part 25. Joint Aviation Authority, 1990Google Scholar
  5. 5.
    HSE. Safety Assessment Principles for Nuclear Plants. Health and Safety Executive, HMSO, ISBN 0 11 882043 5, 1992.Google Scholar
  6. 6.
    Curtis B, Kellner MI. Over J, Process Modeling. Communications of the ACM, Vol. 35 No. 9, September 1992.Google Scholar
  7. 7.
    McDermid JA. Support for Safety Cases and Safety Arguments Using SAM. Reliability Engineering and System Safety, No 43: pi 11–127.1994.CrossRefGoogle Scholar
  8. 8.
    Wilson S P, Kelly T P, McDermid JA. Safety Case Development: Current Practice, Future Prospects. In: Shaw R (ed) Safety And Reliability of Software Based Systems. Twelfth Annual CSR Workshop, pp 135–156, Bruges 12th-15th September 1995.Springer Verlag.Google Scholar
  9. 9.
    Wilson S P, McDermid J A, Pygott C H, Tombs DJ. Assessing Complex Computer Based Systems using the Goal Structuring Notation. In: Proceedings of the 2nd International Conference on the Engineering of Complex Computer Systems, pp 498–505, Montreal, 21–25 October 1996.Google Scholar
  10. 10.
    Wilson S P, McDermid J A, Fenelon P., Kirkham P. The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems. In: Proceedings of the 1996 IEEE Symposium and Workshop on Engineering of Computer Based systems, pp 198-205, March 11–15 1996, Friedrichshafen, Germany.Google Scholar
  11. 11.
    Toulmin SE.The Uses of Argument. Cambridge University Press. 1958.Google Scholar
  12. 12.
    Bishop P G, Bloomfield RE.The SHIP Safety Case Approach: A Combination of System and Software Methods. In: Shaw R (ed) Safety And Reliability of Software Based Systems, Twelfth Annual CSR Workshop, pp 107–121, Bruges 12th-15th September 1995. Springer Verlag.Google Scholar
  13. 13.
    Wilson S P, McDermid JA.Integrated Analysis of Complex Safety Critical Systems, The Computer Journal, Vol. 38, No 10: 765–776, 1995.CrossRefGoogle Scholar
  14. 14.
    Nuseibeh B A.A Multi-Perspective Framework for Method Integration. PhD Thesis, Department of Computing, Imperial College, University of London, 1994.Google Scholar
  15. 15.
    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, 1994.Google Scholar
  16. 16.
    NATO. STANAG 4187 Fuzing Systems - Safety Design Requirements. Draft Edition 2.Google Scholar
  17. 17.
    Ordnance Board. Pillar Proceeding PI20(1) Integrated Design Analysis for Fuzing System Safety. March 1996.Google Scholar

Copyright information

© Springer-Verlag London Limited 1997

Authors and Affiliations

  • S. P. Wilson
    • 1
  • J. A. McDermid
    • 1
  • P. M. Kirkham
    • 1
  • C. H. Pygott
    • 2
  • D. J. Tombs
    • 2
  1. 1.Department of Computer ScienceUniversity of YorkYorkUK
  2. 2.Defence Evaluation and Research AgencyMalvernUK

Personalised recommendations