Framatome a fait appel à l’expertise en jumeau numérique du CEA-List pour garantir l’absence de «bug» d’une plateforme de contrôle commande classée.
Lire la suite
L’ambition du projet e-Meuse Santé est de déployer à l’échelle des départements du Grand Est (CH Bar-le-Duc) des innovations numériques pour améliorer l’accès aux soins des personnes en milieu rural, par la définition et la validation de nouveaux parcours de soins à inscrire dans le droit commun.
Lire la suite
Le CEA-List, avec l’Université Grenoble Alpes, a conçu la première technique d’analyse de sécurité des logiciels simulant un attaquant puissant et passant à l’échelle. Son implantation dans BINSEC, outil du CEA-List, a été validée sur un composant de sécurité de l’ANSSI.
Lire la suite
Cobomanip, un système cobotique made in CEA-List, assure une assistance physique aux opérateurs lors de la manipulation très précise de charges importantes dans des environnements complexes.
Lire la suite
Des méthodes de spécification et de vérification formelles innovantes renforcent la confiance dans les systèmes distribués basés sur un consensus tel que les protocoles de blockchain les plus récents.
Lire la suite
La sécurité des véhicules autonomes est difficile à garantir, du fait de la grande diversité des scénarios de conduite.
Lire la suite
L’informatique requiert des outils de programmation, de vérification et d’analyse de code adaptés aux modèles de calcul sous-jacents.
Lire la suite
Une méthode innovante développée au LNHB-MD utilise l’interrogation photonique active et la spectrométrie des photoneutrons pour détecter des matériaux illicites tels que des explosifs et des stupéfiants.
Lire la suite