clearsy provides safety critical systems and softwares fersil is the railway activity of clearsy
TRANSCRIPT
![Page 1: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/1.jpg)
Clearsy
Provides safety critical systems and softwares
Fersil is the railway activity of Clearsy
![Page 2: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/2.jpg)
• Provides safety critical sytems SIL2 to SIL4• Provides safety critical softwares SIL2 to SIL4• Uses the B formal method to develop it• Provides the safety cases• Develops the software toolkit development :
Atelier B, used by Alstom and Siemens to develop ATP Safety critical systems
Clearsy
![Page 3: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/3.jpg)
RailwayCustomers
![Page 4: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/4.jpg)
Clearsydevelops and distributes
SAFETY SYSTEMS
• DOF1
• COPP
• KPVA
• KFS
B FORMAL METHOD TOOL
• ATELIER B
![Page 5: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/5.jpg)
DOF1 System – SIL3/4Paris Line 1
• opening and closing platform screen doors system• Safety critical SIL3 system• To be installed on all the line 1 of Paris, currently
in test in many stations• SIL4 authorization of the opening and closing
train doors
![Page 6: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/6.jpg)
DOF1 SIL4
sensor Automaton matOn board DOF1
![Page 7: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/7.jpg)
KPVAIndependant system control of speed train ;
installed in all the lines in Paris
![Page 8: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/8.jpg)
COPP System – SIL3
• opening and closing platform screen doors system• Safety critical SIL3 system• In Châtillon station (line 13 of Paris)• Included in the Automatic Turnback system• Controling the presence of the train stoped in the
station, in the available zone
![Page 9: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/9.jpg)
COPP SIL3
![Page 10: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/10.jpg)
Automatic Turnback
![Page 11: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/11.jpg)
DAAT-KFS
System to stop the trainwhen it goes across a closed signal (red)
![Page 12: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/12.jpg)
B formal methodin the world
![Page 13: Clearsy Provides safety critical systems and softwares Fersil is the railway activity of Clearsy](https://reader035.vdocument.in/reader035/viewer/2022062421/56649dc55503460f94ab92c6/html5/thumbnails/13.jpg)
Contact
• www.clearsy.com
• www.fersil.fr