CLEARSY

Safety software and systems designer

The CLEARSY company

CLEARSY was founded on January 1, 2001 by the team of engineers responsible for the industrialisation of the formal modelling tool called Atelier B, used in the railway sector to produce safety software.

CLEARSY: safety systems engineering

We are a French SME, specialised in the realisation of safety systems and software from level SIL1 to SIL4. We develop complex systems by ensuring their design, their validation, verification and safety study, right up to their commissioning.

CLEARSY produces safe systems and software in the railway, automotive, military, space and nuclear fields.

Download the leaflet Download
Download the product presentation Download
Download the rail products presentation Download

Presentation

News

Formal activities through the V cycle

9 May 2022 | Computer science

CLEARSY uses formal methods in many phases in the development cycle: systems reasoning: to define and prove mathematically system safety […]

RSSRail 2022 conference, Save the date! Paris, June 1-2nd, 2022

13 April 2022 | Exhibitions/conferences

This year the RSSRail 2022 conference will take place in Paris, France at UIC – International union of railways #UICrail, […]

CLEARSY will participate to RSSI trade show in Kansas City next May

14 March 2022 | Exhibitions/conferences

CLEARSY will participate to RSSI trade show in Kansas City next May. The “Railway Systems Suppliers” (RSSI) is a trade […]

CLEARSY will attend the ERTMS 2022 Conference

14 March 2022 | ERTMS

CLEARSY will attend the ERTMS 2022 Conference in Valenciennes from the 26th to the 28th of April 2022, organized by […]

CLEARSY supplies an ETCS laboratory to the research centre DZSF in Germany.

23 February 2022 | ERTMS

CLEARSY will provide the German Centre for Railway Traffic Research DZSF (Deutsches Zentrum für Schienenverkehrsforschung) and the Federal Railway Authority […]