CLEARSY

Safety software and systems designer

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 leaflet

Download the product presentation

Download the rail products presentation

Presentation

News

CLEARSY secures the signalling of two maintenance and handover sites in the Paris region.
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.
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.
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.
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…
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.
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.