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.
(c) British Crown Copyright 1997/DERA. Published with the permission of the controller of Her Britannic Majesty’s Stationary Office
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
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.
MoD. Defence Standard 00–56 Safety Management Requirements for Defence Systems. UK Ministry of Defence, April 1991.
IEC. IEC 1508 Functional Safety: Safety-Related Systems, IEC Sub-Committee 65A: System Aspects. International Electrotechnical Commission, June 1995.
JAA. JAR-25, Joint Airworthiness Requirements, Part 25. Joint Aviation Authority, 1990
HSE. Safety Assessment Principles for Nuclear Plants. Health and Safety Executive, HMSO, ISBN 0 11 882043 5, 1992.
Curtis B, Kellner MI. Over J, Process Modeling. Communications of the ACM, Vol. 35 No. 9, September 1992.
McDermid JA. Support for Safety Cases and Safety Arguments Using SAM. Reliability Engineering and System Safety, No 43: pi 11–127.1994.
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.
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.
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.
Toulmin SE.The Uses of Argument. Cambridge University Press. 1958.
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.
Wilson S P, McDermid JA.Integrated Analysis of Complex Safety Critical Systems, The Computer Journal, Vol. 38, No 10: 765–776, 1995.
Nuseibeh B A.A Multi-Perspective Framework for Method Integration. PhD Thesis, Department of Computing, Imperial College, University of London, 1994.
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.
NATO. STANAG 4187 Fuzing Systems - Safety Design Requirements. Draft Edition 2.
Ordnance Board. Pillar Proceeding PI20(1) Integrated Design Analysis for Fuzing System Safety. March 1996.
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., McDermid, J.A., Kirkham, P.M., Pygott, C.H., Tombs, D.J. (1997). Computer Based Support for Standards and Processes in Safety Critical Systems. In: Daniel, P. (eds) Safe Comp 97. Springer, London. https://doi.org/10.1007/978-1-4471-0997-6_16
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0997-6_16
Publisher Name: Springer, London
Print ISBN: 978-3-540-76191-4
Online ISBN: 978-1-4471-0997-6
eBook Packages: Springer Book Archive