Model-Based Design methods are a key enabler for advances in design-automation for embedded and cyber-physical systems

This improves time-to-market and time-to-quality. Embedded and cyber-physical systems have the challenge that they innately combine aspects from different domains, are subject to a wide variety of requirements and objectives, functional and non-functional. They do not yield to traditional, existing models and methods.

Through the development of a broad toolbox of mathematical models, the study of their relationships, improved algorithmic analysis and optimization techniques, and scheduling and synthesis methods, the benefits of design automation can be significantly enlarged for embedded and cyber-physical systems.

The Model-Based Design Lab addresses these challenges through
1) development and integration of mathematical models and semantics;
2) algorithmic fundamentals for analysis, optimization and synthesis;
3) methodology integration and use cases.