Extension of Line 14 of the Paris Metro: over 25 years of reliability thanks to the B formal method Component, Computer science, Offers, Safety, Tools

“Thanks to the B method, Meteor kept its promise” … “I’d never seen anything like it: the software was almost […]

The joint efforts of SIEMENS Mobility and CLEARSY have resulted in a number of commissionings in 2024! Metro (CBTC), Safety, Tools

Indeed, CLEARSY is proud to support Siemens Mobility by taking part in all V-cycle activities for the development of their […]

WEBINAR: New safety controller enlarges CLEARSY Safety Platform Defense, Energy/nuclear, Railway, Safety, Tools

CLEARSY is pleased to invite you for the webinar on the CLEARSY Safety Controller on 25th June 2024 @ 5PM […]

CLEARSY joins forces with The Neat Company to integrate the CLEARSY Data Solver validation tool into the Horizon track plan editor! Offers, Tools

When editing a railway track plan, operators must respect certain safety constraints when positioning their objects. For example, it’s crucial […]

Exciting News: Atelier B Community Edition 24.04 Available! Computer science, Tools

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

A CLEARSY on-board simulator to transform a train into a real mobile laboratory ERTMS, Tools

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