4SecuRail

New paper “The 4SECURail Formal Methods Demonstrator” has been published

25th March 2022

The paper “The 4SECURail Formal Methods Demonstrator” has been submitted and accepted at the 4th Internation Conference on Reliability, Safety and Security of Railway Systems (RSSRAIL 2022). The conference will be held in Paris, at the UIC premises, on June 1st and 2nd 2022. This paper has been published by project collaborators Franco Mazzanti and Dimitri Belli.

View Detail

New paper published by 4SECURail project members available

24th March 2022

The paper "Formal Modeling and Initial Analysis of the 4SECURail Case Study" that will be presented at the workshop "Models for Formal Analysis of Real Systems (MARS 2022)", to be held in Munich (DE) on April 2 2022 is already made public. This paper has been published by project collaborators Franco Mazzanti and Dimitri Belli.

It can be accessed in the following link: https://eptcs.web.cse.unsw.edu.au/paper.cgi?MARS2022.6.pdf

4SECURail Final event took place in Paris on November 23rd and 24th

The 4SECURail project celebrated its final event in Paris, in the UIC headquarters, its final event on November 23rd and 24th.

The event had the possibility to participate both in person or online and this hybrid format was very successful: 60 people participated in the event. Among the participant there were members of our Advisory Board, the complementary Shift2Rail CFM projects X2Rail-5 and X2Rail-3, and other relevant stakeholders of the European railway sector

The dissemination of the project results will contribute to the future adoption of formal methods in the standardisation process of industrial equipment and to the creation of a European CSIRT platform.

The different presentations that were used during the event are available in the project website: Click here...

The 2nd Technical Workshop for Workstream 1

29th of June 2021

On the 29th of June 2021, the 2nd Technical Workshop for Workstream 1 took place: Demonstrator Development for the use of Formal Methods in railway environment.
The event received a great feedback and participation from all the attendees, and it has been a good opportunity to discuss the application of Formal Methods in the railway system, and their costs and benefits.
The attendees that took part in the event were from a wide range of companies and organizations such as Infrastructure Managers and International Organizations for Standards.

The 2nd Technical Workshop for Workstream 2

8th of June 2021

On the 8th of June 2021, the 2nd technical workshop for Workstream 2 from the 4SECURail project took place: Implementation of the EU Rail CSIRT model to the railway sector.
The event achieved a great success: more than 40 participants attended and, thanks to their active participation, it was an excellent opportunity to discuss many different items in regards to the ER-CSIRT model.
The attendees that took part in the event were from a wide range of companies and organizations such as: ADIF, Cervello, CFL, DB NETZ, DB SYSTEL, ENISA, ERA, ER-ISAC, EXPLEO Group, FSI, Governmental CERT Luxemburg, INCYDE GmbH, InfraBel, Network Rail, NS, ÖBB, ProRail, RENFE, RFI, SBB, Shift2Rail, SNBC/NMBS, SNCF Reseau, SZDC, Trafikverket, UNIFE and X2Rail-3.

4SECURail’s consortium publishes a mid-term press release

Shift2Rail’s ‘4SECURail’ completes initial work on projects towards tightening cyber security and improving signalling systems across European railways

Announcements of CNR participation in 4SECURail project

Some news have been published announcing the CNR participation in the 4SECURail project

Article about Formal Methods demonstrator written by 4SECURail members

An article written by 4SECURail members of SIRTI and CNR following the lines of deliverable D2.1 of the project has been accepted for the " 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation" (ISoLA), describing the ideas underlying the Formal Methods Demonstrator.

View Detail

Holding of technical workshops

16th of June, 2020

On the 9th of June 2020, two technical workshops took place regarding the two workstreams from the 4SECURAIL project: Demonstrator development for the use of Formal Methods in railway environment and Support to implementation of CSIRT to the railway sector.
The event was a success! The attendants were very interested and participative and provided valuable feedback that helped to improve the outputs of each workstream.
The participants that took part in this event were from a wide range of companies and organisations such as: ADIF, Alstom, DB Netz, DB Systel, EIM Rail, ERA, FREng, FIET, FIRSE, MPJA Conseil & Formation, Nagaoka University of Technology, Network Rail, NS, ProRail, Prover/ Trafikverket, Renfe, SBB and SMIEEE.

Holding of advisory board meetings

16th of June, 2020

On the 9th of June 2020, two advisory board meetings took place regarding the two workstreams from the 4SECURAIL project: Demonstrator development for the use of Formal Methods in railway environment and Support to implementation of CSIRT to the railway sector.
The event was very fruitful. The attendants were very satisfied and are looking forward to another meeting very soon.
The participants that took part in this event were a group of external and independent experts from a wide range of companies and organisations such as: Danmarks Tekniske Universitet, EXPLEO, Infrabel, MOVE EU RAILSEC, ProB, Prover, UNIFE and University of Twente.

Next technical workshop to take place on 9th of June

19th of May, 2020

4SECURAIL partners will organise two technical workshops and an advisory board meeting on 9th June 2020. These meetings were to take place in Brussels, but due to the pandemic situation, the event will be held via videoconference. The technical workshops and 4SECURAIL’s advisory board involve a wide representation of European experts of recognized knowledge in different kinds of background and areas of expertise including cybersecurity, formal methods, market, technological trends and standards.

Wide media coverage of the Kick-off Meeting

24th of February, 2020

The 4SECURail project press release has been published by a wide range of media with different interests and readerships. The article is available in the following links:

FIRST KICK-OFF IN BARCELONA

21st of January, 2020

The 4SECURail Kick-off meeting on Formal Methods and CSIRT for the railway sector was held in Barcelona on the 21st of January.

News and Events