We were pleased to welcome over 250 participants to the Europe’s Rail Info Day, held online on 10...
Europe’s Rail Info Day 2025-2 Engages more than 250 Stakeholders in Rail Innovation
read more
TE19 Enabler 19
Modelling techniques – Modelling techniques to support the development, engineering and planning, verification and validation solutions, while incorporating formal methods to address the basic needs of rail stakeholders.
Project: FP2 - R2DATO (01/12/2022 - 31/05/2026)
Work Packages
Currently available work packages:
WP30 Automated authorisation by modelling techniques
Authorisation of products and of modifications of railway assets is still widely based on human judgement. It is a big risk and therefore a major cost driver in commercial projects. Modelling techniques and their continuous evolution have the potential to enable a rigid and robust verification of a product or asset against predefined functional requirements. Building upon 5 years of research and development in semiformal and Formal Methods in Shift2Rail, this work package will allow the use of modelling techniques incorporating formal methods to address the basic needs of rail stakeholders This work package is focused on modelling techniques for automated formalisation thus enabling also automated authorisation.
WP31 Automated Train Supervision and Control
This WP builds upon the objectives and principles of WP 30 and extends it further. This work package is focused on delivering and developing (a) a functional correct model for ATO Onboard and Remote Supervision & Control, and (b) formal modelling and specification of TCMS Data Service.
Public Deliverables
Currently available deliverables:
D30.1 Automated authorisation process and means for CCS field elements
D30.2 Exchangeability of EULYNX specification models and linking of MBSE approaches in RCA and EULYNX to a common consistent approach
D30.3 ERTMS L3 trackside with moving block formalisation (TRV)
D30.4 ERTMS L3 trackside with moving block formalisation
D31.1 ATO Onboard and Remote Supervision & Control strict formal model demonstrator
D31.2 Concept Document: TCMS formalisation
D31.3 Demonstrator: TCMS Formalisation
All deliverables, results and publications herewith provided reflects only the author's view and the EURAIL is not responsible for any use that may be made of the information it contains.