A major part of Clearsy’s activity is concentrated on the railway sector.
> CLIENT : RATP
> EQUIPEMENTS : Paris Metro Line 1, 26 equipped stations, 52 equipped train
> MAJOR DATES : 2007 to 2009
DOF1 Synthesis elements
> Project start: February 2007
> Start of DOF1 manufacture: may 2008
> Start of bringing DOF1 into operation on site: december 2008
> Start of operation of DOF1 with landing doors: february 2009
> Standards : 61508, EN50126, EN50128, EN50129
> Safety level: SIL3/SIL4 on the inopportune opening failure of the doors
In the context of the “Paris Subway Line 1 Automation” project, the SIL3 DOF1 safety system, which is independent from the automatic train system, command the opening and closing of the platform doors being installed on all the line’s platforms. This system is operationnal with existing trains and compatible with the new automatic trains that will progressively replace the current ones.
DOF1 also prevents the train doors on the opposite side of the platform from opening.
DOF1 will then be disassembled when all the automatic trains are in operation on Line 1.
The DOF1 system includes an embedded portion on the train that processes the train door opening and closing commands made by the conductor and sends the command to the portion located in the platform’s technical office. The command to open the door is processed and sent to the landing doors.
The train/ground link is effected via a mat installed on the rails, which creates a magnetic loop with a sensor installed on the train’s bogie.
This system is SIL3-level safe to ensure the landing doors can only be opened when the train has reached the platform. The solution is based on Siemens SIL3 automatons.
Clearsy is the Project Manager and responsible for the study and manufacturing of equipment series to be installed throughout the line.
Clearsy adopted an original method to submit to the call to tender: a B model of the specifications was performed with the Composys tool, then graphically animated with the Brama tool. We were therefore able to define the needs of the RATP by transcribing our understanding of the system into a model and then validating this understanding by animating the system in various scenarios viewed on the screen. Questions could therefore be asked and a detailed response provided, as the system must be designed in only six months.
Like the Coppilot system, Clearsy uses a development process that integrates the B method, from the system specifications up to the code stage. The B models developed participate in demonstrating the system’s safety and the level of availability of the system that must be very high in order to ensure fluid traffic.