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 the product presentation
News
CLEARSY secures the signalling of two maintenance and handover sites in the Paris region.
26 January 2022 | Railway
CLEARSY secures the signalling of two maintenance and handover sites (SMR) in the Paris region for Mobility and prepares the […]
Two decades of industrial exploitation of the B formal method.
19 January 2022 | Computer science
The release of Atelier B 4.7 materializes two decades of industrial exploitation of the B formal method, with the support […]
The new formal tool Atelier B 4.7 is available.
18 January 2022 | Computer science
Atelier B 4.7.1 is available in a Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) and in a Maintenance Edition for owners of a maintenance […]
The CLEARSY Fire Safety System (FSS) Supervisor complies with the American FSS standard NFPA 130.
25 November 2021 | Fire safety
A standard analysis was performed to determine if the CLEARSY fire safety system (FSS) supervisor could be used in countries […]
CLEARSY R&D Actions on Formal Verification: 10 years and counting…
25 November 2021 | Computer science
Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]
CLEARSY at “ICT for railway”, international workshop, from December 7 to 8, 2021 in Toulouse.
24 November 2021 | Exhibitions/conferences
CLEARSY is pleased to announce its presence at the ICT workshop which will take place from 7 to 8 December […]
Safety software and systems
All our security systems and software available below. If you have a specific problem, contact us.
operational systems