@inbook{53f09bd9bda14ae5bc838cf4d50387ce,
title = "Safety Monitoring for Future Train Control Systems",
abstract = "In this paper, we present and discuss the advantages of cloudbased safety monitoring for railway control systems, using digital twin technology. It is explained why additional safety supervision techniques will become necessary in the near future, to counter increasingly threatening security attacks and to cope with the complexity of ETCS Level 3 systems or even fully automated driverless systems according to GoA 4 and beyond. The presentation is informal but structured: we show how existing technologies and theoretical results can be used today to prepare for the safety-related challenges of tomorrow{\textquoteright}s railway control systems.",
keywords = "Railway control systems, Runtime verification, Digital twins, ETCS Level 3",
author = "Jan Peleska and Haxthausen, \{Anne E.\}",
year = "2026",
language = "English",
volume = "16470",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
booktitle = "Journeys Between Formal Methods and the Railway Industry",
}