The CLEARSY Fire Safety System (FSS) Supervisor complies with the American FSS standard NFPA 130. Fire safety, Safety, Tools

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… Computer science, R&D, Tools

Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]

Assigning safe processing to meanings R&D, Safety, Tools

CLEARSY has developed and certified the CLEARSY SAFETY PLATFORM (CSP), a solution to develop safety critical real-time embedded systems certified […]

CLEARSY Safety Platform en tournée fr
CLEARSY meets future users of CLEARSY Safety Platform on a worldwide tour. Tools

The LCHIP collaborative project led by CLEARSY aims to produce a calculation platform able to automate the development of low-cost […]

CLEARSY meets future users of CLEARSY Safety Platform on a worldwide tour. Tools

The LCHIP collaborative project led by CLEARSY aims to produce a calculation platform able to automate the development of low-cost […]

CLEARSY vital relay was creating the buzz during Innotrans Railway, Tools

Vital relay certified SIL4 actually exists: CLEARSY introduced it during the global railway conference Innotrans. In September at Innotrans in […]

Formal Data Validation Tutorial at ABZ 2014, Toulouse Computer science, Exhibitions/conferences, Railway, Tools

ProB: a model-checker for data validation Railway, Tools