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.
Méthodes Formelles, Salons - Conférences
octobre 2017
RSSR (Reliability, Safety and Security of Railway Systems)
Systerel participera à la conférence RSSR à Pistoia (Italie) du 13 au 16 novembre prochains.
Systerel interviendra ainsi en amont de la conférence à travers un tutoriel sur les activités liées à la construction, l’utilisation et la certification d’une solution de vérification formelle de la sécurité d’un système d’enclenchement ferroviaire.