Software development environments

State-of-the-art operational solutions

CEA-List develops, maintains, and manages a portfolio of software technologies. Developed for CEA-List research programs, these tools are a concentration of the institute’s expertise in simulation, code analysis, AI, cybersecurity, embedded systems, blockchain, instrumentation, and related fields. CEA-List scientists and engineers leverage these valuable resources in their research every day.

CEA-List’s development software and environments are fully operational. Some are available outside the institute under open-source licenses, while others can be used through research partnerships with CEA-List or purchased from CEA-List startups.”

PAPYRUS

Graphical modeling in UML to speed up the design of complex systems.

FRAMA-C

Formal analysis of C code to ensure software safety and security.

BINSEC

Formal analysis of executable code for enhanced software security.

MAX

Blockchain application testing and optimization with an agent-based simulator.

UNISIM

Electronic systems simulation for easier testing of complex software binary code.

XDE

Multi-physics simulation to reproduce and study the interactions between components of a digital mock-up.

LIMA/CLIMA

A language analyzer available in 60 languages; one of the most powerful language analyzers in the world.

LIVA/CLIVA

A computer vision tool for classifying visual content and detecting objects in pictures and videos.

PIXANO

Large-scale web-based image and video annotation.

NEON

A tool for the design of robust, reconfigurable, resilient networks for secure communications.

SIGMO-IDS

Detection of and instant response to network attacks.

CIVA

Simulation for the design, optimization, performance demonstration, and probability of detection of non-destructive testing procedures.

STREAMER

An open-source sandbox environment for the design, simulation, and evaluation of machine learning algorithms on data streams.

EXPRESSIF®

Knowledge-based simulation of human reasoning for decision-assistance applications.

PHOEBE

Simulation of ionizing radiation doses.

CORTEX

A comprehensive, real-time, component-oriented environment to accelerate the development of robotic controllers.

SCORE

A tool to facilitate the development of robotic control system programming and supervised robot control interfaces.

CINGULATA

A compilation chain to process encrypted data without having to decrypt it.

N2D2

Neural network design and deployment optimized for embedded environments.

SESAM

Faster design space exploration (DSE) for digital architecture design projects.

COGITO

Automated deployment of software countermeasures for more secure systems.