Gratuité de l'Atelier B :
La version 4 de l'Atelier B est gratuite pour tous dès sa sortie.
Les versions préparatoires ont été testées en interne et proposées à quelques utilisateurs volontaires entre
juillet 2008 et septembre. La phase Beta test a commencé ensuite pour quatre mois, pour se terminer fin janvier 2009.
Clearsy souhaite ainsi encourager la diffusion de l’Atelier B et de la méthode 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, SOLARIS
- 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 B :
- formations à la méthode 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 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 (courant 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.
|
