Due to constant increasing re-quirements on future electronic products, the integration of always more functionality puts us in front of greater challenges during the design of embedded systems. The technology cluster meets these challenges through:
- modeling, analysis, optimization, and synthesis of embedded hardware and software systems regarding energy consumption, timing, area, as well as robustness (design space exploration)
- specification, verification, and synthesis methods for component-based design processes, as well as formal analysis methodologies to cover the implementation constraints
- tools for automatic code generation for embedded hardware and software systems power, dissipation analysis and optimization and synthesis based on SystemC™.