L’environnement d’IA développé par le CEA-List permet de superviser la sûreté à l’exécution de systèmes à base d’Intelligence Artificielle (IA). Il a été appliqué avec succès pour la navigation autonome de drones.
Lire la suite
Le projet OTPaaS a l’ambition de proposer une plateforme de terrain appropriée à la gestion et au stockage performant des données. Elle permettra de garantir de hautes performances en termes de temps de réponse, de sécurité, de confiance et d’efficacité énergétique pour la digitalisation du monde industriel.
Lire la suite
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
Le CEA-List a engagé un programme de recherche ambitieux pour soutenir le développement responsable de systèmes d’IA pour l’industrie et la société.
Lire la suite
Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.
Lire la suite
Lire la suite