ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries

  • Pierre Chartier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2272)


The design of safety critical systems requires specific methods and tools to reach the safety level required. In the Railway Industry the B Method supported by the Atelier B have been used with success for several years now as shown by the emblematic METEOR metro system. In the Aircraft Industry the use of synchronous declarative languages like Lustre supported by the SCADE tool improves the quality of softwares and saves costs.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Pierre Chartier
    • 1
  1. 1.RATPVincennes Cedex

Personalised recommendations