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

Steven te Brinke; Somayeh Malakuti Khah Olun Abadi; 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 Khah Olun Abadi, Christoph Bockisch, Lodewijk Bergmans, Mehmet Akşit, Shmuel Katz

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

3 Citations (Scopus)

19 Downloads (Pure)

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	SAC '14
Subtitle of host publication	Proceedings of the 29th Annual ACM Symposium on Applied Computing
Place of Publication	New York, NY
Publisher	Association for Computing Machinery (ACM)
Pages	1206-1212
Number of pages	7
ISBN (Print)	978-1-4503-2469-4
DOIs	https://doi.org/10.1145/2554850.2554964
Publication status	Published - Mar 2014
Event	29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of Duration: 24 Mar 2014 → 28 Mar 2014 Conference number: 29

Conference

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

Keywords

EWI-23217
CR-D.2.2
minimal abstraction
Energy-aware software
METIS-303961
Model Checking
Modularity
IR-88452
CEGAR
Resource-utilization model

Access to Document

10.1145/2554850.2554964

Fingerprint Dive into the research topics of 'A tool-supported approach for modular design of energy-aware software'. Together they form a unique fingerprint.

Cite this

@inproceedings{c5987ae65b114c6498e2c140177d6d09,

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 = "EWI-23217, CR-D.2.2, minimal abstraction, Energy-aware software, METIS-303961, Model Checking, Modularity, IR-88452, CEGAR, Resource-utilization model",

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

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

year = "2014",

month = mar,

doi = "10.1145/2554850.2554964",

language = "English",

isbn = "978-1-4503-2469-4",

pages = "1206--1212",

booktitle = "SAC '14",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

}

te Brinke, S, Malakuti Khah Olun Abadi, S, Bockisch, C, Bergmans, L, Akşit, M & Katz, S 2014, A tool-supported approach for modular design of energy-aware software. in SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM), New York, NY, 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 Khah Olun Abadi, Somayeh; Bockisch, Christoph; Bergmans, Lodewijk; Akşit, Mehmet ; Katz, Shmuel.

SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York, NY : Association for Computing Machinery (ACM), 2014. p. 1206-1212.

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

TY - GEN

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

AU - te Brinke, Steven

AU - Malakuti Khah Olun Abadi, Somayeh

AU - Bockisch, Christoph

AU - Bergmans, Lodewijk

AU - Akşit, Mehmet

AU - Katz, Shmuel

N1 - Conference code: 29

PY - 2014/3

Y1 - 2014/3

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 - EWI-23217

KW - CR-D.2.2

KW - minimal abstraction

KW - Energy-aware software

KW - METIS-303961

KW - Model Checking

KW - Modularity

KW - IR-88452

KW - CEGAR

KW - Resource-utilization model

U2 - 10.1145/2554850.2554964

DO - 10.1145/2554850.2554964

M3 - Conference contribution

SN - 978-1-4503-2469-4

SP - 1206

EP - 1212

BT - SAC '14

PB - Association for Computing Machinery (ACM)

CY - New York, NY

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

Y2 - 24 March 2014 through 28 March 2014

ER -