Vérification des principes et concepts système à l'aide des méthodes formelles et de la preuve

  • CBTC (suivi de trains, anticollision, odométrie, contrôle de vitesse), PMI (preuve de conformité aux directives, paramétrage), Signalisation, ERTMS
  • Exigences fonctionnelles de sécurité & erreurs d'exécution

Analyse et vérification de modèles B pour des systèmes CBTC

Vérification de données de sécurité

Analyse de conformité des exigences du logiciel en regard des exigences de sécurité système

Analyse de code (RTE, analyses de valeurs, analyse de robustesse)

Constitution d'évidences de preuve en regard de la norme EN50128 (dossiers de sécurité, analyses de sécurité)