Formal methods for validating parameterization
Formal methods for validating parameterization data: CLEARSY is chosen Railway

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

CLEARSY DATA SOLVER Certifié T2
Certified T2, the CLEARSY DATA SOLVER tool speeds up the data validation process Railway

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

smart metro CBTC
CLEARSY attends the SmartMetro (November 2019) and CBTC World Congress as a sponsor Exhibitions/conferences, Railway

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

programme MISTRAL NG de SNCF Réseau
CLEARSY carries out the formal validation of data from SNCF Réseau’s MISTRAL NG program. Railway

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

Tramway de Nice dispositif KFS
Nice tramway : The CLEARSY automatic train stop system limits the emergency braking rate to the minimum required level Railway

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

CLEARSY will attend the UITP Global Public Transport Summit 2019 in Stockholm. Exhibitions/conferences, Railway

CLEARSY, a French company of 140 employees, designs and produces certified safe systems and software applications for urban and main-line […]

CSSP présentée à la conférence RSSR 201
CLEARSY Safety Platform exhibited at conference RSSR 2019 Exhibitions/conferences, Railway

At the occasion of the conference RSSR 2019 held on 4-6 June 2019 in Lille, CLEARSY presents the paper entitled […]

Third conference RSSR on Reliability, Safety and Security of Railway systems; modelling, analysis, verification and certification Exhibitions/conferences, Railway

The third conference RSSR on Reliability, Safety  and Security of Railway systems; modelling, analysis, verification and certification will take place […]