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