Méthodes Formelles
NOVEMBRE 2020

CEA et Systerel : un nouveau pas vers la modélisation fonctionnelle des postes d’aiguillage du futur.

L’institut CEA List et Systerel franchissent un jalon majeur dans la numérisation des systèmes ferroviaires, en livrant à SNCF Réseau une nouvelle version du module de modélisation fonctionnelle des postes d’aiguillage de nouvelle génération. Les deux partenaires accompagnent ainsi la montée en complexité de ces systèmes grâce au déploiement d’un environnement de modélisation et de validation performant.