4 juin 2026
Pour faire circuler des métros sans conducteur, les trains embarquent un jumeau numérique représentant la topologie de la voie. Ce modèle doit être rigoureusement conforme à la réalité pour éviter un accident (activité de récolement).
C’est dans ce contexte que SIEMENS Mobility utilise le CLEARSY Data Solver depuis plusieurs années. Cet outil permet d’automatiser la validation du récolement des lignes CBTC.
Cette approche apporte à SIEMENS Mobility :
- Un important gain de temps dans les processus de validation
- Une identification contextualisée des cas les plus problématiques sur lesquels les experts peuvent se pencher
- La suppression du risque d’erreur humaine
- Une traçabilité exhaustive des données vérifiées
Une belle illustration de la valeur des méthodes formelles et de l’automatisation au service des infrastructures critiques.