Société
Décembre 2021
40 ans de la Voix de l’Enfant
Systerel s’est engagée pendant 2 ans auprès de la Voix de l’Enfant à travers le don sur salaire.
Société
Décembre 2021
Sécurité fonctionnelle des systèmes industriels : des ingénieurs Systerel certifiés CEI 61508 (FSCED) !
Systerel confirme son positionnement de spécialiste des systèmes critiques grâce à la certification CEI 50128 – FSCED (Functional Safety Engineer Development) de plusieurs de ses ingénieurs et experts.
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.