Title of paper: Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC

Abstract

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.