Formal Methods for Distributed Computing in Future Railway Systems

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Distributed computer systems; Distributed parameter control systems; Railroad transportation
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/420772
Link al Full Text:
Titolo del libro:
Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III