EU-S2R-OC-IP2-01-2019: Demonstrator development for the use of Formal Methods in railway environment and Support implementation of CSIRT to the railway sector

Proposals should develop a network of cyber security experts dedicated to railway sector is to be developed. In order to create and coordinate this network, Shift2Rail proposes to define and prototype a CSIRT (Computer Security Incident Response Team) collaboration tool fulfilling the specific needs of the railway sector. The activities shall cover: Defining of formal development demonstrator with measured cost/benefit ratio and assessed level of learning curve for industrial application; Defining and prototyping the CSIRT collaborative environment devoted to railway. Budget: The indicative [...]