ACSES

• Client : Alstom
• Date : juillet/août 2010

Contexte du Projet

Le projet ACSES consiste à développer un système de gestion de zones de réduction temporaire de vitesse de train. Cette gestion est réalisée par l’intermédiaire d’une base de donnée qui est mise à jour et consultée par le biais d’une interface modélisée en B. Le système doit pouvoir garantir certaines contraintes de sûreté de fonctionnement dans la gestion de la base. Un modèle B permet d’exprimer ces contraintes sous forme de propriétés et ainsi de prouver leur respect quelque soit l’état du programme.

Dans ce cadre, Clearsy a été consultée par Alstom afin de réaliser des mises à jour et des rajouts de fonctionnalités sur le modèle B déjà existant.

Voici un aperçu des fonctionnalités récemment développées :

• Gestion d’un changement de ligne.
• Redécoupage du réseau. Il s’agit d’un découpage par secteur qui regroupe plusieurs lignes. Chaque secteur correspond a une instance du programme. Dans ce cadre, il a fallut implémenter une communication entre les différentes instances.