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