Assistance à la qualification de MF2000

CLEARSY occupe dans le cadre du développement de ces projets le rôle de “vérificateur externe”, en se chargeant de recenser les différentes modifications opérées sur le document de spécification…

• CLIENT : RATP

Le nouveau métro sur voie fer MF2000 destiné à être mis en service sur les lignes 2, 5 et 9 à partir de fin 2006 est équipé d’un système de pilotage et de détection de défaillances entièrement informatique, contrairement aux précédents systèmes qui utilisaient encore de l’électronique à relais.

CLEARSY a été engagée en assistance technique pour la vérification de la phase remontante du cycle en V, c’est à dire les tests, leurs résultats et leurs spécifications, ceci en validation comme en intégration.

Les trois composants principaux de l’informatique de sécurité, le CP (calculateur principal), le MIS (module d’interface sécurisé) et l’EPE (enregistreur de paramètres d’exploitation) ont ainsi été vérifiés.

Réalisations

• Relecture des documents de tests (Validation, intégration et système)
• Suivi des évolutions des documents de conception et vérification de leur bonne prise en compte vis-à-vis des tests.
• Relecture critique du code source et vérification de l’application des règles de codage.
• Relecture des tests unitaires et de leurs résultats.
• Application de la norme EN50128 sur des livraisons logicielles SIL2 (EPE) et SIL4 (CP et MIS).
• Développement d’outils d’aide à la vérification de documents formatés (pseudo-code, tables de traçabilité…)