CLEARSY

CLEARSY is a French company with 160 employees, whose core expertise is the design and production of certified safety systems and software.

CLEARSY is the leader in the use of the formal B method based on mathematical proof; it publishes the reference tool ATELIER B, used in particular by major industrial companies for the development of automated systems for trains and metros, with or without drivers.

The use of the formal B method is a decisive asset in meeting the highest safety standards. This is the method used by CLEARSY in the development of certified safety systems.

Many safety-critical systems designed by CLEARSY are now in operation in France and abroad, and its simulation tools and test benches are used by leading operators and laboratories.

A wide range of products are available:

• safety hardware and software platform (computer),
• formal validation tool for critical data,
• safety system supervisor and interface,
• complete range of SIL4 safety relays: RS4,
• SIL4 systems for opening platform screen doors, automatic train stop,…
• simulation tools, test benches, etc.

CLEARSY is active in the railway, defence, transport, and energy sectors, for which CLEARSY is a EDF’s (Électricité de France) trusted technical third party for classified control systems.

CLEARSY is based in four design offices: Aix-en-Provence, Lyon, Paris and Strasbourg.