Embedded Architectures & Systems

This work area is about basic and applied research on hardware and software for highly dependable embedded systems. Electronic control units for future vehicles, advanced robotics, and the Internet of Things are just some examples. Regarding hardware, our research is on partially reconfigurable and extensible, yet dependable computing platforms. We focus on designing modular microcontrollers that can be changed at runtime and the optimization of hardware design flows. Regarding software, our research is on sustainability through updates, verified correctness, portability to new hardware, support for re-configurable MCUs, and the integration of AI/ML into dependable system software.