The White House highlights the use of formal methods in a new report. Computer science, Tools

The White House highlights the use of formal methods in a new report. Three points very interesting: It is possible […]

Renewal of the RATP CLEARSY partnership Metro (CBTC), Railway, Tools

We are delighted to announce that CLEARSY has recently signed a four-year framework agreement with RATP (PARIS subway) for safety […]

CLEARSY an innovative player in saving little-used rail lines ERTMS, R&D, Railway, Safety, Tools

New Frugal Rail Signaling (NS2F) is a collaborative project supported by the French government as part of the France Relance […]

Version 4 of the ETCS specification has just been published Computer science, ERTMS, Offers, Railway, Tools

A new version of the European Train Control System (ETCS) specification has just been published: Baseline 4. Over the past […]

The CLEARSY platform screen gate monitoring system for the Honolulu metro is in operation Metro (CBTC), Railway, Tools

The Honolulu metro is equipped with STANLEY platform screen doors, which are controlled by the HITACHI Automatic Train Control (ATC) […]

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 […]