CBTC

CLEARSY dispose d’une grande expérience des systèmes de contrôle automatique du trafic ferroviaire, en matière de:

• vérification et validation logicielle
• analyse et relecture critique de code (second regard)
• développement/ré-ingénierie de la partie sécuritaire des logiciels embarqués au bord et au sol
• développement formel du logiciel embarqué
• vérification système avec preuve de sécurité