Carrières
JANVIER 2021

Présentation au CERI

Systerel a présenté auprès des étudiants du Master du Centre d’Enseignement et de Recherche en Informatique d’Avignon certaines de ses activités en lien avec les systèmes de contrôle automatique du trafic ferroviaire.

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).

Société
NOVEMBRE 2020

La citrouille d’Halloween

Le Covid19 ne nous a pas empêché de fêter Halloween tous ensemble !
Notre Comité Social et Économique y a veillé en organisant un concours pour l’occasion.

Carrières
NOVEMBRE 2020

Salon Focéen

Malgré la crise sanitaire, Systerel poursuit ses recrutements ! Venez échanger avec nous lors du salon virtuel le Focéen le mardi 10 novembre.

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.