Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC

Abstract

Efficient and safe railway signalling systems, together with energy-saving infrastructures, are among the main pillars to guarantee sustainable transportation. ERTMS L3 moving block is one of the next generation railway signalling systems currently under trial deployment, with the promise of increased capacity on railway tracks, reduced costs and improved reliability. We report an experience in modelling a satellite-based ERTMS L3 moving block signalling system from the railway industry with Simulink and Uppaal and analysing the Uppaal model with Uppaal SMC. The lessons learned range from demonstrating the feasibility of applying Uppaal SMC in a moving block railway context, to the offered possibility of fine tuning communication parameters in satellite-based ERTMS L3 moving block railway signalling system models that are fundamental for the reliability of their operational behaviour.

Original document

The different versions of the original document can be found in:

• http://dx.doi.org/10.1007/978-3-030-27008-7_1 under the license http://www.springer.com/tdm

• http://openportal.isti.cnr.it/data/2019/406686/2019_%20406686.postprint.pdf

• http://link.springer.com/content/pdf/10.1007/978-3-030-27008-7_1,

http://dx.doi.org/10.1007/978-3-030-27008-7_1 under the license http://www.springer.com/tdm

• https://link.springer.com/chapter/10.1007/978-3-030-27008-7_1,

https://dblp.uni-trier.de/db/conf/fmics/fmics2019.html#BasileBFL19,

https://academic.microsoft.com/#/detail/2969411916