Assistance à l’analyse et à la validation des logiciels critiques Octys

OURAGAN maintenant Octys (Offre Urbaine Renouvellée et Améliorée, Gérée par un Automatisme Nouveau) est un système de contrôle commande de train (CCT) développé pour la RATP.

Destiné à remplacer le système actuel de signalisation du métro de Paris, Ouragan est un système critique de sécurité destiné à moderniser les PCC (Postes de Commande Centralisés), la signalisation, ainsi que certains automatismes sécuritaires.

Ses principales fonctionnalités consistent à :

• localiser le train sur la voie,
• gérer les différent modes de pilotage (manuel ou automatique) du train,
• contrôler la vitesse du train en tout point de la voie,
• respecter les signaux,
• de réaliser les manœuvres nécessaires (ex: retournement en quai),
• gérer les différents modes de freinage,
• de gérer la communication avec le sol.

Afin de s’assurer du bon fonctionnement de ce logiciel, CLEARSY a signé un contrat pour l’analyse et la validation logicielle du système pour le compte d’un constructeur retenu dans le cadre de ce projet. Ces actions permettent ainsi de s’assurer du bon fonctionnement de celui-ci et de sa conformité avec la spécification fonctionnelle.

Nos actions

Dans le cadre du système OURAGAN, CLEARSY participe à l’analyse et à la validation logicielle afin d’éviter tout dysfonctionnement pouvant avoir un impact sur la sécurité des passagers.

CLEARSY a mené ces actions en se basant sur :

• le modèle B du logiciel
• le dossier de spécification logicielle

Ce projet implique :

• la rédaction d’un document d’analyse de la conception générale formelle du produit logiciel développé selon la méthode formelle B afin de s’assurer de la cohérence et de la complétude du modèle B par rapport aux besoins contenus dans le dossier de spécification.
• la rédaction d’un document présentant l’analyse des machines de base et du code associé du même logiciel.
• la rédaction d’un document décrivant les cas de tests nécessaires à la validation.
• la réalisation de l’activité de test : écriture et simulation de scénarios à l’aide du simulateur d’environnement.
• la rédaction d’un document présentant les résultats des tests fonctionnels réalisés pour couvrir les cas de tests précédents dans le but de fournir le bilan de cette activité.