Le projet ACSES consiste à développer un système de gestion de zones de réduction temporaire de vitesse de train.
- CLIENT : Alstom
- DATE DU PROJET : Juillet/août 2010
Contexte du projet
Cette gestion est réalisée par l’intermédiaire d’une base de données 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.
Fonctionnalités
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 à une instance du programme. Dans ce cadre, il a fallu implémenter une communication entre les différentes instances.
Liées à cet référence