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.
2020
Springer Science and Business Media Deutschland GmbH
Tiziana Margaria, Bernhard Steffen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Fantechi A.; Gnesi S.; Haxthausen A.E.
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1221162
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact