Atelier B 4.2.1 Free

L’Atelier B 4.2.1 Free est disponible au téléchargement. Il corrige les erreurs liées à l’introduction de l’outil bxml et à l’absence du positionnement par défaut des ressources nécessaires à son utilisation. 

Erreurs bxml avec Atelier B 4.2 Free

L’utilisation du nouvel outil bxml, avec la version 4.2 Free de l’Atelier B, est empêchée par l’absence de la déclaration de ressources dans le fichier AtelierB. Les symptômes  sont l’apparition de messages d’erreur de la forme “Bxml error for …”. Pour corriger manuellement le problème, il convient d’ajouter les lignes suivantes: ATB*ATB*Proof_Obligations_Generator_NG_Command: pog ATB*ATB*Bxml_Command: bxml […]

Sortie de l’Atelier B version 4.2.0

ClearSy met à disposition une nouvelle version publique de l’Atelier B. Il s’agit d’un atelier de génie logiciel, c’est à dire un logiciel permettant de concevoir des logiciels. Plus exactement, il s’agit d’ingénierie dirigée par les modèles puisque l’Atelier B permet de faire les plans généraux du logiciel voulu, et ainsi de décrire ce qu’on […]

L’ATELIER B 4.2 FÊTE SES 20 ANS

L’Atelier B 4.2 Community Edition est disponible au téléchargement depuis le 19 Décembre 2014. Cette version, complètement fonctionnelle et utilisable par tous, corrige 151 anomalies et apporte 47 améliorations parmi lesquelles on notera: Un nouveau générateur d’obligations de preuves, traçable et paramétrable L’introduction d’un serveur de preuve, pour paralléliser l’effort de preuve Une meilleure intégration […]

ClearSy participe au Forum Méthodes Formelles “Le model-checking en action”

ClearSy participe au Forum Méthodes Formelles “Le model-checking en action” organisé par le LAAS-CNRS le jeudi 16 octobre 2014. A cette occasion, sont présentées des expériences industrielles et académiques de l’utilisation avancée du model-checking. La journée se termine par une table ronde concernant le ROI sur le model-checking.

AFADL 2014 : Les 11 et 12 juin 2014

ClearSy sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que les journées du GDR GPL. L’atelier  AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Venez nous […]

Nos prochaines formations

Nos prochains cycles de formations se dérouleront sur Paris : Formation Niveau 1 : Du 13 au 16 mai 2014 Formation Niveau 2 : Mi-juin 2014 Formation Niveau 3 : Mi-juillet 2014 Les inscriptions sont ouvertes. Pour toute demande de formation : formationb@clearsy.com Tel : 04 42 37 12 70 – Fax : 04 42 […]

Atelier B 4.1.1

L’Atelier B 4.1.1 est disponible au téléchargement, pour les possesseurs d’un contrat de maintenance Atelier B 4.  Cette version corrige 59 anomalies  et propose 7 améliorations. Cette version corrige avant tout des anomalies gênantes pour l’utilisateur: Atelier B: 41 anomalies corrigées, 4 améliorations Bart: 13 anomalies corrigées, 3 améliorations Générateurs de code: 2 anomalies corrigées […]

Comment installer l’Atelier B 4.1 sur une machine Debian 64 bits

L’Atelier B 4.1 est disponible au téléchargement, notamment pour les machines Linux sous la forme de paquetages binaires pour les machines x86 32 bits sous les formats RPM et DEB. Malheureusement, le paquetage DEB n’est pas compatible avec une Debian 64 bits, par exemple Ubuntu. Cet article décrit l’approche utilisée pour installer le paquetage avec […]

Atelier B 4.1.0 & le Japon

ClearSy et Witz Corporation coopèrent au développement de l’utilisation de la méthode B au Japon. Plusieurs actions ont été entreprises depuis l’année dernière: Une série d’articles sur le développement de logiciels embarqués en B est an cours de publication dans le revue “Interface“. La première page des 4 premiers articles sont librement accessibles (1, 2, 3, 4) Atelier B […]