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.; Haxthausen A.E.. - STAMPA. - (2020), pp. 389-392. [10.1007/978-3-030-61467-6_24]
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:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.