European Companies Search Engine
EU funding (€1,335,359): PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling Hor 1 Dec 2020 EU Research and Innovation programme "Horizon"
Overview
Text
PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signalling
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 that mitigates potential hazards in the diverse market segments.
Funded Companies:
| Company name | Funding amount |
| Certifer SA | €66,050 |
| Consorzio Interuniversitario Nazionale Per L'Informatica | €154,500 |
| Janssen Bob | €35,125 |
| Malardalens Universitet | €185,655 |
| Rokubun SL | €140,500 |
| Technische Universiteit Delft | €259,980 |
| The University of Birmingham | €336,065 |
| Universite Gustave Eiffel | €157,484 |
Source: https://cordis.europa.eu/project/id/101015416
The filing refers to a past date, and does not necessarily reflect the current state.
