Services ferroviaires

Ouragan Octys Ligne 3


Le projet OCTYS Ligne 3, anciennement Ouragan Ligne 3, consiste à mettre en place une solution globale de contrôle et de commande des trains circulant sur la Ligne 3 du métro parisien.

Ouragan Octys Ligne 3 validation du logiciel sécuritaire bord


Client


> CLIENT : Métro de Paris
> DATE DU PROJET : Avril 2008 à 2011
> LIEU : Ligne 3

Contexte


> Le projet octys ligne 3, anciennement ouragan ligne 3, consiste à mettre en place une solution globale de contrôle et de commande des trains circulant sur la ligne 3 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 de validation sécuritaires

VÉRIFICATION STATIQUE DES MODÈLES
> Analyse statique des machines de base pour s’assurer de la cohérence et de la complétude du code des machines de base avec le modèle B.
> Analyse statique de la conception générale formelle pour s’assurer de la cohérence et de la complétude du modèle B et de son implémentation avec les exigences de sécurité du logiciel embarqué.
> Vérification de la bonne définition des règles de preuve ajoutées par l’utilisateur.

VÉRIFICATION DYNAMIQUE DE LOGICIELS EMBARQUÉS SÉCURITAIRES
> Vérification de la complétude et de la bonne implémentation des exigences du dossier de sécurité du logiciel bord par la définition et la simulation de scénarios anti-sécuritaires.