Safety location system: CLEARSY technology at the service of ECOTRAIN
Safety location system: CLEARSY technology at the service of ECOTRAIN ERTMS, R&D, Railway

Several light rail projects, such as ECOTRAIN unveiled at the end of 2025, are emerging. In this context, CLEARSY innovates […]

The Metropole Digital – IMD/UFRN and CLEARSY present their work at the SBMF conference from 2 to 5 December
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 […]

CLEARSY: French railway safety in the spotlight at the Élysée Palace.
CLEARSY: French railway safety in the spotlight at the Élysée Palace ERTMS, R&D, Railway

On 15 and 16 November 2025, the autonomous train ECOTRAIN, selected for the “Made in France” exhibition at the Élysée […]

CLEARSY works to improve the mathematical demonstration tools of Atelier B
CLEARSY works to improve the mathematical demonstration tools of Atelier B Computer science, Offers, R&D, Sûreté de fonctionnement, Tools

As part of a project funded by the French National Research Agency (ANR), CLEARSY is collaborating with LORIA (Nancy), CRIL […]

The B WORKBOOK is now available
The B WORKBOOK is now available Computer science, R&D, Sûreté de fonctionnement, Tools

The user manual for B Method, the B WORKBOOK, is now available on CLEARSY’s GitHub: (https://github.com/CLEARSY/BWORKBOOK). After several months of […]

Artificial Intelligence and safety R&D, Railway, Sûreté de fonctionnement

In a recent study conducted under the direction of the Operations and Safety Department of the International Union of Railways […]