Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
This paper introduces a framework to ensure the semantic integrity of Control-Command and Signaling (CCS) design data, essential for reliable and efficient planning processes. Traditional XML Schema checks address syntax but fail to capture the complex logic required for CCS systems. To overcome this, we apply the Schematron standard to formally validate complex railway signaling rules.
Our approach is to translate natural language constraints into semi-formal semantic rules that are implemented and tested. We extend Schematron with technology- and domain-specific features, such as data indexing and advanced error reporting. These innovations enable scalability for large datasets while producing clear, actionable reports for signaling engineers, safety assessors, and infrastructure managers.
Applied to DB InfraGO’s PlanPro data format, our framework automates processes that improve data quality, reduce human error, and accelerate CCS planning. By supporting formal workflows, it strengthens safety assurance and regulatory compliance, addressing key challenges in the railway domain. Its integration into the “Werkzeugkoffer” toolkit demonstrates its practical value in tackling the complexities of modern railway control systems.
Our approach is to translate natural language constraints into semi-formal semantic rules that are implemented and tested. We extend Schematron with technology- and domain-specific features, such as data indexing and advanced error reporting. These innovations enable scalability for large datasets while producing clear, actionable reports for signaling engineers, safety assessors, and infrastructure managers.
Applied to DB InfraGO’s PlanPro data format, our framework automates processes that improve data quality, reduce human error, and accelerate CCS planning. By supporting formal workflows, it strengthens safety assurance and regulatory compliance, addressing key challenges in the railway domain. Its integration into the “Werkzeugkoffer” toolkit demonstrates its practical value in tackling the complexities of modern railway control systems.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Reliability, Safety, and Security of Railway Systems |
| Redakteure/-innen | Maurice H. ter Beek, Simon Collart-Dutilleul , Thierry Lecomte |
| Erscheinungsort | Cham |
| Herausgeber (Verlag) | Springer Science and Business Media B.V. |
| Seiten | 213-230 |
| Seitenumfang | 18 |
| Band | 16236 |
| ISBN (elektronisch) | 978-3-032-10762-6 |
| ISBN (Print) | 978-3-032-10761-9 |
| Publikationsstatus | Veröffentlicht - 16 Nov. 2025 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Band | 16236 NCS |
| ISSN | 0302-9743 |
Konferenz
| Titel | 6th International Conference on Reliability, Safety, and Security of Railway Systems |
|---|---|
| Untertitel | Modelling, Analysis, Verification, and Certification |
| Kurztitel | RSSRail 2025 |
| Veranstaltungsnummer | 6 |
| Dauer | 26 - 28 November 2025 |
| Webseite | |
| Ort | Scuola Normale Superiore |
| Stadt | Pisa |
| Land | Italien |
Externe IDs
| ORCID | /0000-0001-7662-132X/work/197317655 |
|---|---|
| unpaywall | 10.1007/978-3-032-10762-6_17 |