L'Atelier B 4.0.1 est disponible pour les détenteurs d'un contrat de maintenance .:. posté par ClearSy .:.
|
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 sur cette page : Compte 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. |
|
|
Smart Event 2009 - Présentation du projet Forcoment, développé avec l'Atelier B .:. posté par ClearSy .:.
|
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... |
|
|
ProB, utilisable depuis l'Atelier B 4.0 .:. posté par ClearSy .:.
|
| 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. |
|
|
Etat d'Avancement des Traductions des Manuels Atelier B .:. posté par ClearSy .:.
|
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. |
|
|
L'Atelier B 4.0 est disponible ! .:. posté par ClearSy .:.
|
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. |
|
|
L'Atelier B 4.0 en beta test 2... .:. posté par ClearSy .:.
|
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... |
|
|
L'Atelier B 4.0 en beta test... .:. posté par ClearSy .:.
|
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... |
|
|
Quelques captures d'écran de l'Atelier B 4.0 .:. posté par ClearSy .:.
|
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...
|
|
|
Atelier B 4.0 : Etat d'Avancement .:. posté par ClearSy .:.
|
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 |
|
|
Atelier B 3.7.2 .:. posté par ClearSy .:.
|
La version 3.7.2 de l’Atelier B est disponible.
Cette nouvelle version inclut le traducteur ComenC, nouvel outil qui permet de traduire des implémentations B0 vers le langage C.
La future version 4.0 est actuellement en cours de développement. Parmi les nombreuses fonctionnalités à venir, l'Atelier B sera aussi supporté par Mac OS X et Windows, sera doté d'une nouvelle interface graphique et comprendra le nouvel outil BART. Pour connaître les autres fonctionnalités à venir, consultez l'historique des versions de l'Atelier B. |
|
|
|
