CAISAR (Characterizing Artificial Intelligence Safety and Robustness) est une plateforme open source qui fournit un environnement logiciel complet dédié à la spécification et à la vérification des systèmes à base d’Intelligence Artificielle (IA). CAISAR est actuellement utilisée dans deux grands programmes industriels et par deux partenaires académiques.
Lire la suite
Pour répondre aux besoins de connectivité et de numérisation de l’usine et ainsi aux exigences de reconfiguration, supervision ou maintenance prédictive des lignes de production, la plateforme Papyrus4Manufacturing propose un outil de modélisation et de déploiement des interfaces numériques dans l’usine.
Lire la suite
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