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
New CLEARSY x ARTERAIL Project for RATP metro
15 July 2025 | Metro (CBTC)
CLEARSY is launching a new project in collaboration with ARTERAIL, on behalf of the end user RATP. This project is […]
CLEARSY supplies Hitachi Rail with its SIL4 safety network
4 June 2025 | Component
Hitachi Rail works with CLEARSY, which supplies a SIL4 input/output safety network developed in France. This technology enhances the safety […]
Come and meet us at SIFER 2025 in Lille
5 May 2025 | Exhibitions/conferences
CLEARSY is pleased to support the French railway industry by announcing its presence at the SIFER exhibition which will take […]
CLEARSY will attend the UITP Global Public Transport Summit 2025 in Hamburg
5 May 2025 | Exhibitions/conferences
CLEARSY is pleased to be exhibiting at the UITP Global Public Transport Summit in Barcelona from 15 – 18 June […]
New T2 for SIL4-Certified Version of the CLEARSY Data Solver – Now Even More Powerful!
2 May 2025 | Offers
We’re excited to announce that the latest version of the CLEARSY Data Solver has successfully renewed its T2 for SIL4 […]
Atelier B T2 Certified Edition now available for purchase
16 April 2025 | Computer science
We are pleased to present the 2025 roadmap for Atelier B, the premier IDE for the B-method and Event-B! This […]
Safety software and systems
All our security systems and software available below. If you have a specific problem, contact us.
operational systems
