The functionality as well as economical value of most industrial systems and products, such as cars, airplanes, drones/blimps, and medical devices, is defined and realized by software as an embedded system. A key challenge in the design of such systems is the ability to update software: to add new features, to customize a system, or to fix security vulnerabilities.

In particular, the project aims to develop the following: