Salons - Conférences
JUIN 2022
Embedded World – offre safe&secure
Venez rencontrer nos experts et mieux connaître nos produits safe and secure comme S2OPC et le relais digitalisé « SnS StaR ».
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.