CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The 4SECURail project aims to implement formal methods and establish a Computer Security Incident Response Team for the railway sector. It focuses on developing a demonstrator to evaluate the adoption of formal methods in railway systems.
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 Formal…
ARDANUY INGENIERIA SA
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Italy, Roma
Type: SME
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
SME: Yes
Italy, Milano
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
SME: No
Netherlands, Utrecht
Type: Company (for-profit)
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
