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.
@inproceedings{oai:it.cnr:prodotti:474954, title = {Future train control systems: challenges for dependability assessment}, author = {Fantechi A and Gnesi S and Gori G}, doi = {10.1007/978-3-031-19762-8_21}, year = {2022} }