ClearSy organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.

Ce séminaire, intitulé “Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité”, est axé sur les dernières innovations concernant le développement d’applications critiques avec la méthode formelle B:

“L’Atelier B a été utilisé de manière intensive pour le développement d’applications critiques, principalement dans le domaine ferroviaire

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.