ICE SAS and CLEARSY exhibited at the InnoTrans tradeshow from September 24 to 27, 2024 at Messe Berlin, Berlin, Germany.
Did you know? CLEARSY and Atelier B: the secret to the reliability of Paris metro Line 14.
Did you know? CLEARSY and Atelier B: the secret to the reliability of Paris metro Line 14.
Since 24 June 2024, Line 14 of the Paris Metro has connected Orly Airport to the centre of Paris in less than 30 minutes. This line, also known by its project name "Meteor," is fully automated and driverless.
Thanks to the automatic train control software developed using the B formal method and the CLEARSY’s tool: ATELIER B, the safety and reliability of this critical system are ensured.
The continued success of Paris Line 14, made possible thanks to the B method, demonstrates that formal methods are not only effective but also sustainable for critical systems.
Atelier B is the tool developed and distributed by CLEARSY for over 25 years to support the B method, develop proven critical software, and demonstrate system safety through mathematical proof.
Learn more about:
Follow CLEARSY on:
Careers
Professional opportunities linked to the various activities of the Group's companies.
Introduction
ICE Groupe brings together more than 20 companies, it is a network of experts in energy and industry, technical and software engineering, electrical wiring, automation, protection and monitoring/control, embedded systems. The group has a turnover of more than 140 M€ and employs more than 1,200 people.