4SECURAIL - Formal Methods and CSIRT for the Railway Sector (DIT.AD001.124)

Area tematica

Ingegneria, ICT e tecnologie per l'energia e i trasporti

Area progettuale

Struttura responsabile del progetto di ricerca

Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (ISTI)

Responsabile di progetto

FRANCO MAZZANTI
Telefono: +39 050 621 2919
E-mail: franco.mazzanti@isti.cnr.it

Abstract

Shift2Rail has identified the use of formal methods and standard interfaces as two key concepts to enable reducing 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 to ensure correct behaviour, interoperability and safety, and standard interfaces are needed to increase market competition and standardization, reducing long-term life cycle costs. Moroever, the dramatic rise in the cybercrime targeting Industrials Control Systems (ICS) over the past years and the development of Intelligent Public Transport requiring a high level of integration of transport systems highlighted the need of cyber-security coordination between railway operators. Such coordination will require, in most of the cases, system integrator and railway manufacturer involvement. In order to face such challenges, this project plans to define a formal development demonstrator with measured cost/benefit ratio and assessed level of learning curve for industrial applicatio and define and prototyping the CSIRT collaborative environment devoted to railway.

Obiettivi

Lo scopo del progetto è lo sviluppo di dimostratori per l'uso di metodi formali in ambiente ferroviario e supporto all'implementazione del Computer Security Incident Response Team (CSIRT) al settore ferroviario. Il flusso di lavoro in cui è coinvolto l'unità operativa ISTI-CNR fornirà un dimostratore di metodi formali e strumenti all'avanguardia per valutare la curva di apprendimento e per eseguire un'analisi costi / benefici dell'adozione di metodi formali nell'industria ferroviaria, tramite i seguenti obiettivi generali: 1) lo sviluppo del dimostratore, 2) l'identificazione di un sottosistema di segnalamento ferroviario, descritto tramite interfacce standard, e 3) la specifica e valutazione del rapporto costi / benefici e delle curve di apprendimento per l'adozione del dimostratore in ambiente ferroviario.

Data inizio attività

01/12/2019

Parole chiave

Rail Services, Rail Signalling, Formal Methods, Standard Interfaces, CSIRT, Cyber Security

Ultimo aggiornamento: 05/07/2025