| Newsletter - n°3 - Février 2007 |
English Version - Vous ne parvenez pas à lire correctement cette lettre...
L'EditoLa conférence internationale B 2007 en janvier, la sortie d'une nouvelle version de CompoSys, le téléchargement gratuit de plusieurs animations graphiques de modèles réalisés avec Brama et un site dédié, une actualité importante sur B ce mois ci, relaté dans cette lettre. Vous êtes maintenant 887 à lire cette lettre, votre intérêt nous encourage à continuer, merci et ... Bonne lecture ! Sommaire :
L'Actualité de ClearSy...CompoSys : une nouvelle version d'évaluation 1.5Clearsy développe CompoSys, l'outil d'aide à la réalisation de modèles formels système documentés. Une nouvelle version est désormais disponible, elle fonctionne dans l'environnement Windows. L'ergonomie de son interface a été grandement améliorée, et de nombreux guides, tutoriaux et aides ont été intégrés. La version 1.5 sera envoyée à tous ceux ayant demandé la version précédente. Plus d'information sur CompoSys : www.composys.fr La conférence internationale B 2007La conférence internationale B 2007 s'est tenue à Besançon en janvier 2007. C'est l'occasion pour la communauté B de se rencontrer et d'échanger sur différents sujets de recherche dans le domaine du formel. L'ETH Zurich a réalisé en particulier un tutorial très complet du nouvel outil Open Source Rodin qui permet le développement de modèles de systèmes avec B. On a également remarqué la communication de Daniel Dollé (Siemens Transportation Systems) à propos du développement formel du projet B le plus important en terme de taille : la ligne du métro de New York nommée "Carnasie Line". Les transparents sont téléchargeables sur notre page. Projets IndustrielsVal de Roissy :Clearsy développe le logiciel sécuritaire du Val de Roissy. Les essais réels sur voie ont débuté en janvier. En savoir plus... Projet Coppilot :Clearsy a développé le système de contrôle commande des portes pallières installée à Saint-Lazarre et Invalide Ligne 13. Les portes pallières (prototypes) ont été démontées après 8 mois de test. Plus d'information sur Coppilot ... Outils de Clearsy/Méthodes, Focus sur BramaClearsy réalise des outils d'ingénierie et distribue notamment l'Atelier B, B4free et CompoSys. D'autres outils sont en cours de développement. Dans cette lettre, nous détaillons un peu plus l'outil Brama actuellement en développement. Brama : Outil d'aide à l'animation graphique de modèles B.Le modélisateur réalise ses modèles B avec l’Atelier B, B4free ou la plateforme Rodin, puis ensuite exploite l’outil d’animation Brama, qui utilise ces modèles. Brama a été conçu pour communiquer avec les outils Flash que l’on configure avec une extension de communication livrée avec Brama. Le travail du modélisateur consiste à représenter son système avec les outils Flash et à configurer les scripts permettant de dialoguer avec le moteur d’animation Brama. Quand l’utilisateur est satisfait, Brama lui permet d’exporter l’animation réalisée sous formes de fichiers, qui une fois gravés sur un CD permettent de lancer l’animation graphique sans installation préalable et sur n’importe quel PC sous Windows ou Linux. Des exemples d'animations (qui seront en ligne courant de la semaine) sont disponibles sur le nouveau site : www.Brama.fr Stages :ClearSy propose aux élèves ingénieurs des sujets de stages concernant la modélisation mathématique et le développement de logiciels. En savoir plus... Nos Produits et Formations
Nous Contacter...
E-mail de la rédaction : newsletter@clearsy.com Je souhaite m'abonner, ou me désabonner gratuitement à la lettre de ClearSy.com... Par respect de la loi du 06-01-78 vous gardez un droit d'accès et de rectification aux données vous concernant. |
Copyright © ClearSy |