Atelier B dans sa version 4.0 disponible

ClearSy, société spécialiste des systèmes et logiciels sécuritaires annonce la sortie récente de la version 4.0 de son logiciel « Atelier B ».

L'Atelier B est depuis 15 ans l'outil industriel permettant de développer des logiciels et systèmes sécuritaires à l’aide de la méthode B, méthode formelle permettant de développer des logiciels prouvés mathématiquement et sans défauts.

Les méthodes formelles sont utilisées par les industriels pour garantir la sécurité de leur logiciel sécuritaire conformément aux normes les plus sévères dans les domaines de l’aéronautique et du ferroviaire. Elles permettent de diminuer considérablement l’effort de tests (élimination des tests unitaires remplacés par la preuve). Avec la méthode B, il est possible de démontrer mathématiquement l’ensemble d’une application de plus de 100 000 lignes de code embarqué.

L’Atelier B est ainsi utilisé par Alstom et Siemens pour développer les logiciels de sécurité SIL4 nécessaires au fonctionnement des dispositifs embarqués dans les métros automatiques vendus dans le monde entier. Les derniers projets réalisés sont par exemple : le métro de Pékin, le métro de Lausanne, ou encore le métro de Milan.

Le téléchargement de cet outil est gratuit, et disponible sur le site : www.atelier b.eu.

Parmi les principales évolutions de l'outil, notons surtout :

• la compatibilité Mac OS X et Windows supportés en plus de Linux et Solaris
• une nouvelle interface graphique proposant:
  • l'intégration des fonctionnalités du Paralléliseur (application visant a optimiser les temps de traitement des projets B par une utilisation transparente, distante et parallèle de l'Atelier B.)
  • une interface de preuve repensée
  • un éditeur avec navigation et complétion automatique
• Intégration de la preuve de bonne définition des modèles
• Ajout d'un outil de raffinement automatique (BART)
  
  

Consultation disponible cette nouvelle version en la téléchargeant sur notre site Web :

Télécharger l'Atelier B

Découvrir les nouvelles Fonctionnalités

A propos de Clearsy:

Clearsy (www.clearsy.com)  est une société spécialiste des systèmes et logiciels sécuritaires.

Elle a été fondée au 1er janvier 2001 par l'équipe d'ingénieurs auteur de l'industrialisation de l'outil de modélisation formelle nommé Atelier B, utilisé dans le domaine du ferroviaire pour réaliser les logiciels de sécurité.

Clearsy est fournisseur de grands clients tels qu'Alstom, Siemens, la RATP, ou encore StMicrelectronics...