HACKATHON CLEARSY Safety Platform in IMD/UFRN university, NATAL (BRAZIL) Computer science, Safety, Tools

During one week, UFRN students are going to compete over several challenges involving the modelling in B and the control […]

The new Siemens centralized control room secured by CLEARSY Fire safety, Railway, Safety, Tools

SIEMENS has entrusted CLEARSY with the SIL2 safety of the supervision display for the SNCF’s new RER (commuter) train operating […]

L’Atelier B Professional Edition 23.02 est disponible Offers, Tools

L’Atelier B Professional Edition 23.02 est disponible dès aujourd’hui sur Windows et Linux pour tous les détenteurs actuels d’un contrat […]

The CLEARSY safety protocol on Schneider PLCs Computer science, Fire safety, Safety, Tools

In the continuity of our activities in the field of fire safety, CLEARSY implements and realizes the safety protocol for […]

A certified version of ATELIER B is planned for 2024 Computer science, Tools

A certified version of ATELIER B, the tool used to specify and prove safety critical software is planned for 2024. […]

Formal activities through the V cycle Computer science, Tools

CLEARSY uses formal methods in many phases in the development cycle: systems reasoning: to define and prove mathematically system safety […]

CLEARSY supplies an ETCS laboratory to the research centre DZSF in Germany. ERTMS, Tools

CLEARSY will provide the German Centre for Railway Traffic Research DZSF (Deutsches Zentrum für Schienenverkehrsforschung) and the Federal Railway Authority […]

Two decades of industrial exploitation of the B formal method. Computer science, R&D, Tools

The release of Atelier B 4.7 materializes two decades of industrial exploitation of the B formal method, with the support […]