
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é
Outils
Liés à cet thématique
Liés à cet thématique