Skip to main content
SpringerLink
Log in

The formal specification of safety requirements for storing explosives

  • Published:
Formal Aspects of Computing

Abstract

In this paper we consider the current practices involved in the storage of explosive articles and substances. In the spirit of Defence standard 00-55, we formalize the safety requirements of the ACS software which is used to manage certain MOD holdings in the United Kingdom using the specification language VDM. We also prove some properties of these safety requirements and comment on a similar OBJ3 specification.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Andrews, D.: VDM Specification Language Proto-Standard. Draft Standard ISO/IEC JTC1/SC22/WG19, ISO, 1992. Document Reference IN9.

  2. Coleman, D., Gallimore, R.M. and Stavridou, V.: The Design of a Rewrite Rule Interpreter from Algebraic Specifications.Software Engineering Journal, 2(4):95–104, July 1987.

    Google Scholar 

  3. Dawes J.:The VDM-SL Reference Guide. Pitman, 1991.

  4. Froome, P.K.D.:Spec Box. Adelard Software, 1990.

  5. Goguen, J.A. and Meseguer, J.: Rapid Prototyping in the OBJ Executable Specification Language.Software Engineering Notes, 7(5):75–84, December 1982.

    Google Scholar 

  6. Goguen, J.A. and Winkler, T.: Introducing OBJ3. Technical Report SRI-CSL-88-9, SRI International, August 1988.

  7. Health and Safety Commission Advisory Committee on Dangerous Substances.Major hazard aspects of the transport of dangerous substances. HMSO, London, 1991.

    Google Scholar 

  8. MOD. The Procurement of Safety Critical Software In Defence Equipment. Interim Standard 00-55 Issue 1, Ministry of Defence, Directorate of Standardization, Kentigern House, 65 Brown Street, Glasgow G2 8EX, 1991.

  9. Morgan, C.C. and Sanders, J.W.: Laws of the logical calculi. Technical Monograph PRG-78, Oxford University Computing Laboratory, 11 Keble Road, Oxford, UK, September 1989.

    Google Scholar 

  10. Mukherjee, P. and Stavridou, V.: The Formal Specification of Safety Requirements for the Storage of Explosives. Technical report DITC 185/91, National Physical Laboratory, 1991.

  11. Committee of Experts on the Transport of Dangerous Goods.Recommendations on the Transport of Dangerous Goods. United Nations, New York, 5th revised edition, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Royal Holloway and Bedford New College, TW20 0EX, Egham, Surrey, UK

    Paul Mukherjee & Victoria Stavridou

Authors
  1. Paul Mukherjee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Victoria Stavridou
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mukherjee, P., Stavridou, V. The formal specification of safety requirements for storing explosives. Formal Aspects of Computing 5, 299–336 (1993). https://doi.org/10.1007/BF01212405

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01212405

Keywords

Search

Navigation