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