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érimenter et optimiser des applications de blockchain avec un simulateur à base d’agents.

Cingulata

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

Frama-C

Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.

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.