| Newsletter - n°7 - Octobre 2007 |
English Version - Vous ne parvenez pas à lire correctement cette lettre...
| 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...
|
|
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). Plus d'informations sur le projet Cosyc...
|
|
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.
|
|
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 |