Atelier B

L’Atelier B est un outil qui permet une utilisation opérationnelle de la méthode B. Il offre, au sein d’un environnement cohérent, de nombreuses fonctionnalités permettant de gérer des projets en langage B.
Pour un usage industriel, ll est disponible en 2 versions:

• L’Atelier B Professional Edition est régulièrement mis à jour et dispose de fonctionnalités exclusives comme un traducteur Ada, un contrôleur de cohérence de projet (Project Checker), et des outils de preuve de règles mathématiques. Il est utilisable dans un cadre industriel nécessitant un support étroit mais aussi dans un cadre académique. Il est accessible sur demande au travers d’un contrat de maintenance.
• L’Atelier B T2 Certified Edition, au travers de sa certification T2, permet de développer des logiciels critiques conformes à la norme EN 50128 et de valider des propriétés systèmes conformes à la norme EN 50129 pour des applications de niveau SIL4. Un outil de rejeu, le Certifier, permet de garantir la conformité aux normes des projets développés avec un Atelier B récent. Il est accessible sur demande dans un cadre industriel et dispose des mêmes exclusivités que l’Atelier B Professional Edition.

Fonctionnalités de l’Atelier B

Ces fonctionnalités se regroupent en plusieurs catégories :

• Une aide à la preuve, pour démontrer les obligations de preuve, grâce à des outils de preuve adaptés
• Une aide au développement : gestion automatique des dépendances entre composants B
• Des outils de confort pour l’utilisateur : représentation graphique de projets, affichage de l’état et des statistiques d’un projet, archivage de projet.

Utilisation de l’Atelier B

L’Atelier B s’utilise soit par l’intermédiaire d’une interface Homme Machine au format QT, soit en utilisant directement des commandes (Mode de commandes). L’Atelier B est multi-utilisateurs. Les tâches automatisables lors du développement d’un projet sont les suivantes :

• Vérifications syntaxiques des composants
• Génération automatique des obligations de preuve
• Traduction automatique des implantations B vers les langages C ou Ada.

L’Atelier B est désormais disponible sous Windows, Linux, Mac OS et Solaris.

Atelier B et accès au site dédié

Accéder au site internet dédié à l’Atelier B.