Speeding innovation for industry
Article | Software technologies
Smart digital systems
CEA Tech institute Leti 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.
A testing platform based on the sensiNact software environment was developed under the FESTIVAL project. The platform provides access to data collected from a variety of experimental sources.
CEA Tech’s digital companion was selected in a call for projects to invent the solutions that will shape tomorrow’s hospitals. The first robots will be developed in conjunction with Nantes University Medical Center.
Automotive equipment manufacturer Plastic Omnium is implementing a model-driven engineering (MDE) method leveraging Papyrus, an MDE environment developed by List, a CEA Tech institute.
The EU-backed FED4SAE project, coordinated by Leti, a CEA Tech institute, recently kicked off. The goal? To shorten time-to-market in Europe for solutions leveraging cyber-physical systems (CPS).
Leti, a CEA Tech institute, will provide access to its Mentor Veloce emulator to European chip manufacturers, who will benefit from direct access to the latest technology and be able to test their designs at the early stages, shortening time to market.
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.