System-level Design Automation
The System-Level Design Automation (SDA) group focuses on the automated design of embedded hardware/software-systems on the system level. This includes the areas modelling, system synthesis and optimization of embedded systems.
Therefore applications and available architectures are modeled in specification and description languages. On base on this, simulative and formal analysis can be done and hardware and software can be generated automatically. Very important is the focus on multiple competing objectives like time contraints, reliabillity, costs and energy consumption. SDA explores new methods in the area of mulit-objective optimization. The developed results are used many ways, e.g mobile devices, many-core systems and distributed systems in an automobile.