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

Provision of a business case outline document based on lessons learned and best-practices research in Europe

Summary of development methodologies

Specification of the analysis tools to apply common methods for interpreting results

Report on the results from the assessment of ETCS HL3 deployment following the developments from previous tasks.

Architecture and interfaces of the Integration Laboratories, tool capabilities, format of test script.

Analysis of ATO benefits over a selection of KPIs comparing runs conducted in manual and automatic driving.

Analysis of performed integration activities including functional requirement specifications, interfaces, test plan and test report.

Autonomous movement of tramways in depot demonstrator

Results of the autonomous movement of tramways in depot demonstrator

Report on the intermediate system baseline for R2DATO technologies.

As a result of Task 48.4, this deliverable will provide the documentation and analysis of the tests done in Lab and relevant environment. The requirements and assumptions coming from D48.1, D48.2 and D48.3 are reviewed and a conclusion will be drawn, whether the use cases can be realized by using the tested technology