This repository contains models of the GNSS-based virtual balises for train localization, especially in the context ERTMS/ETCS Level 3 operation with Fixed Virtual Blocks. Our models have been created with the UPPAAL SMC tool - version 4.1.26 (http://www.uppaal.org/).
The models and analyses have been published in the IEEE Open Journal of Intelligent Transportation Systems (2023). Some preliminary results have been developed and first published in CTS 2021 (https://cts2021.univ-gustave-eiffel.fr). The current models improve (several issues fixed) and extend those preliminary versions by adding new modules. Descriptions of the various models are given as comments at the beginning of the declaration page of each module.
This work has been partly funded by the PERFORMINGRAIL Shift2Rail European project (https://www.performingrail.com)
If you want to use this code, this requires our agreement, thank you for contacting us.
References: https://doi.org/10.1016/j.ifacol.2021.06.049