CLEARSY validates the data that parameterize its railway interlocking system because of the infallibility of its approach based on formal […]

Developed by CLEARSY, this software tool allows to build tools of formal validation of data, whatever their specificities. T2 certified, […]

The congress provides the global meeting place for senior metro, tram, and light rail technology experts. This year the event […]

CLEARSY is part of SNCF Réseau’s MISTRAL NG program. Indeed, ATOS – in charge of the development and deployment of […]

Nice tramway: the CLEARSY automatic train stop system limits the emergency braking rate to the minimum required level. A new […]

CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: […]

The first release of the CLEARSY Safety Platform is avaliable for download. It will be enriched every month with new […]

The CLEARSY Safety Platform IDE is available for download only for SK0 board owners. It is the first public version […]