Cette version contient de nombreux correctifs et plusieurs améliorations. La fonctionnalité le plus marquante est une fonction de visualisation et de gestion des obligations de preuves qui est directement dans l’éditeur de modèle. On retrouve aussi deux nouvelles capacités pour la preuve interactive ainsi qu’un enrichissement de l’outil de gestion des règles de preuves. Un […]
Version 4.4.2 de l’Atelier B
Version 4.4.2 de l’Atelier B.
45 correctifs de maintenance, cette version apporte de nouvelles fonctionnalités en accès anticipé. Il s’agit de l’ajout d’une nouvelle commande dans le prouveur interactif, de l’ajout de nouvelle fonctionnalités dans l’outil de preuve de règles et de l’affichage des obligations de preuve dans l’éditeur.
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 […]
L’Atelier B a fêté ses 20 ans
A l’occasion de la conférence ABZ 2016 (http://www.cdcc.faw.jku.at/ABZ2016/) qui a eu lieu de 23 au 27 Mai 2016 à Linz (Autriche), ClearSy a été invitée
L’architecture bi-processeur SIL4 : aux journées de printemps de l’innovation de l’Open Source
A l’occasion de la conférence «Langages et outils pour des logiciels fiables » (12 mai 2016, Jussieu (Paris)) qui s’est déroulée pendant l’Open Source Innovation Spring, ClearSy
Sortie de la version de maintenance 4.3.1 de l’Atelier B
Nous avons le plaisir de vous informer de la mise à disposition de la version 4.3.1 de l’Atelier B. Cette version est exclusivement réservée aux détenteurs d’un contrat de maintenance
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 […]