July 30, 2024 | AI robustness and safety characterization software

CAISAR (Characterizing Artificial Intelligence Safety and Robustness) is an end-to-end open source software environment for AI system specification and verification.

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.

July 23, 2024 | New EPR I&C system design engineering tools with Framatome

July 18, 2024 | NLP helps find answers to feasibility questions in clinical studies

The purpose of the e-Meuse Santé project with Barle-Duc Medical Center is to bring digital innovations that will improve access to healthcare in rural areas in eastern France.

July 16, 2024 | Integration of active attacker models into security program analysis

CEA-List and Université Grenoble Alpes have developed the first-ever software security analysis technique capable of simulating a powerful attacker at scale.

July 11, 2024 | Robotic operator assistance for the precise handling of heavy loads

CEA-List’s Cobomanip cobot, developed over a decade of R&D, gives operators precision load[1]handling assistance in complex environments.

July 9, 2024 | Formal methods for blockchain

When it comes to consensus-based distributed systems like the most recent blockchain protocols, innovative formal specification and verification methods can help increase trust.

July 4, 2024 | Automated generation of test scenarios for autonomous vehicle safety

An extremely wide variety of potential driving scenarios makes it notoriously difficult to guarantee the safety of autonomous vehicles.