Skip to main content
SpringerLink
Log in

Formal methods in the railways signalling industry

  • Invited Lectures
  • 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

Software is becoming increasingly involved in safety-critical systems. Such systems are ideal fields of application of formal methods. A rigorous development accompanied by formal proofs is a guarantee of the correctness of the development. We summarize our experience of using the B formal method in the development of safety-critical railway signalling applications. Our applications range in size from 2000 lines to 22000 lines. They are specified, refined and implemented in B. Issues (technical and non technical) related to the utilization of B are discussed and solutions presented.

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. Abrial, J., R.,The B Book, book to appear.

    Google Scholar 

  2. Bicarregui, J., Ritchie, B., Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations, In the proceedings of Formal Methods Europe '93, LNCS 670, Springer-Verlag.

    Google Scholar 

  3. Craigen, D., Gerhart, S., Ralston, T., An International Survey of Industrial Applications of Formal Methods, Vol 1, can be provided by writing to authors or e-mailing to survey@ora.on.ca, also as a paper version in, Observations on Industrial Practice using Formal Methods, in the proceedings of ACM-IEEE 15th International Conference on Software Engineering, Baltimore, May 1993

    Google Scholar 

  4. Houston, I., King, S., CICS Project Report: Experiences and Results from the Use of Z in IBM, in Proceedings of VDM'91, LNCS 551, Springer-Verlag, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GEC-ALSTHOM-Transport, 33, Rue des Bateliers, F-93404, Saint-Ouen, France

    Babak Dehbonei & Fernando Mejia

Authors
  1. Babak Dehbonei
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fernando Mejia
    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

Dehbonei, B., Mejia, F. (1994). Formal methods in the railways signalling industry. 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_84

Download citation

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

  • 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