October 10, 2023 | Shaping the Future of Model-Based Engineering

CEA-List and Obeo have initiated a collaboration to share their extensive, long-term experience in developing model-based software to serve a long-term vision for the web-based engineering tools of the future. The outcome will be multi-enterprise collaborative solutions, offering an augmented user experience and supporting emerging standards, like SysMLv2.

Streamer

An open-source sandbox for creating, simulating, and evaluating machine learning algorithms that process data streams.

MAX

Test and optimize blockchain applications with an agent-based simulation engine.

Frama-C

Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.

RISC-V

Unisim

An electronic systems simulation environment for easier testing of complex software binary code.

Binsec

Making software more secure through the formal analysis of executable code.

CIL4Sys

CIL4Sys Engineering, a systems engineering services company that works with major French companies, joined forces with CEA-List on a software engineering venture.