DIR 41 Case Study

Abstract

Some RATP units are responsible for evolution and maintenance of an automated interlocking specification document. In order to improve their paper and pencil process, RATP asked Systerel if Event-B could be useful to them. An eight month study was launched whose main goal was to help RATP improving their confidence in their interlocking specification, by applying an Event-B approach on rewriting their requirement document.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{MetayerC08,
  author       = {Christophe M{\'{e}}tayer and
                  Mathieu Clabaut},
  editor       = {Egon B{\"{o}}rger and
                  Michael J. Butler and
                  Jonathan P. Bowen and
                  Paul Boca},
  title        = {{DIR} 41 Case Study},
  booktitle    = {Abstract State Machines, {B} and Z, First International Conference,
                  {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5238},
  pages        = {357},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87603-8\_44},
  doi          = {10.1007/978-3-540-87603-8\_44},
  timestamp    = {Sat, 11 Dec 2021 11:58:25 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/MetayerC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}