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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

  • Susanne Wunsch - , Professur für Verkehrsprozessautomatisierung (Autor:in)
  • Birgit Jaekel - , Deutsches Zentrum für Schienenverkehrsforschung (DZSF) (Autor:in)
  • Martin Lehnert - , Technische Hochschule Wildau (Autor:in)
  • Christoph Klaus - , DB InfraGO AG (Autor:in)
  • Jan Gruteser - , Heinrich Heine Universität Düsseldorf (Autor:in)
  • Michael Leuschel - , Heinrich Heine Universität Düsseldorf (Autor:in)

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

OriginalspracheEnglisch
TitelReliability, Safety, and Security of Railway Systems
Redakteure/-innenMaurice H. ter Beek, Simon Collart-Dutilleul , Thierry Lecomte
ErscheinungsortCham
Herausgeber (Verlag)Springer Science and Business Media B.V.
Seiten213-230
Seitenumfang18
Band16236
ISBN (elektronisch)978-3-032-10762-6
ISBN (Print)978-3-032-10761-9
PublikationsstatusVeröffentlicht - 16 Nov. 2025
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science
Band16236 NCS
ISSN0302-9743

Konferenz

Titel6th International Conference on Reliability, Safety, and Security of Railway Systems
UntertitelModelling, Analysis, Verification, and Certification
KurztitelRSSRail 2025
Veranstaltungsnummer6
Dauer26 - 28 November 2025
Webseite
OrtScuola Normale Superiore
StadtPisa
LandItalien

Externe IDs

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

Schlagworte

ASJC Scopus Sachgebiete