Installation of the new landing doors on the platforms of the Invalides and Saint-Lazare subway stations, Line 13, in Paris
  
Installation
of the doors
|
|
 The works began during the night of February
21, 2006. The first platform screen was
installed and has been operational since the morning of February 22. The
installation continued on a daily basis for the entire platform. Kaba
manufactures and installs the screens.
|
 The
doors in Saint-Lazare were installed a short time later in March. Faiveley
manufactured the doors for the Saint-Denis direction platform and CNIM those for
the opposite platform..
|
ClearSy's role: secure opening and closing of the landing doors with the Coppilot system
|
|
|
Laser Sensor
|
AMG Radar
|
|
Infra-Red Sensor
|
Security Automaton
|
|
Clearsy is responsible for the management of the prototypesecurity system for the commands of the installed doors. These doors are controlled via a command
system that is external to the existing subway and consists in an automaton and
various sensors. Until now, the Meteor
(Line 14) was the only subway line equipped with landing doors managed by the
subway's secure automatic controls. The
originality of the new system is that is operates for subways that are not
fully equipped with automatic controls.
The entire system is secure and meets the railway standards currently in
effect. In order to ensure the system's
security and automatic controls, Clearsy used the formal method B.
|
Techniques used by ClearSy in the Coppilot system
Formal method B was used for the first time in the various system
phases, the general specifications for the system covering the system's
security features and the detailed specifications for the automaton code used
(see the photo).
The use of method B at the system study phase led to a
precise definition of the functional and security objectives for the system,
then the definition of an architecture that fulfilled these criteria. It then
allowed for a mathematical guarantee of traceability from the frontline
security requirements up to the code used. A system security dossier was
prepared at the SIL 3 level. Clearsy's
system consists in a Security SIL 3 automaton and various sensors: infrared,
laser and radar.
 
Coppilot presentations
Coppilot was presented at
the AFIS 2006 Conference (French Association of System Engineering) in Toulouse
in May.
View
the AFIS 2006 presentation and article: View the AFIS
2006 article
Clearsy and the RATP
co-authored the "Use of the Formal Method B for an SIL3 System: Landing Door
Commands for Line 13 on the Parisian Subway System", which will be presented at
the Lamda Mu 15 Conference. A model of
the system will be demonstrated at our booth.
View the article
More information on the RATP: http://www.stif.info/IMG/pdf/Doc_Porte_Paliere-_Patrick.pdf
End of the Period of Test
The 3 installations were dismounted in december 2006.
Coppilot Website
Links
METEOR : http://www.rennes.supelec.fr/sic/REUNIONS/SdF/2000_03_23/Gallardo.ppt
|
