Using B as a High Level Programming Language in an Industrial Project: Roissy VAL
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.
KeywordsAbstract Model Concrete Model Read Operation Block Logic Abstract Machine
Unable to display preview. Download preview PDF.
- [Abr96]Abrial, J.-R., Extending, B.: Without Changing it (for Developing Distributed Systems) (1996)Google Scholar
- [BBook96]Abrial, J.-R.: The B-Book: Assigning Programs to Meanings (1996)Google Scholar
- [Behm99]Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: Météor: A Successful Application of B in a Large Project (1999)Google Scholar
- [Burd99]Burdy, L., Meynadier, J.-M.: Automatic Refinement. In: BUGM at FM 1999 (1999)Google Scholar
- [Dol03]Dollé, D., Essamé, D., Falampin, J.: B dans le transport ferroviaire, l’expérience de Siemens. Technique et science informatiques 22 (2003)Google Scholar
- [MRefB02]Badeau, F.: B Language Reference Manual v1.8.5 (2002)Google Scholar