Speeding innovation for industry
Article | Software technologies
Smart digital systems
CEA Tech institute List is developing software and systems engineering tools and methods to design more and more complex systems that to a greater and greater extent include embedded software. The institute’s R&D focuses on two key areas: describing and producing systems using model engineering; and using formal techniques to test, verify, and validate systems and software.
The Papyrus model-driven engineering (MDE) platform is used to describe both the need and the response and to build system-generation solutions. The Frama-C validation engineering platform delivers user-oriented integration of the most advanced formal techniques. The platform is used to verify software quality, safety, and security to the standards required by the target use.
Federated learning is rapidly gaining traction in artificial intelligence and machine learning. CEA-List’s new platform offers a range of innovative tools partners can use to train their models while maintaining a very high level of data security. The platform will be constantly updated with advanced modules to handle heterogeneous data and improve cybersecurity.
Theoretically, in-memory computing should make it possible to reduce circuit power consumption. Researchers recently verified this hypothesis in the lab, using tools they developed for the programming of innovative computing architectures.
Researchers from CEA-List, a CEA Tech institute, have trialed a new approach to the formal validation of neural networks applied to image recognition. Their goal is to improve the safety of features such as pedestrian detection.
A software suite to automate the optimization and validation of industrial process task scheduling was developed at FactoryLab.
The Tendermint blockchain consensus was recently validated—a noteworthy occurrence in the world of blockchain, where proof of the validity of protocols is only rarely provided.
How to collaborate with CEA Tech teams ?
CEA is a French government-funded technological research organisation in four main areas: low-carbon energies, defense and security, information technologies and health technologies. A prominent player in the European Research Area, it is involved in setting up collaborative projects with many partners around the world.