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.

CIL4Sys

Société de services en ingénierie système auprès des grands industriels français, CIL4Sys Engineering se lance dans l’aventure de l’édition logicielle avec le concours de l’Institut CEA-List.