ATELIER B.

L'entreprise ATELIER B. est spécialisée en fabrication d'autres meubles.

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 disponible en 2 versions : 1- Version communautaire accessible à tous sans limitation, 2- Version maintenue accessible aux possesseurs d’un contrat de maintenance. Il est utilisé pour le développement des automatismes sécuritaires des différents métros développés dans le monde par Alstom, Siemens… Et d’autre 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 été utilisé sur d’autres secteurs comme celui de l’automobile pour la modélisation des principes de fonctionnement de l’électronique embarquée sur 3 modèles de voiture. L’Atelier B est utilisé dans le secteur de l’aéronautique et de l’aérospatial.. Parmi les améliorations effectuées sur cette version, vous trouverez l’Affichage des obligations de preuve dans l’éditeur. Une nouvelle fonctionnalité a été développée dans l’éditeur pour permettre de visualiser les obligations de preuve dans le fichier en cours d’édition. Cette fonctionnalité a été ajoutée dans le but de : > Voir les obligations de preuve du composant en cours d’édition, > Voir le statut de preuve du composant en cours d’édition.