Atelier B - Atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut

Présentation de l'Atelier B

Développé par la société ClearSy, l'Atelier B est l'outil industriel qui permet une utilisation opérationnelle de la méthode 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.

Plus d'informations...
Obtenir l'Atelier B gratuitement...

Actualité Atelier B

[ 22-12-09 ] :

14h30 - L'Atelier B 4.0.1 est disponible pour les détenteurs d'un contrat de maintenance

[ 29-10-09 ] :

15h33 - Smart Event 2009 - Présentation du projet Forcoment, développé avec l'Atelier B

Plus d'actualités sur l'Atelier B...