Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

  • Susanne Wunsch - , Chair of Traffic Process Automation (Author)
  • Birgit Jaekel - , German Centre for Rail Traffic Research (DZSF) (Author)
  • Martin Lehnert - , Technical University of Applied Sciences Wildau (Author)
  • Christoph Klaus - , DB InfraGO AG (Author)
  • Jan Gruteser - , Heinrich Heine University Düsseldorf (Author)
  • Michael Leuschel - , Heinrich Heine University Düsseldorf (Author)

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.

Details

Original languageEnglish
Title of host publicationReliability, Safety, and Security of Railway Systems
EditorsMaurice H. ter Beek, Simon Collart-Dutilleul , Thierry Lecomte
Place of PublicationCham
PublisherSpringer Science and Business Media B.V.
Pages213-230
Number of pages18
Volume16236
ISBN (electronic)978-3-032-10762-6
ISBN (print)978-3-032-10761-9
Publication statusPublished - 16 Nov 2025
Peer-reviewedYes

Publication series

SeriesLecture Notes in Computer Science
Volume16236 NCS
ISSN0302-9743

Conference

Title6th International Conference on Reliability, Safety, and Security of Railway Systems
SubtitleModelling, Analysis, Verification, and Certification
Abbreviated titleRSSRail 2025
Conference number6
Duration26 - 28 November 2025
Website
LocationScuola Normale Superiore
CityPisa
CountryItaly

External IDs

ORCID /0000-0001-7662-132X/work/197317655
unpaywall 10.1007/978-3-032-10762-6_17

Keywords

ASJC Scopus subject areas