August 29, 2024 | A safety supervision environment for autonomous systems

CEA-List has developed a runtime safety supervision environment for autonomous systems built using AI.

April 19, 2023 | Can artificial intelligence models be trusted?

AI models are rapidly making inroads into a wide range of industrial use cases. CEA-List has developed automated testing software called AIMOS that leverages formal methods to make reliability testing simpler and easier. The software was developed under the multi-partner Confiance.ai trustworthy AI program, part of the “France 2030” national investment plan.

Embedded systems design

Reliable, frugal, embedded, and distributed AI

CEA-List creates theoretical frameworks, methods, and tools for use in designing reliable, frugal, embedded, and distributed AI systems.

July 19, 2021 | Dolphin Design and CEA-List

Dolphin Design and CEA-List have formed a new joint R&D lab of embedded systems. Their goal is to achieve the best tradeoff for Edge AI devices between SW flexibility, energy efficiency, and peak performance.