Services ferroviaires
Ouragan Octys Ligne 13
Le projet OCTYS Ligne 13 consiste à mettre en place une solution globale de contrôle et de commande des trains circulant sur la ligne 13 du métro parisien.
Contrôle et commande des trains circulant sur la ligne 13 du métro de Paris
Client
> CLIENT : Métro de Paris
> DATE DU PROJET : Mai 2008 / Juin 2009
> LIEU : Ligne 13
Contexte
> Le projet octys ligne 3 consiste à mettre en place une solution globale de contrôle et de commande des trains circulant sur la ligne 13 du métro parisien.
Cette solution englobe entre autres un renouvellement des automatismes au sol et embarqués (Bord).
Nos actions
Au sein des équipes Système en charge des automatismes de contrôle/commande Ouragan L13.
VÉRIFICATION DE MODÈLES
> Évaluation méthodologique pour la vérification formelle des composants SCADE réalisant les logiciels du métro Ouragan Ligne 13
> Évaluation des outils SCADE Design Verifier / Prover Technology
> Vérification de la bonne définition des règles de preuve ajoutées par l’utilisateur.
Modélisation système
> Spécification du niveau système de composants logiciels Ouragan ligne 13
> Fonction de gestion des interfaces avec les équipements de signalisation
> Modélisation de l’architecture logicielle Simulink
> Spécification des exigences logicielles
Ingénierie des données
> Ingénierie des données statiques de configuration du métro Ouragan ligne 13
> Production de plans système de gestion des données
> Production de dossiers de spécification des données système
> Spécification des formats de données utiles aux sous-systèmes