arbiter
JournalsAccount

A Survey on Formal Methods for Railway Interlockings: From Relays to Satellite-Based Moving Block Signaling

Wan Fokkink

IEEE Transactions on Intelligent Transportation Systems2026https://doi.org/10.1109/tits.2026.3661866article
ABDC A
Weight
0.37

Abstract

An interlocking constitutes an arrangement of railway signaling equipment with the aim to guarantee the safe movement of trains. A wide range of formal methods have been applied in the analysis of interlockings, often in close collaboration with industry. Moreover, different formal frameworks and techniques have been developed that target the efficient analysis of interlockings and the integration of such mathematically rigorous methods into industrial design processes. This survey provides a comprehensive overview of this field, including a wide variety of case studies, ranging from relay-based interlocking systems to recent developments regarding satellite-based moving block technologies. It is also explained how computer-based interlockings for different railway yards can be developed in a uniform, object-oriented fashion, based on their track layouts. Furthermore, an overview is given of domain-specific languages for developing and analyzing interlockings using formal methods and tools in an industrial setting. The main aim is to fit the wide range of papers in this research area into coherent narratives, showing how the employment of formal methods to interlockings has progressed in the last decades. This survey concludes with discussing research gaps and important directions for future research.

1 citation

Open via your library →

Cite this paper

https://doi.org/https://doi.org/10.1109/tits.2026.3661866

Or copy a formatted citation

@article{wan2026,
  title        = {{A Survey on Formal Methods for Railway Interlockings: From Relays to Satellite-Based Moving Block Signaling}},
  author       = {Wan Fokkink},
  journal      = {IEEE Transactions on Intelligent Transportation Systems},
  year         = {2026},
  doi          = {https://doi.org/https://doi.org/10.1109/tits.2026.3661866},
}

Paste directly into BibTeX, Zotero, or your reference manager.

Flag this paper

A Survey on Formal Methods for Railway Interlockings: From Relays to Satellite-Based Moving Block Signaling

Flags are reviewed by the Arbiter methodology team within 5 business days.

Evidence weight

0.37

Balanced mode · F 0.40 / M 0.15 / V 0.05 / R 0.40

F · citation impact0.16 × 0.4 = 0.06
M · momentum0.53 × 0.15 = 0.08
V · venue signal0.50 × 0.05 = 0.03
R · text relevance †0.50 × 0.4 = 0.20

† Text relevance is estimated at 0.50 on the detail page — for your query’s actual relevance score, open this paper from a search result.