Document - Formal Methods for Distributed Computing in Future Railway Systems

2020

Conference article Open Access

Formal Methods for Distributed Computing in Future Railway Systems

Fantechi A, Gnesi S, Haxthausen Ae

Railroad transportation Distributed computer systems Distributed parameter control systems

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.

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:443146,
	title = {Formal Methods for Distributed Computing in Future Railway Systems},
	author = {Fantechi A and Gnesi S and Haxthausen Ae},
	doi = {10.1007/978-3-030-61467-6_24},
	year = {2020}
}