ICE Groupe vous souhaite un joyeux Noël et bonnes fêtes de fin d’année !
La ligne 14 du métro parisien relie, depuis le 24 juin 2024, l’aéroport d’Orly au centre de Paris en moins de 30 minutes. Cette ligne, aussi connue sous son nom de projet « Meteor » , est entièrement automatique sans conducteur.
Grâce au logiciel de contrôle automatique des trains développé en utilisant la méthode formelle B et l’outil de CLEARSY : ATELIER B, la sécurité et la fiabilité de ce système critique sont garanties.
Le succès continu de la ligne 14, rendu possible grâce à la méthode B, démontre que les méthodes formelles sont non seulement efficaces mais aussi pérennes pour les systèmes critiques.
L’Atelier B est l’outil développé et distribué par CLEARSY depuis plus de 25 ans pour supporter la méthode B, développer les logiciels critiques prouvés et démontrer par la preuve mathématique la sûreté des systèmes.
Savoir + sur :
Suivez CLEARSY sur :
ICE Groupe rassemble plus de 20 sociétés, c'est un réseau d'experts en énergie et industrie, ingénierie technique et logicielle, câblage électrique, automatismes, contrôle-commande et systèmes embarqués. Le groupe réalise un chiffre d'affaires de plus de 140 M€ et emploie plus de 1 200 personnes.
Des opportunités professionnelles liées aux différents métiers des sociétés du Groupe.