Références domaine ferroviaire

• ANSALDO STS
  • Relecture et rétro-documentation d'un logiciel pour la ligne grande vitesse du TGV Est ERTMS
• THALES DRS
  • PMI Ligne 1 & 12 Preuve formelle des postes d'enclenchement (Prover technology)
  • OURAGAN Ligne 13 Preuve système sur une fonction du CBTC sol (Simulink Design Verifier)
  • PING Vérification de la robustesse du code pour un poste d'enclenchement informatisé (Polyspace)
• RATP
  • Vérification d'un moteur d'automate d'enclenchement de signalisation
  • Vérification des preuves apportées par l'industriel sur le projet L1 (Méthode B)