Marc Benveniste (STMicroelectronics) a présenté à l’occasion de l’évènement Smart Event 2009, qui s’est déroulé du 22 au 25 septembre 2009, un article intitulé “A Proved “Correct by Construction” Memory Protection Unit”, présentant les enjeux du projet Forcoment, développé en collaboration avec ClearSy et son outil Atelier B. Sa présentation a abordé plus spécifiquement : […]
ProB, utilisable depuis l’Atelier B 4.0
ProB est utilisable depuis l’Atelier B 4.0 pour prouver et animer des modèles B logiciels et événementiels, grâce au mécanisme d’extension qui permet de connecter l’Atelier B avec d’autres outils. Depuis la version 1.3.0, ProB génère le fichier de paramètres qui lui permet de s’interfacer avec l’Atelier B.
Etat d’Avancement des Traductions des Manuels Atelier B
Vous avez été nombreux à nous répondre pour participer à la traduction des manuels dédiés à l’Atelier B et nous vous en remerçions. Voici donc un point sur l’état d’avancement de ces travaux : Le document Bart specification, décrivant le langage de règle de raffinement de l’outil de raffinement automatique Bart, a été traduit en […]
L’Atelier B 4.0 est disponible !
Nous avons le plaisir de vous annoncer la sortie de l’Atelier B 4.0. Celle-ci s’accompagne d’un tout nouveau mode de distribution pour lequel : le téléchargement de l’Atelier B est gratuit un nouveau contrat de maintenance s’adapte à vos besoins les plus spécifiques Parmi les principales évolutions de l’outil, notons surtout : la compatibilité Mac […]
L’Atelier B 4.0 en beta test 2…
ClearSy la met à disposition des utilisateurs pour obtenir des retours et des échanges concernant cette version. Nous remercions par avance tout les utilisateurs qui contribueront à l’amélioration de cette nouvelle version. Windows (17 Mo) Linux (41 Mo) Mac OS (60 Mo) Pour nous contacter et recevoir vos remarques et suggestions, contactez-nous à l’adresse suivante […]
L’Atelier B 4.0 en beta test…
ClearSy la met à disposition des utilisateurs pour obtenir des retours et des échanges concernant cette version. Nous remercions par avance tout les utilisateurs qui contribueront à l’amélioration de cette nouvelle version. Windows (10Mo) Linux (30Mo) Mac OS (28Mo) Fichiers Sources (780Ko) Pour nous contacter et recevoir vos remarques et suggestions, contactez-nous à l’adresse suivante […]
Quelques captures d’écran de l’Atelier B 4.0
En attendant la sortie de l’Atelier B 4.0, nous vous laissons découvrir en avant première quelques captures d’écrans de notre application sous les systèmes d’exploitation Windows, Linux et Mac…
Atelier B 4.0 : Etat d’Avancement
La version alpha de l’Atelier B 4.0 a été distribuée à un petit nombre d’utilisateurs dans l’objectif de recueillir quelques avis et remarques sur l’outil. L’Atelier B 4.0 sera disponible pour tout les utilisateurs en version beta courant septembre 2008. Nous vous tiendrons prochainement au courant des évolutions de l’Atelier B dans sa version 4.0. […]
Atelier B 3.7.2
La version 3.7.2 de l’Atelier B est disponible. Cette nouvelle version inclut le traducteur ComenC, nouvel outil qui permet de traduire des implémentations B0 vers le langage C. La future version 4.0 est actuellement en cours de développement. Parmi les nombreuses fonctionnalités à venir, l’Atelier B sera aussi supporté par Mac OS X et Windows, […]
ClearSy met à disposition des étudiants et chercheurs une licence de l’outil industriel Atelier B.
Jusqu’à maintenant les étudiants et chercheurs bénéficiaient de l’Atelier B installé sur les postes des écoles et universités. Désormais, des licences d’un an seront distribuées gratuitement aux étudiants et chercheurs pour qu’ils puissent utiliser leur PC.