Welcome to 4SECURail’s project

Formal Methods and CSIRT for the Railway Sector

Welcome to 4SECURail’s project


4SECURAIL - FORmal Methods and CSIRT for the RAILway sector

The 4SECURail proposal addresses the Open Call S2R-OC-IP2-2019 Demonstrator development for the use of Formal Methods in railway environment - Support to implementation of CSIRT to the railway sector.
Shift2Rail (S2R), the European public-private Joint Undertaking (JU) for rail research, will improve the state of the art of rail technology and revolutionise rail as a mode of transport for both passengers and freight. Shift2Rail has 3 main targets: increase capacity, boost reliability, and reduce lifecycle cost of the rail system.
The Open Call takes a two-fold perspective by working, on the one hand, on the Demonstrator for the use of Formal Methods (FM), and on the other hand, on the implementation of Computer Security Incident Response Team (CSIRT) for Railways.
4SECURail will provide a demonstrator of state-of-the-art formal methods and tools to evaluate the learning curve and to perform a cost/benefit analysis of the adoption of formal methods in railway industry. The following overall objectives will be targeted: 1) The development of the demonstrator; 2) The identification of a railway signalling subsystem, described by means of standard interfaces and 3) The specification and evaluation of the cost/benefit ratio and learning curves for adopting the demonstrator in the railway environment.
4SECURail will support the implementation of a CSIRT for the railway sector, establishing a CSIRT collaborative environment. The specific objectives are: 1) To define stakeholder requirements for a European Rail CSIRT collaborative activity; 2) To test and validate the draft CSIRT model; 3) To identify relevant platforms to support CSIRT collaboration and, based on requirements and CSIRT model, specify and adapt to meet CSIRT needs and 4) To test and update the CSIRT collaborative environment so as to ensure meeting user needs.
The 4SECURail proposal answers to both technical topics, adopting common Management and Dissemination with a well-balanced effort.
In terms of far-reaching impact, 4SECURail project will contribute to putting in place new methodologies to develop and test railway products, increasing their safety and reliability and, at the same time, reduce the lifecycle costs and make railways more secure through development and testing of a co-designed CSIRT model and providing them with an organisational model plus technical support to deliver sharing of knowledge and intelligence plus incident monitoring and notification.


Project start: 01/12/2019

Project duration: 2 years


4SECURail project received funding from the Shift2Rail Joint Undertaking (JU) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No 881775.


Ardanuy Ingeniería, S.A.


Ardanuy Ingeniería, S.A. (Spain), FIT Consulting s.r.l (Italy), Consiglio Nazionale delle Ricerche (Italy), Sirti S.p.A (Italy), HitRail (Netherlands), International Union of Railways (France), TREE Technology S.A. (Spain)

Contact: albert.ferrer@ardanuy.com