Méthodes Formelles
DECEMBRE 2020

SPARK/Ada

Systerel utilise la technologie de vérification formelle SPARK/Ada dans le cadre de développements pour ses clients dans le secteur ferroviaire (norme EN 50128).

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.