« Grace à la méthode B, pari tenu pour Meteor » … « Je n’avais jamais vu cela, le logiciel a été quasi parfait du premier coup » – Claude Hennebert, RATP, Délégué auprès du DGA, Lettre B No3, avril 98
À l’occasion de l’extension récente de la ligne 14 du métro parisien, ligne entièrement automatique sans conducteur, CLEARSY est fière de souligner que le logiciel de contrôle automatique des trains, initialement développé en utilisant la méthode formelle B, continue de garantir la sécurité et la fiabilité de ce système critique.
Le succès continu de la ligne 14, 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 1993 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.
L’outil Atelier B n’aurait pas été développé sans la RATP, qui souhaitait une innovation de rupture pour les développements du métro METEOR (L14) par Siemens Mobility France (ex Matra Transport). CLEARSY a industrialisé l’outil d’origine ALSTOM ; la collaboration étroite entre RATP, ALSTOM, SIEMENS, INRETS (devenu IFSTTAR) et CLEARSY a permis ce niveau d’excellence.