Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining

Francesco Vitale, Tommaso Zoppi, Francesco Flammini, Nicola Mazzocca
9/12/2025
cs.LG

No confident code implementation found for this paper. 4 possible matches can be shown below.

Abstract

Ensuring the resilience of computer-based railways is increasingly crucial to account for uncertainties and changes due to the growing complexity and criticality of those systems. Although their software relies on strict verification and validation processes following well-established best-practices and certification standards, anomalies can still occur at run-time due to residual faults, system and environmental modifications that were unknown at design-time, or other emergent cyber-threat scenarios. This paper explores run-time control-flow anomaly detection using process mining to enhance the resilience of ERTMS/ETCS L2 (European Rail Traffic Management System / European Train Control System Level 2). Process mining allows learning the actual control flow of the system from its execution traces, thus enabling run-time monitoring through online conformance checking. In addition, anomaly localization is performed through unsupervised machine learning to link relevant deviations to critical system components. We test our approach on a reference ERTMS/ETCS L2 scenario, namely the RBC/RBC Handover, to show its capability to detect and localize anomalies with high accuracy, efficiency, and explainability.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 4 weaker matches are hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Cite this paper

@article{vitale2025runtime,
  title  = {Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining},
  author = {Francesco Vitale and Tommaso Zoppi and Francesco Flammini and Nicola Mazzocca},
  year   = {2025},
  eprint = {2509.10419},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2509.10419v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2509.10419.svg)](https://codeofpaper.com/paper/2509.10419)

Discussion