Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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
| Original language | English |
|---|---|
| Title of host publication | Reliability, Safety, and Security of Railway Systems |
| Editors | Maurice H. ter Beek, Simon Collart-Dutilleul , Thierry Lecomte |
| Place of Publication | Cham |
| Publisher | Springer Science and Business Media B.V. |
| Pages | 213-230 |
| Number of pages | 18 |
| Volume | 16236 |
| ISBN (electronic) | 978-3-032-10762-6 |
| ISBN (print) | 978-3-032-10761-9 |
| Publication status | Published - 16 Nov 2025 |
| Peer-reviewed | Yes |
Publication series
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 16236 NCS |
| ISSN | 0302-9743 |
Conference
| Title | 6th International Conference on Reliability, Safety, and Security of Railway Systems |
|---|---|
| Subtitle | Modelling, Analysis, Verification, and Certification |
| Abbreviated title | RSSRail 2025 |
| Conference number | 6 |
| Duration | 26 - 28 November 2025 |
| Website | |
| Location | Scuola Normale Superiore |
| City | Pisa |
| Country | Italy |
External IDs
| ORCID | /0000-0001-7662-132X/work/197317655 |
|---|---|
| unpaywall | 10.1007/978-3-032-10762-6_17 |