FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR

Project description

Railway signalling subsystem on track

To minimise the time it takes to develop and deliver railway signalling systems, and to reduce high costs for procurement, development and maintenance, formal methods are needed. The EU-funded 4SECURAIL project will address the call for the use of formal methods in the railway environment and support the implementation of a Computer Security Incident Response Team (CSIRT) for railways. Among the project’s overall objectives are the identification of a railway signalling subsystem and evaluation of the cost/benefit ratio and learning curves for adopting the demonstrator in the railway environment. It will also define stakeholder requirements for a European RAIL CSIRT collaborative activity. To ensure all needs are met, the project will test and update the CSIRT collaborative environment.

Fields of science

• natural sciences › computer and information sciences › computer security

Programme(s)

• H2020-EU.3.4.8.2. - Innovation Programme 2: Advanced traffic management and control systems

Topic(s)

• 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

Call for proposal

H2020-S2RJU-OC-2019
See other projects for this call

Funding Scheme

Shift2Rail-RIA - Research and Innovation action

Leaflet | Map data © OpenStreetMap contributors, Credit: EC-GISCO, © EuroGeographics for the administrative boundaries

Coordinator

ARDANUY INGENIERIA SA

Address

Avda De Europa 34 Edif B
28023 Madrid
Spain

Activity type

Private for-profit entities (excluding Higher or Secondary Education Establishments)

EU contribution

€ 54 875

Participants (6)

FIT CONSULTING SRL

Italy

EU contribution

€ 65 756,25

Address

Via Acciaresi Primo 8
00157 Roma

Activity type

Private for-profit entities (excluding Higher or Secondary Education Establishments)

CONSIGLIO NAZIONALE DELLE RICERCHE

Italy

EU contribution

€ 93 025

Address

Piazzale Aldo Moro 7
00185 Roma

Activity type

Research Organisations

SIRTI - SOCIETA PER AZIONI

Italy

EU contribution

€ 85 281,25

Address

Via Stamira Ancona 9
20127 Milano

Activity type

Private for-profit entities (excluding Higher or Secondary Education Establishments)

HIT RAIL BV

Netherlands

EU contribution

€ 92 375

Address

Leidseveer 4
3511 SB Utrecht

Activity type

Private for-profit entities (excluding Higher or Secondary Education Establishments)

UNION INTERNATIONALE DES CHEMINS DE FER

France

EU contribution

€ 86 375

Address

Rue Jean Rey 16
75015 Paris

Activity type

Other

TREE TECHNOLOGY SA

Spain

EU contribution

€ 72 187,50

Address

De La Pomarada 76
33429 Siero

Activity type

Private for-profit entities (excluding Higher or Secondary Education Establishments)