Skip to main content
SpringerLink
Log in
Book cover

International Conference of B and Z Users

ZB 2005: ZB 2005: Formal Specification and Development in Z and B pp 334–354Cite as

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3455))

Abstract

In this article we would like to go back on B used to design software, by presenting the industrial process established through years by Siemens Transportation Systems on a real project: the VAL shuttle for Roissy Charles de Gaulle airport. In this project, the logical core of an equipment located along the tracks and driving the shuttles is designed with B.

By confronting this B software development, with the historical context, we show that B can be used as a high-level programming language offering the feature of proving properties. We show how this process is used to build, by construction, a large size software with very few design errors ever since its first release, and for a predefined cost.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.-R., Extending, B.: Without Changing it (for Developing Distributed Systems) (1996)

    Google Scholar 

  2. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings (1996)

    Google Scholar 

  3. Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: Météor: A Successful Application of B in a Large Project (1999)

    Google Scholar 

  4. Burdy, L., Meynadier, J.-M.: Automatic Refinement. In: BUGM at FM 1999 (1999)

    Google Scholar 

  5. Dollé, D., Essamé, D., Falampin, J.: B dans le transport ferroviaire, l’expérience de Siemens. Technique et science informatiques 22 (2003)

    Google Scholar 

  6. Badeau, F.: B Language Reference Manual v1.8.5 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ClearSy, Europarc de Pichaury bat. C1, 13856, Aix-en-Provence, France

    Frédéric Badeau

  2. Siemens Transportation Systems, 48-56 rue Barbès, 92120, Montrouge, France

    Arnaud Amelot

Authors
  1. Frédéric Badeau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arnaud Amelot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, University of Surrey,  

    Helen Treharne  & Steve Schneider  & 

  2. Department of Computer Science, University of York, P.O. Box, YO10 5DD, Heslington, York, UK

    Steve King

  3. Department of Computer Science, University of Essex, P.O. Box, UK

    Martin Henson

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Badeau, F., Amelot, A. (2005). Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds) ZB 2005: Formal Specification and Development in Z and B. ZB 2005. Lecture Notes in Computer Science, vol 3455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11415787_20

Download citation

  • DOI: https://doi.org/10.1007/11415787_20

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-32007-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation