Project description DEENESFRITPL Railway signalling subsystem on track To minimise the time it takes to develop and deliver railway signalling systems, and to reduce high costs for procurement, development and maintenance, formal methods are needed. The EU-funded 4SECURAIL project will address the call for the use of formal methods in the railway environment and support the implementation of a Computer Security Incident Response Team (CSIRT) for railways. Among the project’s overall objectives are the identification of a railway signalling subsystem and evaluation of the cost/benefit ratio and learning curves for adopting the demonstrator in the railway environment. It will also define stakeholder requirements for a European RAIL CSIRT collaborative activity. To ensure all needs are met, the project will test and update the CSIRT collaborative environment. Show the project objective Hide the project objective Objective "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 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.Work stream 2 ""Support to implementation of CSIRT to the railway sector"" will address TD2.11 establishing a CSIRT collaborative environment.The work stream 2 specific objectives are: 1) To define stakeholder requirements for a European Rail CSIRT collaborative activity, a 2) To test and validate the draft CSIRT model; 3) To identify relevant platforms to support CSIRT collaboration and, based on requirements and CSIRT model, specify and adapt to meet CSIRT needs and 4) To test and updated the CSIRT collaborative environment so as to ensure meeting user needs. The 4SECURail proposal answers to both technical topics, adopting common Management and Dissemination with a well-balanced effort. " Fields of science natural sciencescomputer and information sciencescomputer security Programme(s) H2020-EU.3.4. - SOCIETAL CHALLENGES - Smart, Green And Integrated Transport Main Programme H2020-EU.3.4.8.2. - Innovation Programme 2: Advanced traffic management and control systems Topic(s) S2R-OC-IP2-01-2019 - Demonstrator development for the use of Formal Methods in railway environment and Support to implementation of CSIRT to the railway sector Call for proposal H2020-S2RJU-2019 See other projects for this call Sub call H2020-S2RJU-OC-2019 Funding Scheme RIA - Research and Innovation action Coordinator ARDANUY INGENIERIA SA Net EU contribution € 85 182,09 Address Avda de europa 34 edif b 28023 Madrid Spain See on map Region Comunidad de Madrid Comunidad de Madrid Madrid Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 Participants (6) Sort alphabetically Sort by Net EU contribution Expand all Collapse all FIT CONSULTING SRL Italy Net EU contribution € 65 756,25 Address Via acciaresi primo 8 00157 Roma See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Centro (IT) Lazio Roma Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 CONSIGLIO NAZIONALE DELLE RICERCHE Italy Net EU contribution € 93 025,00 Address Piazzale aldo moro 7 00185 Roma See on map Region Centro (IT) Lazio Roma Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 SIRTI - SOCIETA PER AZIONI Participation ended Italy Net EU contribution € 54 974,16 Address Via stamira ancona 9 20127 Milano See on map Region Nord-Ovest Lombardia Milano Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 HIT RAIL BV Netherlands Net EU contribution € 92 375,00 Address Leidseveer 4 3511 SB Utrecht See on map Region West-Nederland Utrecht Utrecht Activity type Private for-profit entities (excluding Higher or Secondary Education Establishments) Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 UNION INTERNATIONALE DES CHEMINS DE FER France Net EU contribution € 86 375,00 Address Rue jean rey 16 75015 Paris See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Ile-de-France Ile-de-France Paris Activity type Other Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00 TREE TECHNOLOGY SA Spain Net EU contribution € 72 187,50 Address Calle san francisco, 2 planta 4 33003 Oviedo See on map SME The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed. Yes Region Noroeste Principado de Asturias Asturias Links Contact the organisation Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Other funding € 0,00