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.

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.