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 CLEARSY's leaflet Download
Download the product catalog Download
Download the railway products & services presentation Download

Presentation

News

CLEARSY, a player in artificial intelligence
We are excited to share that in September, CLEARSY had the opportunity to present our latest work and research in […]
CLEARSY at FM2024
CLEARSY attended  FM2024, one of the largest Formal Methods conferences in the world. More than 300 academic and industrial researchers gathered […]
CLEARSY’s expertise on RATP line 14 for the 2024 Olympic Games
As part of its partnership with the RATP on software dependability activities, an independent CLEARSY team is in charge of […]
INNOVATION, Artificial Intelligence
CLEARSY has launched its own 100% local AI server, the CLEARSIA. This machine is equipped with two NVIDIA RTX 6000 […]
CLEARSY, a key player in Parisian metro projects
CLEARSY has been supporting RATP in its Paris projects for 30 years! From the development of Meteor, line 14, based […]
CLEARSY at INNOTRANS (Hall 27 – stand 301) from September 24 to 27, 2024 in BERLIN
CLEARSY’s team is pleased to be present at the INNOTRANS exhibition which will take place from 24 to 27 September […]

Safety software and systems

All our security systems and software available below. If you have a specific problem, contact us.

Contact us

Need a secure, custom-made system ?