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

bande-orange

Atelier B, présentation

Fonctionnalités atelier B 4.2Dé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 disponible en deux versions: une version communautaire accessible à tous sans limitation, une 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 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.


Atelier B 4, pourquoi l’utiliser ?

L’Atelier B est l’outil incontournable pour développer des logiciels sécuritaires.


Les commentaires sont fermés.