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
Certification of railway systems: CLEARSY partners with SNCF Réseau
6 May 2026 | Railway
The rail network relies on a wide range of signalling equipment that is subject to strict SIL safety certification requirements. […]
CLEARSY at the NII Shonan Meeting and FM 2026 Industry
4 May 2026 | Company
Next May, CLEARSY will take part in two events in Japan focusing on a key issue: how to combine AI […]
An overview of formal methods for safer systems
4 May 2026 | R&D
CLEARSY has contributed to the article “Formal Methods in Industry”, alongside eminent authors who are leading authorities in the field […]
Safety at the core of Interoperability – New York City subway, MTA
3 April 2026 | Railway
The Metropolitan Transportation Authority (MTA) has adopted the CLEARSY Data Solver ! In complex rail environments such as New York […]
CLEARSY enables ETCS upgrades to be tested before their actual deployment
2 April 2026 | ERTMS
In the European ETCS Level 2 rail system, train movements are supervised by control centers known as RBCs (Radio Block […]
CLEARSY RS4 safety relay is now even easier to integrate
24 March 2026 | Component
CLEARSY is evolving its range of SIL 4 certified safety relays (compliant with EN 50129). As safe and reliable as […]
Safety software and systems
All our security systems and software available below. If you have a specific problem, contact us.
operational systems
