Formal Methods for Quantitative Analysis and Optimization of Energy Models (B03)

• Subject Area: Theoretical Computer Science
• Term: from 2011 to 2020
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 164481002

The mission of this project is to develop techniques for the formal analysis of energy-aware computing techniques based on operational models and evaluation criteria that illuminate the trade-off between energy requirements and various forms of utility constraints. Besides providing useful insights for design-time decisions of the HAEC-box, the techniques of this project can also support HAEC’s energy-control loop at run time. The focus in Phase III will be on the latter aspect, as well as on support for a hierarchical and decentralized energy-control loop.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 912: HAEC - Highly Adaptive Energy-Efficient Computing
• Applicant Institution: Technische Universität Dresden
• Project Head: Professorin Dr. Christel Baier