L'Edito

ClearSy présente de nombreuses nouveautés ce mois-ci.

A commencer par la diffusion de l'Atelier B 3.7 depuis juillet 2007. Cette version apporte de nombreuses améliorations aux fonctionnalités de l'Atelier B.

En septembre, ClearSy a organisé la journée Rodin Industry Day. Cette journée a rassemblé une soixantaine de personnes autour de la question de l'état d'avancement des développements de la plateforme de modélisation formelle Rodin.

Du côté des nouveaux projets, la RATP a confié à ClearSy la réalisation du système SIL3/4 de commande d'ouverture et de fermeture des portes palières qui seront installées Porte de Chatillon sur la ligne 13 du métro Parisien (projet COPP).

Nous donnons enfin quelques informations sur le nouveau projet Cosyc, ainsi que sur les évolutions récentes de nos outils Brama et B4Free.

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

Bonne lecture.

L'Actualité de ClearSy

RODIN Industry Day

Au cours de cette seconde édition, de nombreuses présentations de plugins Rodin et d'exemples d'applications concrètes ont été présentés. Certaines de ces présentations sont disponibles sur la Page Rodin Industry Day 2007.

Présence de ClearSy à la conférence SMBF 2007 au Brésil

ClearSy était présente à la conférence SBMF 2007 et a présenté son article : Formal Methods in Safety-Critical Railway Systems. Elle y a abordé l'utilisation de la méthode B dans son processus de réalisation de systèmes, et montré l'utilisation des outils CompoSys et Brama de la plateforme Rodin. L'université Brésilienne UFRN a également présenté ses travaux de modélisation avec la méthode B. Découvrir le site officiel de la conférence...

Fersil, disponible en version multilingue

Nous avons le plaisir de vous annoncer que le site Fersil.fr est désormais consultable dans 4 langues, à savoir le français, l'anglais, l'espagnol et l'allemand.

Plus d'actualités...

Projets Industriels

Projet COPP :

Le système COPP commande les Portes Palières indépendamment des automatismes de conduite du train. Le COPP, à l’aide de capteurs installés dans la station, observe une partie de la zone des voies, et analyse le comportement des trains passant en station. Une partie matérielle de COPP est aussi installée dans le train pour récupérer l'information d’ouverture et de fermeture des portes du train. Lorsque les conditions d'observation sont remplies, et que le train délivre une information d’ouverture ou de fermeture des portes du train, COPP commande en sécurité l’ouverture ou la fermeture des Portes Palières du quai adjacent au train.

La sécurité dans COPP est basée sur la garantie SIL3 de la présence du train, à l’arrêt dans la zone d’arrêt. Le système COPP s’intègre dans le système plus général chargé du retournement automatique des trains Porte de Châtillon. Notre processus de développement est basé sur l'utilisation de la méthode B aux niveaux systèmes et logiciels.

Projet Cosyc :

La région PACA, OSéo Innovation et le Pôle de Compétitivité "Solutions Communicantes Sécurisées" ont retenu le projet Cosyc (Construction correcte de Systèmes communicants embarqués Critiques) dans le cadre de l’appel à projet de recherche finalisé 2007 (PRIDES).

Ce projet, d'une durée de 30 mois, vise à démontrer la faisabilité de l’intégration de modèles formels fonctionnels et dysfonctionnels, afin de construire des systèmes sûrs de fonctionnement prouvés. Les travaux seront réalisés sur la base des langages formels B et Altarica, et de leurs ateliers respectifs (Atelier B et Combava).

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.

L’Atelier B 3.7 est disponible depuis le 18/07/2007. Il apporte de nombreuses améliorations aux fonctionnalités de l'Atelier B afin de faciliter le travail du développeur en agissant sur l'interface utilisateur, la preuve et l'aspect système.
Se rendre sur le site de l'Atelier B

La version 0.0.16 de Brama est disponible.
Les changements apportés sur cette nouvelle version concernent principalement :

• l'amélioration des messages d'erreur.
• le support des fonctions : Brama est maintenant capable de rechercher des valeurs pour des fonctions.
• la modification du tri des événements et ajout d'un bouton permettant de trier les variables.
• une meilleure compatibilité avec MacOS X.

Se rendre sur le site de Brama

Nouvelle version de B4Free

Une nouvelle version de B4Free est désormais téléchargeable. Les principales nouveautés : un générateur de code permettant de traduire les implémentations B en langage C. Cette nouvelle version est également basée sur l'Atelier B dans sa version 3.7.
Se rendre sur le site de B4Free.

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