Contact

Politique de Distribution de l’Atelier B

 Support et Maintenance Atelier B

GRATUITÉ DE L’ATELIER B

La version 4 de l’Atelier B est GRATUITE pour tous dès sa sortie, dans sa version Community Edition. La dernière version disponible est la version 4.2.1.

> Plusieurs phases de BÊTA-TEST ont eu lieu pour les versions 4.0, 4.1, 4.2 et 4.5. CLEARSY souhaite ainsi encourager la diffusion de l’Atelier B, de la méthode formelle B et développer les services qui permettent de financer les développements de la méthode et des outils.

LA POLITIQUE DE DISTRIBUTION DE CLEARSY EN 3 POINTS

DISTRIBUTION DES OUTILS :

> UNE NOUVELLE VERSION GRATUITE majeure de l’Atelier B tous les deux ans valable sous WINDOWS, MAC et LINUX.

DIFFÉRENTS TYPES DE MAINTENANCE :

> Le contrat de maintenance annuel permet d’obtenir : une hotline, les mises à jour intermédiaires, les nouveaux outils en test, participation aux bêta tests, des exemples, des supports de formation…
> Le contrat de maintenance “industriel” couvrira la version courante et les versions antérieures ou spécifiques de l’Atelier B.

NOS SERVICES

> CLEARSY propose les services suivants autour de la méthode formelle B :
Formations à la méthode formelle B : “initiation”, “projet logiciel”, “preuve”, “raffinement automatique”, “modélisation de systèmes”
Développement de modèles systèmes et de logiciels industriels selon la méthode B
Expérimentation de la méthode formelle B sur des cas d’études industriels (B logiciel et B événementiel)
Développement et maintenance d’outils spécifiques (Traducteurs industriels par exemple)
Adaptation de l’Atelier B et des outils de preuve à de nouveaux domaines.

> À la politique de distribution, est associée une nouvelle politique d’ouverture des outils B et documents associés
Mise en Open Source du manuel de référence du langage B
Mise en Open Source de supports de formation et d’exemples
Mise à disposition d’outils d’interface et des documentations associées pour permettre l’interfaçage d’outils externes à l’Atelier B, en particulier les outils de preuve

> Par cette politique, nous voulons notamment favoriser l’apprentissage de la méthode, la contribution aux développements des outils, et en particulier :
L’amélioration des supports documentaires à B et l’Atelier B
Leurs traductions dans différentes langues
L’amélioration des interfaces de l’Atelier B et notamment l’édition des modèles et l’interface de preuve interactive de l’Atelier B
L’adaptation des outils de traduction de code à différents langages, et à différentes optimisations liées aux cibles
La connexion de nouveaux outils académiques ou professionnels comme : animateurs, prouveurs, model checker, gestionnaires d’exigences, outils de documentation de projet, outils de génération de tests.

« Nous espérons vous voir nombreux à utiliser B ! »

Plus d'informations sur "Support et Maintenance Atelier B"

Copy link
Powered by Social Snap