ClearSy.com - Newsletter N°8

Newsletter - n°8 - Novembre/Décembre 2007

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

L'Edito

La fin de l'année 2007 s'avère riche en nouveautés pour ClearSy.

Nous avons notamment participé en octobre à un Salon au Brésil dédié au transport ferroviaire.

Du côté des nouveaux projets, ClearSy développe actuellement un système de Simulateur de Tapis P.A., système dont nous vous parlerons dans cette lettre.

Nous donnons enfin quelques informations sur la nouvelle version de CompoSys, sur l'application BART et sur le traducteur ComenC...

Vous êtes désormais 1575 à lire cette lettre. Merci de votre intérêt...

Bonne lecture.

L'Actualité de ClearSy...

Participation de ClearSy au Salon "Negocios nos Trilhos 2007" au Brésil
Clearsy était présente au Salon ferroviaire "Negocios nos Trilhos 2007" à Sao Paulo fin octobre (sur l’espace Français réservé par la mission économique Française au Brésil). Clearsy a présenté son savoir faire dans le domaine des systèmes sécuritaires et les différents systèmes sécuritaires qu'elle développe.

Découvrir le compte-rendu de la Conférence...

Plus d'actualités...

Projet(s) Industriel(s)

Projet Simulateur Tapis P.A. : La RATP a confié à ClearSy la mise au point d'un simulateur de tapis (le tapis est au sol situé entre les rails) du système de Pilotage Automatique de métro.

Cet appareil permet de remplacer le tapis par un simulateur embarqué à bord du train. Il permet d'essayer différentes configurations du tapis sans qu'il soit nécessaire ni de le fabriquer ni de l'installer. Ce simulateur est utilisé entre autre dans le cadre du projet du retournement automatique pour améliorer la fluidité de la ligne 13 du métro Parisien.

En effet, la RATP va équiper la station "Porte de Châtillon" d'un nouveau système de retournement des trains. Ce système, actuellement assuré par deux conducteurs, va devenir entièrement automatique (sans conducteur). La station va pour cela être équipée d'une part de portes palières installées sur les quais pour assurer la sécurité, et d'autre part bénéficier d'un système automatique de retournement.

Le simulateur de tapis P.A. se présente sous forme d'une mallette équipée d'une électronique de simulation des différentes fréquences selon le protocole de communication Bord/Sol.

Outils de ClearSy/Méthodes

ClearSy réalise des outils d'ingénierie et distribue notamment l'Atelier B, B4free, Brama et CompoSys. D'autres outils sont en cours de développement.

	CompoSys, version 1.6 CompoSys est un outil de modélisation de système. Sa nouvelle version, la version 1.6, est maintenant compatible avec les outils OPEN SOURCE Rodin, et présente les fonctionnalités suivantes : Editeurs machine et dictionnaire : Les éditeurs sont remplacés par des éditeurs à base de formulaires. Vues supplémentaires : Une vue pour la description longue. Une vue pour le graphe des liens entre composants. Nouvelles fonctionnalités : Les systèmes peuvent être prouvés directement sous Composys. L’animation des modèles est également disponible. Cette nouvelle version sera prochainement diffusée. Nous ne manquerons pas de vous en informer... Pour en savoir plus, rendez-vous sur le site CompoSys.fr.

	BART Le projet BART (B Automatic Refinement Tool) vise à développer un outil de raffinement automatique de machines B. Cet outil permettra de générer automatiquement une implémentation B0 pour une machine ou un raffinement B suffisamment détaillé. BART fonctionne sur une base de règles de raffinement. Des règles de raffinement supplémentaires peuvent être ajoutées afin de permettre la personnalisation du raffinement de certains composants. L'outil de raffinement automatique BART est développé dans le cadre du projet RIMEL, et sera intégré dans la prochaine version de l'Atelier B. La spécification est actuellement en cours de finalisation...

	Le traducteur ComenC Le traducteur ComenC est un nouveau traducteur pour le langage B. Il permet de traduire des implémentations B0 vers le langage C. Ce traducteur est issu de la convergence entre les traducteurs industriels, et des travaux de recherches tels que le projet RNTL BOM (B optimisé mémoire). Par rapport aux traducteurs précédents, le traducteur ComenC propose une traduction plus simple, permettant d'obtenir un code plus efficace et plus proche du B0 d'origine. Le traducteur C ComenC est maintenant fourni avec B4free, et sera prochainement distribué sous licence "open-source". Nous ne manquerons pas de vous informer des évolutions à venir de l'outil...

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 Cléry
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'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