Archives des Tools

Safe validation of railway track topology Railway, Tools

To operate driverless metros at full capacity, it all starts… with data. The digital representation of the railway infrastructure creates […]

An overview of formal methods for safer systems R&D, Tools

CLEARSY has contributed to the article “Formal Methods in Industry”, alongside eminent authors who are leading authorities in the field […]

Safety at the core of Interoperability – New York City subway, MTA Railway, Tools

The Metropolitan Transportation Authority (MTA) has adopted the CLEARSY Data Solver ! In complex rail environments such as New York […]

CLEARSY enables ETCS upgrades to be tested before their actual deployment ERTMS, R&D, Railway, Tools

In the European ETCS Level 2 rail system, train movements are supervised by control centers known as RBCs (Radio Block […]

Over 1,000 safety controllers deployed by CLEARSY Component, Railway, Sûreté de fonctionnement, Tools

The CLEARSY Safety Platform, based on a dual-core safety architecture, has just surpassed the milestone of 1,000 controllers deployed worldwide […]

An innovative cyber security module for the safe computer: CLEARSY Safety Platform Component, Railway, Sûreté de fonctionnement, Tools

CLEARSY is expanding its range of CLEARSY Safety Platform modules with a cyber-resilient communication module. The CLEARSY Safety Platform is […]

CLEARSY is developing a real-time platform for processing high-speed analog data Tools

CLEARSY is developing a real-time hardware-based platform for digitising, dating and filtering high-speed analog data. This platform performs the following […]

The Metropole Digital – IMD/UFRN and CLEARSY present their work at the SBMF conference from 2 to 5 December Company, Offers, R&D, Tools

At the Brazilian conference on formal methods @SBMF 2025 (2–5 December, Recife), the @Metrópole Digital Institute – IMD/UFRN and CLEARSY […]