CLEARSY ANALYSE LA SÉCURITÉ DU CBTC OCTYS AVEC LES MÉTHODES FORMELLES Ferroviaire
Pour analyser la sécurité du système de pilotage des lignes automatiques 3 et 5 du métro parisien ; CLEARSY a utilisé la méthode B événementielle.
Assistance à l’analyse et à la validation des logiciels critiques Octys
OURAGAN maintenant Octys (Offre Urbaine Renouvellée et Améliorée, Gérée par un Automatisme Nouveau) est un système de contrôle commande de […]