
CLEARSY PROVED THE CBTC OCTYS SAFETY THROUGH FORMAL METHODS Railway
In order to analyse the safety of control system for the automatic lines 3 and 5 of Paris subway, CLEARSY has proceeded through event B method.

Assistance in the analysis and the validation of the Octys critical software
OURAGAN, now Octys is a train control and command system (TCC) developed for the RATP (Paris subway), the Parisian transport […]

CLEARSY’s expertise on RATP line 14 for the 2024 Olympic Games Component, Metro (CBTC), Safety
As part of its partnership with the RATP on software dependability activities, an independent CLEARSY team is in charge of […]