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
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC / Basile, Davide; ter Beek, Maurice H.; Ciancia, Vincenzo. - ELETTRONICO. - (2018), pp. 372-391. (Intervento presentato al convegno ISOLA 2018) [10.1007/978-3-030-03421-4_24].
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
Basile, Davide
;
2018
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
| File | Dimensione | Formato | |
|---|---|---|---|
|
isola18.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
873.54 kB
Formato
Adobe PDF
|
873.54 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
