We are thrilled to announce the release of our latest version of Atelier B. Here’s what’s new and improved in […]

CLEARSY is proud to share a contract with Digitale Schiene Deutschland for the supply of an ETCS on-board simulator to […]

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

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

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

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

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

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