Mise en service de portes palières sur le quai de la station de métro Invalides et Saint-Lazare direction Saint-Denis Ligne 13
Installation des portes
Elle a commencé au cours de la nuit du 21 février 2006.
La première façade de quai a été installée et fonctionnait depuis le 22 février au matin. L’installation s’est poursuivie jour après jour
pour tout le quai. Kaba réalisait les façades et les installait.
L’installation des portes à Saint-Lazare s’est effectuée peu de temps après en mars. Faiveley a réalisé les portes.
Intervention de CLEARSY : le système Coppilot ouvre et ferme en sécurité les portes palières
CLEARSY est responsable de la maîtrise d’oeuvre du système sécuritaire prototype de contrôle commande des portes
installées. Ces portes sont pilotées par un système de contrôle commande externe au métro existant, composé d’un automate et de différents capteurs. Jusqu’alors, Meteor (ligne 14) était la seule ligne équipée de portes palières, pilotées par les automatismes sécuritaires du métro. L’originalité du nouveau système est qu’il fonctionne pour les métros sans automatisme intégral. L’ensemble du système est sécuritaire et répond aux normes du ferroviaire en vigueur. Pour assurer la sécurité du système et des automatismes CLEARSY a utilisé la méthode formelle B.
Autres quais
Un dernier quai était en cours d’installation dans le cadre de cette opération de démonstration : Saint-lazare ligne 13.
CNIM réalise les façades qui équipaient le quai.
Techniques mises en oeuvre par CLEARSY dans le système Coppilot
La méthode formelle B a été utilisée pour la première fois dans les différentes phases systèmes, des spécifications générales du système englobant les propriétés de sécurité du système, aux spécifications détaillées du code de l’automate qui a été mis en œuvre.
L’utilisation de la méthode B a permis, en phase d’étude système, de définir précisément les objectifs fonctionnels et de sécurité du système puis de définir une architecture répondant à ces critères. Elle a permis ensuite de garantir mathématiquement une traçabilité entre les exigences de sécurité en amont, jusqu’au code implémenté. Un dossier de sécurité du système a été établi, il est de niveau SIL 3. Le système réalisé par CLEARSY se compose d’un automate Sécuritaire SIL3 et de différents capteurs : infrarouges,
lasers et radars.
Fin de la période de Test
Les 3 installations ont été démontées en décembre 2006.