NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at :

July 21, 2014 | CEA LIST software to help build the future European rail network

201411 06The EU openETCS project consortium, which includes Deutsche Bahn, Siemens, Mitsubishi, and others, has evaluated and validated two CEA LIST software packages for the development of the future European Train Control System, which will facilitate interoperability between today’s highly-fragmented national rail networks.

The first tool approved is the open-source Papyrusmodelling software. It is used to describe the requirements of the ETCS and generate a SysML model used to assess the compatibility of various design and architecture choices with the Cenelec 50128 standard for critical rail systems development.

And, once the ETCS development process has been completed, another CEA LIST tool, the Frama-C C-language program analysis software, will be used to provide formal proof that the code aligns with specifications, particularly in terms of safety and security.

The successful evaluations have already earned CEA LIST a slot on the EU H2020 project development team. This new project will extend the work carried out under openETCS. Papyrus and Frama-C have also garnered interest from Mitsubishi, which found out about the software thanks to openETCS.

Learn more: