A study of railway ERTMS safety with Colored Petri Nets

  title={A study of railway ERTMS safety with Colored Petri Nets},
  author={Pavol Barger and Walter Sch{\"o}n and Mohamed Bouali},
European railway systems are in a constant technological progression combined with an international interoperability and standardization. This need gave birth to the European Rail Traffic Management System (ERTMS) with the goal to provide the basic framework to the interoperable rail signaling and train control. The analysis, verification and validation of such specifications are naturally crucial. These studies are done on models that are more or less formal. The presented work has chosen… CONTINUE READING
8 Citations
7 References
Similar Papers


Publications citing this paper.
Showing 1-8 of 8 extracted citations


Publications referenced by this paper.
Showing 1-7 of 7 references

Taking advantage of some complementary methods to meet critical system requirement specifications, Computers in Railways

  • F. Defossez, P. Bon, S. Collart-Dutilleul
  • XI, ISBN 978-1-84564-126-9,
  • 2008

Evaluation des règles d’exploitation pour l’interopérabilité et la sécurité dans les transports ferroviaires, Mosim’06, Rabat, Maroco

  • O. Lahlou, E. El-Koursi, Bon, Ph, P. Yim
  • 2006

Similar Papers

Loading similar papers…