Newsletter - n°3 - Février 2007

English Version - Vous ne parvenez pas à lire correctement cette lettre...
L'Edito

 

 

La 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 :

1. L'Actualité Clearsy

2. Nos Projets

3. Nos Outils et Méthodes

4. Nos Produits et Formations

5. Nous contacter

 

L'Actualité de ClearSy...

 

CompoSys : une nouvelle version d'évaluation 1.5

 

Clearsy 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


 

Plus d'actualité...

Projets Industriels

 

Val 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 ...

 

La conférence internationale B 2007


La 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.

Voir notre compte-rendu.

Découvrir le site B2007

Outils de Clearsy/Méthodes, Focus sur Brama


Clearsy 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...

 

ClearSy Aix en Provence

Parc de la Duranne
320, avenue Archimède
Les Pléiades III - Bât A
 13857 AIX EN PROVENCE CEDEX 3 - FRANCE

ClearSy Paris

34, rue de Clery
75002 PARIS
 

Tel : 04.42.37.12.70
Fax :04.42.37.12.71

Tel : 01.40.28.14.57
Fax :01.40.28.14.58


E-mail de la rédaction : newsletter@clearsy.com

 

Je souhaite m'inscrire, ou me désabonner gratuitement de 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