Topic:
S2R-OC-IP2-01-2020
Total Project Value:
€ 1 335 358,75
Duration:
from 01/12/2020 to 30/06/2023
S2R (Of H2020) co-funding:
€ 1 335 358,75
Coordinator:
Lei Chen
The University of Birmingham
PERFORMINGRAIL will support the activities of the IP2 Adaptable Communications Technology Demonstrator, by helping to bring the developments as close as possible to the market but also supporting to update the regulatory framework.
In accordance with the objectives of the IP2 TD2.4 Fail Safe Train Positioning (including GNSS) described in the S2R Multi Annual Action Plan (MAAP), in the field of Train Localisation (based on the use of combined technologies such as for example EGNSS, IMU, kinematics, Digital Map) the main objectives of PERFORMINGRAIL are to contribute with:
- Enhanced railways Fault Detection and Exclusion algorithms for addressing local feared events;
- Data fusion algorithms suitable for railway safe applications;
- EGNSS monitoring techniques based on carrier phase measurement and multi-frequency technology;
- To help promote the use of formal methods as a means to check safety of advanced railway operation (in accordance with IP2 TD2.7); and
- To provide Independent Assessment Report on the proposed technologies and solutions.
The aim of PERFORMINGRAIL is to delineate through,
formal modelling and
optimal traffic management, a
moving block railway signalling using
advanced train positioning approaches that mitigates potential hazards in the diverse market segments.
The Primary Objectives forPERFORMINGRAIL are:
1 Specifications for safe and performing moving block operations: Analysing, verifying and enhancing principles and system specifications defined by S2R X2Rail-1 and X2Rail-3 to enable safety and standard performance levels of moving-block railway operations.
2 Formal modelling of moving-block specifications: Develop formal/semi-formal models of Moving Block and Virtual Coupling signalling to validate specifications, perform qualitative and quantitative analyses to support Verification & Validation processes towards a fail-safe and effective signalling configuration.
3 Moving-block hazards identification: Enumerating and classifying system-related as well as local hazards for train localisation under moving-block, based on literature review and sensitivity analysis with stochastic formal approaches.
4 Fail-safe train localisation solution: Developing techniques for fail-safe moving-block train localisation drawing on advances in the aerospace and automotive industries innovative Receiver Autonomous Integrity Monitoring (RAIM) algorithms will be setup for Fault Detection and Exclusion as well as for Data Fusion of multiple data sources including odometry, Digital maps and satellite location by applying EGNSS.
5 Future Traffic Management Architecture for Moving-Block. An innovative traffic management architecture for moving-block will be designed by relying on X2Rail-3 specifications, integrates safety constraints with advanced railway traffic rescheduling algorithms to prevent hazardous moving-block traffic events while providing minimum train service performances.
6 Moving-block testing platform: Implementing a simulation-based platform for integrated testing and assessment of defined moving-block specifications, formal models, train localisation and traffic management algorithms.
7 Proof-of-concept and Assessment of moving-block specifications and models: Assessing and demonstrating specifications, models and algorithms for safe and performing moving-block operations including a technical assessment report of an independent railway Notified Body for a Proof-of-Concept.