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.
Bag-Era has developed an application that interconnects the components of complex industrial and service systems to ensure that these systems are coherent and robust.
The Papyrus Industry Consortium (PIC) was established in 2016 to develop and distribute Papyrus, an open-source model-driven engineering (MDE) platform developed by List, a CEA Tech institute...
Leti, a CEA Tech institute, developed a reliable, precise, and robust electron tomography image reconstruction software application, Guidar. The advance delivers fast, simple post-acquisition processing of tomography data.
For a wide range of devices to interact securely, the underlying hardware, software, and network protocols must be relatively homogeneous. CEA Tech institute List recently helped to develop an IoT systems design and supervision environment that leverages model-driven engineering.
PragmaDev gives the developers of
communicating software the tools they need
to model their applications and generate
optimized validation tests.
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.