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.

Société
Mars 2020

Le blog Systerel !

Systerel ouvre son blog dédié aux sujets techniques. Nous imaginons par ce biais pouvoir vous fournir une meilleure information sur nos produits et sur notre façon de travailler, mais aussi des guides techniques pour aborder certains problèmes.