Formal Methods for Distributed Computing in Future Railway Systems

Conference Paper
Publication Date:
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Distributed computer systems; Distributed parameter control systems; Railroad transportation
List of contributors:
Handle:
https://iris.cnr.it/handle/20.500.14243/420772
Full Text:
Book title:
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