The growingly wide deployment of ERTMS-ETCS systems on high speed lines as well as on freight corridors is already a witness to the possible achievement of high safety standards by means of distributed control algorithms, that span over geographical areas and are able to safely control large physical systems.
Formal Methods for Distributed Computing in Future Railway Systems
Fantechi A;Gnesi S;
2020
Abstract
The growingly wide deployment of ERTMS-ETCS systems on high speed lines as well as on freight corridors is already a witness to the possible achievement of high safety standards by means of distributed control algorithms, that span over geographical areas and are able to safely control large physical systems.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_443146-doc_159165.pdf
non disponibili
Descrizione: Formal Methods for Distributed Computing in Future Railway Systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
146.48 kB
Formato
Adobe PDF
|
146.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_443146-doc_159192.pdf
accesso aperto
Descrizione: Formal Methods for Distributed Computing in Future Railway Systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
111.8 kB
Formato
Adobe PDF
|
111.8 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
