Renforcer la sécurité d’un système par l’analyse pre-silicium formelle de la microarchitecture de processeurs et des logiciels qu’ils exécutent avec µArchiFI
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
Le CEA-List présentera 4 briques technologiques, Pixano, Papyrus, Frama-C et AIdge lors de l’Open Source Experience les 6 et 7 décembre au Palais des Congrès. Rendez-vous sur l’emplacement L54 !
Lire la suite
Le CEA-List et Obeo ont démarré une collaboration afin de partager leurs expertises en développement de logiciels basé sur des modèles, pour servir une vision à long terme sur les outils d’ingénierie du futur basés sur le web.
Lire la suite
Le collectif DeepGreen, piloté par le CEA, lance le 26 avril 2023 une plateforme open source pour l’IA embarquée et vise des premières réalisations stratégiques pour l’écosystème industriel français dès 2024.
Lire la suite
Du 19 au 25 juin 2023, le CEA-List participe à la 54ème édition du SIAE qui aura lieu au Parc des Expositions de Paris-Le Bourget.
Lire la suite
Un environnement de simulation de systèmes électroniques qui facilite le test de codes binaires de logiciels complexes.
Lire la suite
Une solution open source pour l’annotation web à grand échelle d’images et de vidéos.
Lire la suite