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

Site Coppilot – Site Fersil

Installation des 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.

Capteur Laser	Capteur Infra-rouge	Radar
Automate de sécurité

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.

Présentations de Coppilot

• Conférence AFIS 2006

Une présentation de Coppilot a été réalisée dans le cadre de la conférence AFIS 2006 (Association Française d’Ingénierie Système) à Toulouse en mai.

Vous pouvez télécharger la présentation : cliquez ici et l’article : cliquez ici

• Conférence Lambda Mu 15 à Lille du 9 au 12 octobre 2006

L’article « Utilisation de la méthode formelle B pour un système SIL3 : la commande des portes palière sur la ligne 13 du métro Parisien » co écrit par Clearsy et RATP a été présenté à l’occasion du Lambda Mu 15. Une maquette du système était en démonstration sur notre stand.

Accéder à l’article + Compte-rendu de la conférence Lambda Mu 15

Plus d’informations de la RATP sur :

http://www.stif.info/IMG/pdf/Doc_Porte_Paliere-_Patrick.pdf

Fin de la période de Test

Les 3 installations ont été démontées en décembre 2006.

Site Coppilot

Liens

METEOR :

http://www.rennes.supelec.fr/sic/REUNIONS/SdF/2000_03_23/Gallardo.ppt