Rail JU logo in white
European Union flag

A body of the
European Union

Deliverable

D30.4 – ERTMS L3 trackside with moving block formalisation

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...

Europe's Rail