Politique de Distribution de l’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.1.0.

Deux phases de beta-test ont eu lieu pour les versions 4.0 et 4.1, respectivement de Septembre 2008 à Janvier 2009, et de Novembre à Décembre 2012.

Clearsy souhaite ainsi encourager la diffusion de l’Atelier B et 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 nouvelle politique de distribution de Clearsy se présente ainsi :

DISTRIBUTION DES OUTILS :

• une nouvelle version gratuite majeure de l’Atelier B tous les deux ans
• valable sous WINDOWS, MAC, LINUX. Une version SOLARIS a été produite pour la version 4.0
• des versions intermédiaires pour les utilisateurs souscrivant à un contrat de maintenance

DIFFERENTS TYPES DE MAINTENANCE :

• le contrat de maintenance annuel permet d’obtenir : une hotline, les mises à jour intermédiaires, les nouveaux outils en tests, participation aux beta 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.

SERVICES :

Par ailleurs, 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.

A la nouvelle politique de distribution, est associée une nouvelle politique d’ouverture des outils B et documents associés (2008) :

• mise en Open Source progressive d’outils de l’Atelier B
• mise en Open Source du manuel de référence du langage B
• mise en Open Source de supports de formations 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.

Par cette politique, nous voulons notamment favoriser l’apprentissage de la méthode et 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.