The prospected advent of advanced train control systems, such as moving block and virtual coupling, raises the issue of the effects that uncertainty on critical parameters (such as position or speed) can have on dependability. Several approaches to the evaluation of such effects have been proposed, typically based on a state-based formal modelling of the system behaviour. We present a survey of such proposals.
Future train control systems: challenges for dependability assessment
Gnesi S;
2022-01-01
Abstract
The prospected advent of advanced train control systems, such as moving block and virtual coupling, raises the issue of the effects that uncertainty on critical parameters (such as position or speed) can have on dependability. Several approaches to the evaluation of such effects have been proposed, typically based on a state-based formal modelling of the system behaviour. We present a survey of such proposals.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_474954-doc_193952.pdf
solo utenti autorizzati
Descrizione: Future train control systems: challenges for dependability assessment
Tipologia:
Versione Editoriale (PDF)
Dimensione
252.66 kB
Formato
Adobe PDF
|
252.66 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
