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
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 […]
The RS4 safety relay from CLEARSY: its small size, a major advantage!
16 April 2025 | Component
CLEARSY’s RS4 safety relays are used to drive the SIL4 “Closed and locked” signal interfaced with the metro platform screen […]
CLEARSY supplies test benches to the Italian company ECM – Progress Rail
1 April 2025 | Component
These benches are used to test industrial equipment such as RBC (Radio Block Centre), interlocking systems and ETCS on-board computers […]
The new reference SIL4 safety system development platform
5 March 2025 | R&D
CLEARSY presents the CLEARSY SAFETY CONTROLLER, a SIL4 ready safety controller based on the CLEARSY SAFETY PLATFORM, which has been […]
CLEARSY’s ETCS simulation tool in use in Germany
26 February 2025 | Component
Two European Train Control System (ETCS) laboratories have been in use since 2024 in Germany, in Munich and Dresden, by […]
A world first: system safety reasoning is T2 EN50129 SIL4 formally proven
19 February 2025 | Computer science
The activity of formal system proof consists in mathematically expressing the global properties by which system safety is guaranteed, and […]
Safety software and systems
All our security systems and software available below. If you have a specific problem, contact us.
operational systems
