Demonstrator development for the use of Formal Methods in railway environment and Support to implementation of CSIRT to the railway sector

Inicio / Programas UE / H2020 / S2R-OC-IP2-01-2019

(S2R-OC-IP2-01-2019) - DEMONSTRATOR DEVELOPMENT FOR THE USE OF FORMAL METHODS IN RAILWAY ENVIRONMENT AND SUPPORT TO IMPLEMENTATION OF CSIRT TO THE RAILWAY SECTOR

Programme: Horizon 2020 Framework Programme
Call: Shift2Rail JU call proposals 2019 EU

Topic description

Specific Challenge:

For the full topic description, please refer to Annex II of the 2019 Annual Work Plan (2019 Call for proposals for non-JU members).

Keywords

Rail Signalling ERTMS Automation and control systems Rail Transport Rail Services Rail Operations

Tags

Language Modelling CSIRT Rail Railway Train ETCS Safety Formal methods Control Cybersecurity ERTMS

Mais información?

Non atopas a financiación que precisas?

Contacta con nos e cóntanos cal é o teu proxecto.

Envía a túa consulta