Atelier B http://www.atelierb.eu Wed, 02 Nov 2011 13:44:04 +0000 en hourly 1 http://wordpress.org/?v=3.2.1 L’Atelier B 4.0.2 est disponible pour les détenteurs d’un contrat de maintenance http://www.atelierb.eu/2011/01/14/latelier-b-4-0-2-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/ http://www.atelierb.eu/2011/01/14/latelier-b-4-0-2-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/#comments Fri, 14 Jan 2011 14:21:55 +0000 ClearSy http://www.test.atelierb.eu/?p=321 Continuer la lecture →]]> L’Atelier B 4.0.2 a été mis à disposition le 07 Janvier 2011 et peut être téléchargé par les possesseurs d’un contrat de maintenance Atelier B 4 sur cette page : Compte Atelier B.

Cette version corrige 84 anomalies et propose 14 améliorations.

]]> http://www.atelierb.eu/2011/01/14/latelier-b-4-0-2-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/feed/ 0 L’Atelier B 4.0.1 est disponible pour les détenteurs d’un contrat de maintenance http://www.atelierb.eu/2009/12/22/latelier-b-4-0-1-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/ http://www.atelierb.eu/2009/12/22/latelier-b-4-0-1-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/#comments Tue, 22 Dec 2009 13:11:16 +0000 ClearSy http://www.test.atelierb.eu/?p=356 Continuer la lecture →]]> Nous avons le plaisir de vous informer de la mise à disposition de l’Atelier B 4.0.1.

Cette version est exclusivement réservée aux détenteurs de la maintenance, et est accessible via leurs comptes respectifs sur le site de l’Atelier B.

Cette nouvelle version est disponible sous Linux, Windows, Mac et Solaris, et corrige plusieurs bugs de la version 4.0, que vous pouvez consulter à cette adresse : Statut des Bugs de l’Atelier B.

]]> http://www.atelierb.eu/2009/12/22/latelier-b-4-0-1-est-disponible-pour-les-detenteurs-dun-contrat-de-maintenance/feed/ 0 Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B http://www.atelierb.eu/2009/10/09/smart-event-2009-presentation-du-projet-forcoment-developpe-avec-latelier-b/ http://www.atelierb.eu/2009/10/09/smart-event-2009-presentation-du-projet-forcoment-developpe-avec-latelier-b/#comments Fri, 09 Oct 2009 13:13:24 +0000 ClearSy http://www.test.atelierb.eu/?p=360 Continuer la lecture →]]> 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 :

  • l’unité de protection mémoire utilisée dans la nouvelle famille de produits ST23
  • les principales étapes de conception suivies pour le développement du code
  • la comparaison avec le code pour la même macro-cellule développée avec un flux traditionnel

Découvrir le site SMART EVENT 2009…

]]> http://www.atelierb.eu/2009/10/09/smart-event-2009-presentation-du-projet-forcoment-developpe-avec-latelier-b/feed/ 0 ProB, utilisable depuis l’Atelier B 4.0 http://www.atelierb.eu/2009/07/07/prob-utilisable-depuis-latelier-b-4-0/ http://www.atelierb.eu/2009/07/07/prob-utilisable-depuis-latelier-b-4-0/#comments Tue, 07 Jul 2009 09:16:29 +0000 ClearSy http://www.test.atelierb.eu/?p=364 Continuer la lecture →]]> 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.

]]> http://www.atelierb.eu/2009/07/07/prob-utilisable-depuis-latelier-b-4-0/feed/ 0 Etat d’Avancement des Traductions des Manuels Atelier B http://www.atelierb.eu/2009/05/12/etat-davancement-des-traductions-des-manuels-atelier-b/ http://www.atelierb.eu/2009/05/12/etat-davancement-des-traductions-des-manuels-atelier-b/#comments Tue, 12 May 2009 13:20:10 +0000 ClearSy http://www.test.atelierb.eu/?p=369 Continuer la lecture →]]> 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 Anglais, grâce à l’aide de Aryldo G. Russo Jr. Celui-ci est disponible au format wiki.
  • Le manuel de rédaction de règles mathématiques a été traduit en Anglais, grâce à l’aide de David Deharbe et Anderson Santana de Oliveira. Il est disponible au format pdf et wiki.
  • La traduction en Anglais du Manuel utilisateur du langage B a commencé et devrait être terminée d’ici l’été 2009.

Si vous souhaitez vous joindre aux efforts de traduction, merci de nous contacter à l’adresse suivante : open-source@clearsy.com.

Pour synchroniser les efforts et éviter les travaux en doublons, nous vous demandons de bien vouloir nous envoyer un mail lorsque vous prévoyez d’entamer des travaux de traduction.

]]> http://www.atelierb.eu/2009/05/12/etat-davancement-des-traductions-des-manuels-atelier-b/feed/ 0 L’Atelier B 4.0 est disponible ! http://www.atelierb.eu/2009/04/11/latelier-b-4-0-est-disponible/ http://www.atelierb.eu/2009/04/11/latelier-b-4-0-est-disponible/#comments Sat, 11 Apr 2009 10:26:50 +0000 ClearSy http://www.test.atelierb.eu/?p=373 Continuer la lecture →]]> 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 :

Parmi les principales évolutions de l’outil, notons surtout :

  • la compatibilité Mac OS X et Windows supportés en plus de Linux et Solaris
  • une nouvelle interface graphique proposant:
    • l’intégration des fonctionnalités du paralléliseur (application visant a optimiser les temps de traitement des projets B par une utilisation transparente, distante et parallèle de l’Atelier B.)
    • une interface de preuve repensée
    • un éditeur avec navigation et complétion automatique
  • Intégration de la preuve de bonne définition des modèles
  • Ajout d’un outil de raffinement automatique (BART)

Nous vous invitons à télécharger cette nouvelle version sur le site Atelier B : Télécharger l’Atelier B.

]]> http://www.atelierb.eu/2009/04/11/latelier-b-4-0-est-disponible/feed/ 0 L’Atelier B 4.0 en beta test 2… http://www.atelierb.eu/2009/04/11/latelier-b-4-0-en-beta-test-2/ http://www.atelierb.eu/2009/04/11/latelier-b-4-0-en-beta-test-2/#comments Sat, 11 Apr 2009 07:31:52 +0000 ClearSy http://www.test.atelierb.eu/?p=380 Continuer la lecture →]]> 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.

Pour nous contacter et recevoir vos remarques et suggestions, contactez-nous à l’adresse suivante : contact@atelierb.eu.

En savoir plus sur l’Atelier B 4.0…

]]> http://www.atelierb.eu/2009/04/11/latelier-b-4-0-en-beta-test-2/feed/ 0 L’Atelier B 4.0 en beta test… http://www.atelierb.eu/2009/03/02/latelier-b-4-0-en-beta-test/ http://www.atelierb.eu/2009/03/02/latelier-b-4-0-en-beta-test/#comments Mon, 02 Mar 2009 13:36:54 +0000 ClearSy http://www.test.atelierb.eu/?p=385 Continuer la lecture →]]> 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.

Pour nous contacter et recevoir vos remarques et suggestions, contactez-nous à l’adresse suivante : contact@atelierb.eu

En savoir plus sur l’Atelier B 4.0…

]]> http://www.atelierb.eu/2009/03/02/latelier-b-4-0-en-beta-test/feed/ 0 Quelques captures d’écran de l’Atelier B 4.0 http://www.atelierb.eu/2009/02/22/quelques-captures-decran-de-latelier-b-4-0/ http://www.atelierb.eu/2009/02/22/quelques-captures-decran-de-latelier-b-4-0/#comments Sun, 22 Feb 2009 10:40:30 +0000 ClearSy http://www.test.atelierb.eu/?p=389 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…

Capture d'écran - Windows Capture d'écran - Mac Capture d'écran - Linux ]]> http://www.atelierb.eu/2009/02/22/quelques-captures-decran-de-latelier-b-4-0/feed/ 0 Atelier B 4.0 : Etat d’Avancement http://www.atelierb.eu/2009/02/11/atelier-b-4-0-etat-davancement/ http://www.atelierb.eu/2009/02/11/atelier-b-4-0-etat-davancement/#comments Wed, 11 Feb 2009 15:10:55 +0000 ClearSy http://www.test.atelierb.eu/?p=478 Continuer la lecture →]]> 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. jusqu’à sa diffusion finale au grand public

]]> http://www.atelierb.eu/2009/02/11/atelier-b-4-0-etat-davancement/feed/ 0