A study of railway ERTMS safety with Colored Petri Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

A study of railway ERTMS safety with Colored Petri Nets


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 Colored Petri Nets (CPN) for the system modeling and analysis. CPN allow not only the modeling of the overall system structure but also its possible evolution in time. It is in this context, that they are applied in this paper to express both: 1. the ERTMS operational procedures as well as 2. the on-board and trackside component communication. The main goal of this work is to test the feasibility of the construction of the complete specification model using a unique modeling approach and to prepare the model for a further in-depth analysis for safety and/or performance proprieties.
Fichier principal
Vignette du fichier
esrel_camread_v26.pdf (94.33 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-00447528 , version 1 (15-01-2010)


  • HAL Id : hal-00447528 , version 1


Pavol Barger, Walter Schön, Mohamed Bouali. A study of railway ERTMS safety with Colored Petri Nets. The European Safety and Reliability Conference (ESREL'09), Sep 2009, Prague, Czech Republic. pp.1303--1309. ⟨hal-00447528⟩
790 View
1251 Download


Gmail Mastodon Facebook X LinkedIn More