Carrières, Méthodes Formelles
NOVEMBRE 2023

Méthodes formelles et cybersécurité : rencontre à Polytech Marseille

Cette semaine, notre directeur technique est intervenu auprès des élèves ingénieurs de Polytech Marseille. Les élèves ont ainsi pu en savoir davantage sur l’application des méthodes formelles dans le cadre de développements logiciels sous contrainte de cybersécurité. Une belle opportunité pour ces futurs ingénieurs d’échanger avec nous et de découvrir la richesse de nos métiers !

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 2014

ADVANCE Industry Days

Le projet ADVANCE a pour objectif de développer un cadre outillé et unifié pour la validation de systèmes cyber-physiques en s’appuyant sur la vérification formelle automatique et la co-simulation.

Les résultats du projet ont été présentés aux industriels participants à l’université de Southampton le 24 septembre et seront également présentés à Düsseldorf le 23 octobre prochain.