Mise en service de nouvelles 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
|
|
|
Capteur
Laser
|
Radar AMG
|
|
Capteur
infra-rouge
|
Automate
de sécurité
|
|
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 (voir photo ci contre) qui a été mis en
oeuvre.
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
Une présentation de Coppilot a été faite 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
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 sera présenté à l'occasion du Lamda Mu 15. Une
maquette du système sera en démonstration sur notre stand.
Accéder à l'article + Compte-rendu de la conférence Lamda 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
|
