Search Results for: octys

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.

Système automatique d’exploitation des trains, ligne 1 (SAET L1)
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 […]