July 26, 2024 | Functional digital twin development software for Industry 4.0

Papyrus4Manufacturing can be used to model and deploy digital interfaces in factories as part of projects to roll out the digital, connected plant assets required for production line reconfiguration, supervision, and predictive maintenance.

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.