L'Edito

Cette lettre d'information a pour objectif de vous communiquer les dernières nouveautés concernant la méthode B et les outils associés, et de vous permettre d'être régulièrement informé des évolutions de l'offre de Clearsy dans ce domaine.

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

Conférence Lambda Mu 15 : Maîtrise des risques et Sûreté de fonctionnement.

Présence de Clearsy à cette conférence. L'article "Utilisation de la méthode formelle B pour un système SIL3 : la commande des portes palières sur la ligne 13 du métro Parisien" a été co-écrit par Clearsy et RATP à cette occasion. (suite...)

Nouvelle Conférence B 2007

La conférence B2007 a été annoncée. Elle se déroulera du 17 au 19 janvier 2007. Clearsy y présentera l'outil Brama et a co-écrit une présentation avec STMicroelectronics. (suite...)

Projets Industriels

Les projets de Clearsy se déroulent dans des contextes de Recherche, de Développement d'une part et Industriels d'autre part.

Cette rubrique donne quelques informations sur des projets en cours dans Clearsy.

Coppilot :

Ce produit de Clearsy a été installé sur la ligne 13 du métro Parisien à Saint Lazare et Invalides. Ce système sécuritaire SIL3 pilote les portes palières en test à ces stations. La méthode B a été utilisée pour son développement, et pour la première fois du niveau système jusqu'au niveau de codage des automates. En savoir plus...

Val de Roissy :

Clearsy développe les logiciels sécuritaires des automatismes du futur VAL de ROISSY. Quelques éléments sont disponibles ici : Val de Roissy.

Outils de Clearsy/Méthodes

Clearsy réalise des outils d'ingénierie et distribue notamment l'Atelier B et B4free (www.atelierb.eu, www.b4free.com). D'autres outils sont en cours de développement :

Brama :

Outil d'animation de modèle et de visualisation graphique de modèle. Cet outil sera disponible en test début 2007.

Composys :

Outil de conception formelle d'architecture système. Une version est disponible en test (www.composys.fr), une nouvelle version d'évaluation est annoncée fin 2006.

Atelier B :

Une nouvelle version de l'Atelier B est également prévue fin 2006. Nous prévoyons aussi de distribuer une version temporaire gratuite aux étudiants des écoles dispensant des cours avec l'Atelier B, afin qu'ils puissent travailler leurs TP sur leur PC.

B4free :

B4Free est une version académique de l'Atelier B (www.B4free.com)

Rodin :

Le projet Rodin travaille au développement d'une plateforme ouverte pour la conception de systèmes tolérants aux fautes. Ce projet de 3 ans a pour objectif de développer le futur environnement de spécification système avec B.

ETH Zurich (Suisse) développe la plateforme de base. Une version incluant le raffinement et la preuve, sera disponible bientôt. En savoir plus...

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