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’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 […]
CLEARSY at INNOTRANS (Hall 27 – stand 301) from September 24 to 27, 2024 in BERLIN
10 July 2024 | Exhibitions/conferences
CLEARSY’s team is pleased to be present at the INNOTRANS exhibition which will take place from 24 to 27 September […]
Join us at the RSSI Conference in Louisville, USA!
2 July 2024 | Exhibitions/conferences
We are excited to announce that CLEARSY will be participating in the upcoming RSSI conference, a key event for the […]
Extension of Line 14 of the Paris Metro: over 25 years of reliability thanks to the B formal method
26 June 2024 | Component
“Thanks to the B method, Meteor kept its promise” … “I’d never seen anything like it: the software was almost […]
Safety software and systems
All our security systems and software available below. If you have a specific problem, contact us.
operational systems
