Abstract
We give a formal specification of the safety analysis elements of the Revised Defence Standard 00–56, which describes procedures for the development of safety-critical systems. The specification is written in the Z notation, and, as it is an unusual application of formal methods, we reflect on the positive aspects of the experience as well as the main difficulties.
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.
Similar content being viewed by others
References
S.M. Brien & J.E. Nicholls. Z Base Standard. Oxford University Computing Laboratory, Technical Monograph PRG-107. November 1992.
P.H.B. Gardiner. “Defence Standard 00–56: Development and Support Project. Formal Specification of Procedural Elements.” Formal Systems (Europe) Ltd, 3 Alfred Street, Oxford OX1 4EH, UK. FSEL/SRC/RDSPRC/1 version 4. 1. May 1993.
B. Potter, J. Sinclair, & D. Till. An Introduction to Formal Specification Using Z. Prentice Hall International. 1990.
J.M. Spivey. The Z Notation: A Reference Manual. 2nd Ed. Prentice Hall International. 1993.
J.M. Spivey. The fuzz Manual. 2nd Ed. Computer Science Consultancy. 1993.
Safety and Reliability Consultants Ltd (SRC), 89 High Street, Alton, Hampshire GU34 1LG, UK Revised Def Stan 00–56. SRC/SD/7102/4/TM/4. DraftB/19. 1. 93.
Safety and Reliability Consultants Ltd (SRC), 89 High Street, Alton, Hampshire GU34 1LG, UK Safety Analysis Elements — Revised Def Stan 00–56. SRC/SD/7102/4/TN/3. DraftA/18. 12. 92.
J. Woodcock & M. Loomes. Software Engineering Mathematics. Pitman. 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Formal Systems (Europe) Ltd
About this paper
Cite this paper
Woodcock, J.C.P., Gardiner, P.H.B., Hulance, J.R. (1994). The Formal Specification in Z of Defence Standard 00–56. In: Bowen, J.P., Hall, J.A. (eds) Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3452-7_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3452-7_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19884-0
Online ISBN: 978-1-4471-3452-7
eBook Packages: Springer Book Archive