Météor: A Successful Application of B in a Large Project

  • Patrick Behm
  • Paul Benoit
  • Alain Faivre
  • Jean-Marc Meynadier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1708)

Abstract

The automatic train operating system for METEOR, the first driverless metro in the city of Paris, is designed to manage the traffic of the vehicles controlled automatically or manually. This system, developed by Matra Transport International for the RATP, requires a very high level of dependability and safety for the users and the operator. To achieve this, the safety critical software located in the different control units (ground, line and on-board) was developed using the B formal method together with the Vital Coded Processor. This architecture thus ensures an optimum level of safety agreed with the customer. This experience with the METEOR project has convinced Matra Transport International of the advantages of using this B formal method for large-scale industrial developments.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Patrick Behm
    • 1
  • Paul Benoit
    • 1
  • Alain Faivre
    • 1
  • Jean-Marc Meynadier
    • 1
  1. 1.Matra Transport InternationalMontrougeFrance

Personalised recommendations