Document - Future train control systems: challenges for dependability assessment

2022

Conference article Restricted

Future train control systems: challenges for dependability assessment

Fantechi A., Gnesi S., Gori G.

Uncertainty Dependability assessment Train control systems

The prospected advent of advanced train control systems, such as moving block and virtual coupling, raises the issue of the effects that uncertainty on critical parameters (such as position or speed) can have on dependability. Several approaches to the evaluation of such effects have been proposed, typically based on a state-based formal modelling of the system behaviour. We present a survey of such proposals.

Source: ISoLA 2022 - 11th International Symposium on Leveraging Applications of Formal Methods, pp. 269–285, Rhodes, Greece, 22-30/10/2022

Publisher: Springer, Berlin , Germania

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:474954,
	title = {Future train control systems: challenges for dependability assessment},
	author = {Fantechi A. and Gnesi S. and Gori G.},
	publisher = {Springer, Berlin , Germania},
	doi = {10.1007/978-3-031-19762-8_21},
	booktitle = {ISoLA 2022 - 11th International Symposium on Leveraging Applications of Formal Methods, pp. 269–285, Rhodes, Greece, 22-30/10/2022},
	year = {2022}
}