Dans une démarche d’ACV paramétrique et modulaire, en combinant des approches d’ingénierie système, de modélisation formelle à base d’ontologies, et de registres distribués pour la traçabilité, le CEA a créé Econovae, une plateforme logicielle numérique permettant de faciliter l’analyse de cycle de vie (ACV) et l’éco-conception de produits.
Lire la suite
L’idée de mener votre programme de recherche vous intéresse ? Vous souhaitez développer des technologies utiles et apporter une réponse concrète aux défis technologiques majeurs de notre société ? Décrochez votre bourse AI Rising Talents et concrétisez vos idées !
Lire la suite
La notion d’audit pour les systèmes distribués reste encore peu explorée et les approches existantes peinent à concilier exhaustivité des traces et confidentialité des accès. Le CEA-List et ses partenaires ont développé un nouveau cadre formel pour auditer les accès sans fuite d’information.
Lire la suite
Fuzzing, exécution symbolique et interprétation abstraite, entre autres techniques, permettent de découvrir des bugs dans nos programmes à un rythme sans précédent. Mais une question se pose alors : que faire de tous ces bugs ?
Lire la suite
En spectrométrie gamma, il existe une forte demande pour des algorithmes automatiques assurant une prise de décision rapide pour des mesures in situ à faible statistique.
Lire la suite
Dans le cadre du projet Arqane, le CEA-List, en collaboration avec le CEA-LITEN, a contribué à des avancées significatives en matière de monitoring des procédés et de structuration des données, au service de l’industrialisation du nucléaire civil.
Lire la suite
ISYBOT, société française startup du CEA-List pionnière dans les robots collaboratifs (cobots) dédiés aux opérations de ponçage et meulage, annonce une levée de fonds de 7 millions d’euros menée par Supernova Invest et Bpifrance Amorçage Industriel, aux côtés des investisseurs historiques de l’entreprise.
Lire la suite
Le CEA-List a développé Bridge, une technologie de traduction inter-protocoles pour assurer l’interopérabilité dans l’IoT, dont la correction est garantie par des méthodes formelles pour les systèmes critiques.
Lire la suite
Retrouvez le CEA à Tech & Fest les 4 et 5 février 2026 à l’Alpexpo de Grenoble !
Lire la suite