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. Experience and Outlook
Basile D;ter Beek MH;Ciancia V
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 in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_394014-doc_136392.pdf
solo utenti autorizzati
Descrizione: Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.2 MB
Formato
Adobe PDF
|
1.2 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_394014-doc_136393.pdf
accesso aperto
Descrizione: Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
822.58 kB
Formato
Adobe PDF
|
822.58 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
