CLEARSY
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
News
CLEARSY, designer of interlocking solutions to the highest safety standards
16 October 2024 | Component
CLEARSY – SIL4 Interlocking Solutions Designer At CLEARSY, we’re committed to enhancing rail safety through innovative solutions. With over 10 […]
CLEARSY, a player in artificial intelligence
9 October 2024 | Computer science
We are excited to share that in September, CLEARSY had the opportunity to present our latest work and research in […]
CLEARSY at FM2024
2 October 2024 | Computer science
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
22 July 2024 | Component
As part of its partnership with the RATP on software dependability activities, an independent CLEARSY team is in charge of […]
INNOVATION, Artificial Intelligence
17 July 2024 | Company
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
10 July 2024 | Metro (CBTC)
CLEARSY has been supporting RATP in its Paris projects for 30 years! From the development of Meteor, line 14, based […]
Safety software and systems
All our security systems and software available below. If you have a specific problem, contact us.
operational systems
