Skip to main content
SpringerLink
Log in

Formalising British rail's signalling rules

  • Conference paper
  • First Online:
FME '94: Industrial Benefit of Formal Methods (FME 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 873))

Included in the following conference series:

Abstract

This industrial usage report describes certain aspects of the formal specification of British Rail's signalling rules which was constructed as part of a Requirements Specification for the procurement of signalling systems. Topics covered in this industrial report include the specification of the railway network topology, the definition of a ‘safe’ abstract railway system and the specification of a general signalling system which is intended to be a refinement of the abstract railway system. The signalling rules appear as preconditions of the signalling system operations.

Praxis is the Software Engineering Company of Touche Ross Management Consultants.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Spivey, J.M.: The Z Notation — A Reference Manual (Second Edition), Prentice-Hall International, London (1992)

    Google Scholar 

  2. Roscoe, A.W.: A CSP Solution to the “Trains” Problem. LNCS 207 (1983) 384–388

    Google Scholar 

  3. Guiho G., Hennebert C.: SACEM Software Validation. Proc 12th Int Conf on Software Engineering, IEEE Computer Society Press (1990) 186–191

    Google Scholar 

  4. Cullyer, J., Wong, W.: Application of Formal Methods to Railway Signalling — A Case Study. Computing and Control Engineering Journal (Feb 1993) 15

    Google Scholar 

  5. Morley, M.J.: Modelling British Rail's Interlocking Logic — Geographic Data Correctness. ECS-LFCS-91-186, University of Edinburgh (Nov 1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Praxis plc, 20 Manvers Street, BA1 1PX, Bath, UK

    Trevor King

Authors
  1. Trevor King
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Naftalin Tim Denvir Miquel Bertran

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

King, T. (1994). Formalising British rail's signalling rules. In: Naftalin, M., Denvir, T., Bertran, M. (eds) FME '94: Industrial Benefit of Formal Methods. FME 1994. Lecture Notes in Computer Science, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58555-9_86

Download citation

  • DOI: https://doi.org/10.1007/3-540-58555-9_86

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58555-8

  • Online ISBN: 978-3-540-49031-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation