4SECURail 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.
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.
The 4SECURail proposal answers to both technical topics, adopting common Management and Dissemination with a well-balanced effort.
The main objective of Work Stream 1 is to focus on TD2.7 by providing 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 the railway industry.
The following overall objectives will be targeted: