You are here : Home > Resources and skills > Smart digital systems > Software and systems engineering

Article | Software technologies


Smart digital systems

Software and systems engineering

Published on 19 May 2022

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

Software and systems engineering PLATFORM

  • Learn more about the platform







Our works