The competence center "Embedded Systems" explores techniques and methods for the development of software- and hardware systems as they are built in cars, plains, medical equipment or consumer electronics.

The goal of the competence center is to raise the efficiency of the development and the quality of embedded software systems. To achieve this, the general approach is the application of a consequent model-based development process. Models with mathematically formal defined semantics are used to support system and software development in all stages of development, from an early modelling of user functions of a system down to models of the underlying platform and its hardware resources. Thereby, the methods do not only address the constructive development steps but also cover the assurance of a system's quality and correctness. Furthermore, challenges like increasing the performance, e.g. by utilizing parallelization using multicore processors, or the verification of schedulings and real-time conditions are of central interest.