OUR KNOW-HOW
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.
OUR RESOURCES
![](/cea-tech/english/PublishingImages/resources-skills-pics/thumbnail-software-systems-engineering-pf.jpg?RenditionID=5)
Software and systems engineering PLATFORM