Développé par la société ClearSy, l’Atelier B est l’outil industriel qui permet une utilisation opérationnelle de la méthode formelle B pour des développements de logiciels prouvés sans défaut (logiciel formel).
Il est utilisé pour le développement des automatismes sécuritaires des différents métros développés dans le monde par Alstom et Siemens et d’autres part, pour la certification selon la norme « Critères Communs » et le développement de modèles systèmes par ATMEL et STMicroelectronics.
Il a par ailleurs été utilisé sur plusieurs autres secteurs comme celui de l’automobile pour la modélisation des principes de fonctionnement de l’électronique embarquée de 3 modèles de voiture. L’Atelier B est aussi utilisé dans le secteur de l’aéronautique et de l’aérospatial.
L’Atelier B est l’outil incontournable pour développer des logiciels sécuritaires. Vous pouvez…
Télécharger Gratuitement l’Atelier B
Consulter notre Nouvelle Politique de Distribution
Adhérer au Nouveau Contrat de Maintenance
Se Former à la méthode formelle B en France
- L’Atelier B 4.0.2 est disponible pour les détenteurs d’un contrat de maintenance
- L’Atelier B 4.0.1 est disponible pour les détenteurs d’un contrat de maintenance
- Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B
- ProB, utilisable depuis l’Atelier B 4.0
- Etat d’Avancement des Traductions des Manuels Atelier B
Français
Anglais 
