ENERSAVE Methodik zum Entwurf von energiesparenden, verifizierten Systemen

Goal

The project ENERSAVE aims to save at least 30% of energy consumption in telecommunications systems with a new design methodology and it will demonstrate its effectiveness on a next generation internet network node. Thus ENERSAVE helps to reduce CO2-emissions and energy consumptions of telecommunications equipment despite exponentially increasing data rates and volumes.

In the project, OFFIS will develop an estimation methodology for the energy needs of individual sub-components which will hold all data in a library structure. This allows so-called power contracts for top-down design of a system which may lead to a planning of the energy budget at the beginning of the system design. The individual budgets are to be held along the design process down the abstraction levels, which need not be decided anew on each design level. In order to forward the decisions taken during the design, we relate on the industry standard UPF (Universal Power Format) and CPF (Common Power Format).

Persons

Scientific Director

Publications
Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC

Lorenz, Daniel and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim; 003 / 2012

Non-invasive Power Simulation at System-Level with SystemC

Lorenz, Daniel and Hartmann, Philipp A. and Grüttner, Kim and Nebel, Wolfgang; 009 / 2012

From RTL IP to Functional System-Level Models with Extra-Functional Properties

Lorenz, Daniel and Grüttner, Kim and Bombieri, Nicola and Guarnieri, Valerio, Bocchio, Sara; 10 / 2012

Fast Propagation of Hamming and Signal Distances for Register-Transfer Level Datapaths

Reimer, Axel and Kosmann, Lars and Lorenz, Daniel and Nebel, Wolfgang; 009 / 2012

Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer Ebene

Kosmann, Lars and Reimer, Axel and Helms, Domenik and Nebel, Wolfgang; MBMV; 03 / 2013

A Database for the Integration of Power Data on System Level

Sauppe, Matthias and Horn, Thomas and Markert, Erik and Heinkel, Ulrich and Lorenz, Daniel and Grüttner, Kim and Sahm, Hans-Werner and Otto, Klaus-Holger; 007 / 2013

Power Contracts: A Formal Way Towards Power-Closure?!

Nitsche, Gregor and Grüttner, Kim and Nebel, Wolfgang; 009 / 2013

Enabling Energy-Aware Design Decisions for Behavioural Descriptions Containing Black-Box IP-Components

Kosmann, Lars and Lorenz, Daniel and Reimer, Axel and Nebel, Wolfgang; 009 / 2013

Modelling, simulation and advanced tracing for extra-functional properties in SystemC

Hartmann, Philipp A.; European SystemC Users' Group Meeting; 009 / 2013

Beyond algorithms and performance: Modelling extra-functional properties in SystemC - Keynote

Hartmann, Philipp A.; Indian SystemC User's Group Conference; 004 / 2013

Leveraging Non-Intrusive TLM-2.0 Transaction Introspection for Power-Aware Virtual Prototyping - Tutorial

Hartmann, Philipp A.; Indian SystemC User's Group Conference; 004 / 2013

Data- and State-Dependent Power Characterisation and Simulation of Black-Box RTL IP Components at System-Level

Daniel Lorenz and Kim Grüttner and Wolfgang Nebel; 17th Euromicro Conference on Digital Systems Design (DSD 2014); 08 / 2014

Towards Satisfaction Checking of Power Contracts in Uppaal

Gregor Nitsche and Kim Grüttner and Wolfgang Nebel; Forum on specification & Design Languages (FDL 2014); 10 / 2014

A Methodology for Scaling Power Dissipation Values Between Different FPGAs

Reimer, Axel and Nebel Wolfgang; 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS'14); 10 / 2014

Trace-Based Power State Machine Modelling

Daniel Lorenz and Vincent Ortland and Kim Grüttner; Forum on specification & Design Languages (FDL) 2014; 10 / 2014

Partners
Infineon Technologies AG
www.infineon.com
Alcatel-Lucent Deutschland
TU Kaiserslautern
www.uni-kl.de
TU Chemnitz
www.tu-chemnitz.de
TU Dresden
tu-dresden.de

Duration

Start: 30.09.2011
End: 29.09.2014