POLITIQUE DE DISTRIBUTION 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.
> DEUX PHASES DE BÊTA-TEST ont eu lieu pour les versions 4.0 et 4.1, respectivement de Septembre 2008 à Janvier 2009 + Novembre à Décembre 2012. 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 NOUVELLE POLITIQUE DE DISTRIBUTION DE CLEARSY EN 3 POINTS


picto-3

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

picto-3

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.

picto-3

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 nouvelle politique de distribution, est associée une nouvelle politique d’ouverture des outils B et documents associés
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 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.

> 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 ! »