Rail JU logo in white
European Union flag

A body of the
European Union

FP2 – R2DATO - Project Outputs

D30.4 – ERTMS L3 trackside with moving block formalisation

Aug 5, 2026

Output type:

This deliverable will provide a reference model of L3 trackside with moving block, as a digital twin (execution in lab) enabling both system and safety engineers to execute and analyse a common system model. This will demonstrate the applicability of formal methods for automated authorisation applied to ERTMS L3.

Europe's Rail