Ansaldo STS :

  • Projets TGV-Est ERTMS, IXL
  • Vérification des modèles de conception, du code ADA, preuves de sûreté et de sécurité (CBTC)
  • Outils : SCADE, Polyspace

GE Transportation :

  • Projets : CBTC & ERTMS (sol et bord)
  • Développement du process de vérification, incluant la FHA, la preuve de propriétés de sûreté, et la production de contre-exemples
  • Outils : Simulink Design Verifier, outillage SafeRiver

RATP :

  • Projet SAET Ligne 1 : vérification du modèle B du pilote bord, vérification des preuves (modèles B...) et du Dictionnaire de Données
  • Projets OCTYS et OURAGAN : vérification indépendante des modèles SCADE basée sur l'outillage de preuve RATP-Prover
  • Outils : SCADE, Prover, Atelier B

 

Thales Communication and Security :

  • Projet IXL Ligne 1
  • Spécification et vérification de la fonction de suivi des trains à l'aide du prouveur SL-DV
  • Vérification sécuritaire des données de voie
  • Outils : ASIFER, Simulink Design Verifier, outillage SafeRiver