Entwurfsraumexploration für eingebettete Systeme

In this project, novel models and methodologies enabling automatic design space exploration for embedded systems at the system level are investigated. The key problem is to optimally allocate resources as well as optimally bind processes onto these resources. Here, we use state-of-the-art multi-objective optimization algorithms and symbolic techniques. Moreover, an interface exists to the system design language SystemC