Streamer

Un bac à sable open source pour la conception, la simulation et l’évaluation d’algorithmes d’apprentissage automatique opérant sur des flux de données.

Papyrus

Une plateforme d’ingénierie dirigée par les modèles pour faciliter la conception de systèmes complexes logiciels et/ou matériels.

MAX

Expérimentations de protocoles distribués par simulation basée agents.

Cingulata

Une chaîne de compilation permettant de réaliser des traitements sur des données chiffrées sans les dévoiler.

RISC-V

Binsec

Renforcer la sécurité des logiciels par l’analyse formelle de leur code exécutable.

Outils d’ingénierie open source

Quand le CEA-List crée des outils Open Source à l’attention des ingénieurs directement exploitables par les ingénieurs, une approche pragmatique de diffuser la recherche auprès de l’industrie.

Ingénierie numérique collaborative augmentée

Assister les ingénieurs dans la conception de systèmes complexes qui comportent un nombre croissant de logiciels.