A tool-supported approach for modular design of energy-aware software

Steven Te Brinke; Somayeh Malakuti; Christoph Bockisch; Lodewijk Bergmans; Mehmet Akşit; Shmuel Katz

doi:10.1145/2554850.2554964

A tool-supported approach for modular design of energy-aware software

Steven Te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans, Mehmet Akşit, Shmuel Katz

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Abstract

The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization-or more general resource utilization-for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.

Original language	English
Title of host publication	Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014
Pages	1206-1212
Number of pages	7
DOIs	https://doi.org/10.1145/2554850.2554964
State	Published - 2014
Event	29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of Duration: 24 Mar 2014 → 28 Mar 2014

Publication series

Name	Proceedings of the ACM Symposium on Applied Computing

Conference

Conference	29th Annual ACM Symposium on Applied Computing, SAC 2014
Country/Territory	Korea, Republic of
City	Gyeongju
Period	24/03/14 → 28/03/14

Keywords

CEGAR
Energy-aware software
Minimal abstraction
Model checking
Modularity
Resource-utilization model

ASJC Scopus subject areas

Software

Access to Document

10.1145/2554850.2554964

Cite this

@inproceedings{64f1e11631f94bdcb628a75478f8d0b1,

title = "A tool-supported approach for modular design of energy-aware software",

abstract = "The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization-or more general resource utilization-for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.",

keywords = "CEGAR, Energy-aware software, Minimal abstraction, Model checking, Modularity, Resource-utilization model",

author = "{Te Brinke}, Steven and Somayeh Malakuti and Christoph Bockisch and Lodewijk Bergmans and Mehmet Ak{\c s}it and Shmuel Katz",

year = "2014",

doi = "10.1145/2554850.2554964",

language = "אנגלית",

isbn = "9781450324694",

series = "Proceedings of the ACM Symposium on Applied Computing",

pages = "1206--1212",

booktitle = "Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014",

note = "29th Annual ACM Symposium on Applied Computing, SAC 2014 ; Conference date: 24-03-2014 Through 28-03-2014",

}

Te Brinke, S, Malakuti, S, Bockisch, C, Bergmans, L, Akşit, M & Katz, S 2014, A tool-supported approach for modular design of energy-aware software. in Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. Proceedings of the ACM Symposium on Applied Computing, pp. 1206-1212, 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, Korea, Republic of, 24/03/14. https://doi.org/10.1145/2554850.2554964

A tool-supported approach for modular design of energy-aware software. / Te Brinke, Steven; Malakuti, Somayeh; Bockisch, Christoph et al.
Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. 2014. p. 1206-1212 (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A tool-supported approach for modular design of energy-aware software

AU - Te Brinke, Steven

AU - Malakuti, Somayeh

AU - Bockisch, Christoph

AU - Bergmans, Lodewijk

AU - Akşit, Mehmet

AU - Katz, Shmuel

PY - 2014

Y1 - 2014

N2 - The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization-or more general resource utilization-for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.

AB - The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization-or more general resource utilization-for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.

KW - CEGAR

KW - Energy-aware software

KW - Minimal abstraction

KW - Model checking

KW - Modularity

KW - Resource-utilization model

UR - http://www.scopus.com/inward/record.url?scp=84905668389&partnerID=8YFLogxK

U2 - 10.1145/2554850.2554964

DO - 10.1145/2554850.2554964

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84905668389

SN - 9781450324694

T3 - Proceedings of the ACM Symposium on Applied Computing

SP - 1206

EP - 1212

BT - Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014

T2 - 29th Annual ACM Symposium on Applied Computing, SAC 2014

Y2 - 24 March 2014 through 28 March 2014

ER -

A tool-supported approach for modular design of energy-aware software

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this