Document - The Uppaal SMC models developed for the ASTRail project and experiments, published at Isola2018 and FMICS2019

2019

Software Open Access

The Uppaal SMC models developed for the ASTRail project and experiments, published at Isola2018 and FMICS2019

Basile D

ERTMS UPPAAL Railway Formal model ASTRail

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 and FMICS2019.

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:456754,
	title = {The Uppaal SMC models developed for the ASTRail project and experiments, published at Isola2018 and FMICS2019},
	author = {Basile D},
	year = {2019}
}