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.