project . 2019 - 2021 . On going

4SECURAIL

FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR
Open Access mandate for Publications and Research DataOpen Access mandate for ... European Commission
  • Funder: European CommissionProject code: 881775 Call for proposal: H2020-S2RJU-OC-2019
  • Funded under: H2020 | Shift2Rail-RIA Overall Budget: 549,875 EURFunder Contribution: 549,875 EUR
  • Status: On going
  • Start Date
    01 Dec 2019
    End Date
    30 Nov 2021
  • Detailed project information (CORDIS)
Description
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." 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. Work stream 1 "Demonstrator development for the use of FormalMethods in Railway Environment" will provide a demonstrator of state-of-the-art Formal Methods and tools to evaluate the learning curve and to perform a cost/benefit ana...
Description
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." 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. Work stream 1 "Demonstrator development for the use of FormalMethods in Railway Environment" will provide a demonstrator of state-of-the-art Formal Methods and tools to evaluate the learning curve and to perform a cost/benefit ana...
Any information missing or wrong?Report an Issue