This repository contains various models of the ERTMS ETCS L3 Moving Block specification (https://en.wikipedia.org/wiki/European_Train_Control_System#Level_3), with increasing level of details, that stem from the ASTRail project (http://www.astrail.eu/) and the Deliverable 5.1 of X2Rail1 project (https://projects.shift2rail.org/X2RAIL-1), created with Uppaal SMC version 4.1.19 and 4.1.24 (http://www.uppaal.org/). The models and analyses have been published in Isola2018, FMICS2019 and STTT2021.
References:
https://link.springer.com/article/10.1007/s10009-022-00653-3 (STTT2021)
https://link.springer.com/chapter/10.1007%2F978-3-030-27008-7_1 (FMICS2019)
https://link.springer.com/chapter/10.1007%2F978-3-030-03421-4_24 (ISOLA2018)