Document - Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook

2018

Conference article Open Access

Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook

Basile D., Ter Beek M. H., Ciancia V.

Railways Statistical model checking Spatio-temporal analysis Uppaal SMC

We present an experience in modelling and statistical model checking a satellite-based moving block signalling scenario from the railway industry with Uppaal SMC. This demonstrates the usability and applicability of Uppaal SMC in the railway domain. We also propose a promising direction for future work, in which we envision spatio-temporal analysis with Uppaal SMC.

Source: ISoLA'18 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 372–391, Limassol, Cyprus, 5-9 November 2018

Publisher: Springer, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:394014,
	title = {Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook},
	author = {Basile D. and Ter Beek M. H. and Ciancia V.},
	publisher = {Springer, Berlin, DEU},
	doi = {10.1007/978-3-030-03421-4_24},
	booktitle = {ISoLA'18 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 372–391, Limassol, Cyprus, 5-9 November 2018},
	year = {2018}
}