Carrières
OCTOBRE 2021
Forum Entreprises ISMIN
Systerel viendra échanger avec les étudiants de l’école des Mines de Saint-Etienne lors du Forum Entreprises 2021.
Méthodes Formelles
OCTOBRE 2021
Langage HLL pour la vérification formelle de logiciels ou systèmes critiques
Systerel publie une nouvelle version du document de spécification du langage HLL (HLL LFD) et le soumet à la prochaine revue du HLL Forum de manière à converger sur la nouvelle définition du langage en collaboration avec les autres acteurs de la communauté.
Projets de R&D
SEPTEMBRE 2021
LEIA automatise l’analyse logicielle pour garantir la sécurité des objets connectés
Avec l’essor des objets connectés et la multiplication des logiciels qui leur sont associés, les risques de vulnérabilités logicielles croissent considérablement. Pour répondre à ce nouveau défi, le CEA et Systerel, associés au sein du projet LEIA, lauréat du Grand Défi Cybersécurité, proposent une approche inédite et puissante : une plateforme intelligente d’analyse garantissant la sécurité des objets connectés et des logiciels associés.
Salons - Conférences
JUIN 2021
Zephyr Developer Summit 2021
Dans le cadre de nos développements autour de S2OPC, nous interviendrons le mercredi 9 juin prochain pour présenter notre retour d’expérience sur le déploiement du protocole OPC UA sur Zephyr durant le Zephyr Developer Summit organisé par The Zephyr Project.
Projets de R&D
AVRIL 2021
Back To Back Testing
Dans leur démarche d’innovation collaborative, Systerel et ses partenaires, le CEA List et Schneider Electric associent leurs compétences et leurs capacités d’innovation au service d’un nouveau projet B2BT autour de la technologie Back-To-Back Testing (B2BT).
Produits
AVRIL 2021
OPC UA – Atelier d’interopérabilité de la Fondation OPC
Systerel a participé au dernier atelier d’interopérabilité organisé par la Fondation OPC. L’objectif principal de ces journées organisées régulièrement par la Fondation OPC est de tester l’interopérabilité, la conformité et la fiabilité des produits intégrant la technologie OPC UA.
Société
AVRIL 2021
Systerel, partenaire du CEA List
Partenaire du CEA List depuis plusieurs années et sur de nombreux projets, Systerel contribue au dernier rapport d’activité du CEA List dans le cadre de la livraison à SNCF Réseau du module de modélisation de l’Atelier Métier de Signalisation (AMS).
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.