Fersil:
ClearSy's Offers in the Railway System Sector


DOF1:
Device to Open and Close the Platform Doors on line 1, SIL4


COPP:
Platform Screen Doors at the Paris-Châtillon Station


COPPILOT:
Device to Open and Close the Platform Screen Doors

Operational Safety :
Blog about Operational Safety.

B Method:
Site about the B method, a formal method with proof


Open Source Projects:
Platform development of our open-source projects.

Atelier B:
Industrial tool enabling the operational use of Method B for proven software development.

Brama:
Animation tool for models undergoing development.


CompoSys:
Tool for formal design of systems architecture.