Clearsy présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques, le 13 octobre à St-Malo.

Le projet LCHIP (Low Cost High Integrity Plateform) vise à faciliter le développement de systèmes sécuritaires (logiciel critiques) jusqu’au niveau SIL 4 qui constitue le niveau le plus élevé en matière d’exigence de sûreté. Le projet LCHIP combine un environnement de développement complet en langage B (mathématique) à une plateforme d’exécution des logiciels sécurisée en […]

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 […]