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 A. E.

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.

Source: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, pp. 389–392, 20-30/10/2020

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 A. E.},
	doi = {10.1007/978-3-030-61467-6_24},
	booktitle = {9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, pp. 389–392, 20-30/10/2020},
	year = {2020}
}