Formale Methoden für die quantitative Analyse und Optimierung von Energiemodellen (B03)

• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2011 bis 2020
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 164481002

Die Mission dieses Projektes ist die Entwicklung von Techniken für die formale Analyse von energie-berücksichtigenden Rechentechniken, basierend auf operationellen Modellen und Evaluationskriterien, die den Zielkonflikt zwischen Energiebedarf und verschiedenen Formen von Nützlichkeitsanforderungen beleuchten. Die Techniken dieses Projekts unterstützen dabei sowohl die Entscheidungen während der Entwicklungsphase, als auch die Regelentscheidungen der HAEC-Energie-Kontrolle zur Laufzeit. Der Fokus von Phase III liegt dabei auf letzteren, kombiniert mit Unterstützung für eine hierarchische und dezentralisierte Kontrolle.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 912: HAEC - Highly Adaptive Energy-Efficient Computing
• Antragstellende Institution: Technische Universität Dresden
• Teilprojektleiterin: Professorin Dr. Christel Baier