ATELIER DE GÉNIE LOGICIEL
PERMETTANT DE DÉVELOPPER DES LOGICIELS
PROUVÉS SANS DÉFAUT

EN SAVOIR +

ATELIER B PRÉSENTATION


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.

EN SAVOIR +

PROJETS R&D / Open source


picto-9

Visitez nos liens pour téléchargements :
> MÉTHODE B
> SYSTÈMES ÉLECTRONIQUES
> SYSTÈMES INFORMATIQUES

ACCÈS CLIENT


picto-3

ESPACE DE TÉLÉCHARGEMENT
Connectez-vous avec vos codes

SE CONNECTER picto-fleche

CLEARSY ANNONCE LA MISE À DISPOSITION D'UNE NOUVELLE VERSION 4.4 DE L'ATELIER B.


nautile

> Cette version existe actuellement en version Beta.

> N’hésitez pas à nous contacter si vous souhaitez la tester :
contact@atelierb.eu

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.