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.
CEA-List creates theoretical frameworks, methods, and tools for use in designing reliable, frugal, embedded, and distributed AI systems.
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.