Rail JU logo in white
European Union flag

A body of the
European Union

FP2 – R2DATO - Project Outputs

Architectural Variants of ETCS-Based Trackside Systems in a Unified Ontology-Driven Validation Framework

Jun 10, 2026

Output type:

ISoLa & AISoLA 2026 International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation

This paper presents an ontology-driven modelling framework for modern ETCS-based railway systems, which are becoming increasingly distributed and complex. The approach introduces a train-centric, architecture-independent model that serves as a common basis for requirements, behaviour modelling, and validation. Different railway architectures (such as traditional, hybrid, and dynamic route concepts) are represented through constraint-based refinements rather than by changing the model structure itself. This enables the reuse of verification and testing artefacts across architectural variants and supports consistent comparison and analysis of alternative railway system designs.

Download output file

Europe's Rail