
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.
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 4.7 et accès au site dédié
Téléchargez ici les caractéristiques principales de l’Atelier B.
Liés à cet outil
Liés à cet outil
Liés à cet outil
- Atelier B 3.7
- Atelier B 3.7.1
- Atelier CLEARSY Safety Platform 4.5.4 disponible
- CLEARSY organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.
- Composys, version 1.6
- Gratuité de l’Atelier B
- L’Atelier B 4.0 est disponible !
- La nouvelle version de l’Atelier B est en beta test
- Nouvelle version de l’Atelier B pour Mac-OS
- 19ème conférence brésilienne sur les méthodes formelles
- Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques
- ABZ 2014 – Du 2 au 6 juin à Toulouse
- Salon SIFER 2009 à Lille
- CLEARSY au Salon SIFER 2007
- Projet RIMEL
- CLEARSY PARTICIPE À LA CONFÉRENCE INTERNATIONALE ABZ 2021
- Assigning safe processing to meanings
- Le nouvel Atelier B 4.7 est disponible.
- Deux décennies d’application industrielle de la méthode formelle B.
- Les activités formelles dans le cycle en V