Archives des R&D

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

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

CLEARSY at the Fourth International Summer School on Robotic Mission Engineering (RoME) 2026 R&D

CLEARSY is attending the 4th edition of the RoME 2026 (Robotic Mission Engineering) international summer school from 23 to 27 […]

CLEARSY equips ECOTRAIN with a latest-generation communication system between the track and the train ERTMS, R&D, Railway

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

How can Artificial Intelligence and railway safety be reconciled? R&D, Railway

Software safety analyses require knowledge of their algorithms, while Machine Learning (ML) models remain software ‘black boxes’. However, there is […]

CLEARSY secures the ECOTRAIN with its free track detection system ERTMS, R&D, Railway

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

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