Société
Décembre 2021
Noël 2021
Nos collaborateurs ont démarré l’année 2021 sous le signe de la gourmandise avec des chocolats et du champagne et la terminent sous le signe de la technologie avec un chargeur induction pour téléphone.
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.