Deriving minimal models for resource utilization

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

doi:10.1145/2451605.2451612

Deriving minimal models for resource utilization

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

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

1 Citation (Scopus)

31 Downloads (Pure)

Abstract

We show how compact Resource Utilization Models (RUMs) can be extracted from concrete overly-detailed models of systems or sub-systems in order to model energy-aware software. Using the Counterexample-Guided Abstraction Refinement (CEGAR) approach, along with model-checking tools, abstract models can be generated that help establish key properties relating to energy consumption. This approach is illustrated by the concrete example of a network manager sub-system. This work is part of an overall design methodology for energy-aware software.

Original language	English
Title of host publication	GIBSE '13
Subtitle of host publication	Proceedings of the 2013 Workshop on Green In/By Software Engineering
Place of Publication	New York, NY
Publisher	Association for Computing Machinery
Pages	15-18
Number of pages	4
ISBN (Print)	978-1-4503-1866-2
DOIs	https://doi.org/10.1145/2451605.2451612
Publication status	Published - 26 Mar 2013
Event	1st International Workshop Green In/By Software Engineering, GIBSE 2013 - Fukuoka, Japan Duration: 26 Mar 2013 → 26 Mar 2013 Conference number: 1

Workshop

Workshop	1st International Workshop Green In/By Software Engineering, GIBSE 2013
Abbreviated title	GIBSE
Country/Territory	Japan
City	Fukuoka
Period	26/03/13 → 26/03/13

Keywords

CR-D.2.2
minimal abstraction
EWI-22581
Design method
Modularity
METIS-296148
Resource-utilization model
IR-85417
CEGAR
Model Checking
Energy-aware software

Access to Document

10.1145/2451605.2451612

Cite this

@inproceedings{df2b8157647b49c9987159f74ad00774,

title = "Deriving minimal models for resource utilization",

abstract = "We show how compact Resource Utilization Models (RUMs) can be extracted from concrete overly-detailed models of systems or sub-systems in order to model energy-aware software. Using the Counterexample-Guided Abstraction Refinement (CEGAR) approach, along with model-checking tools, abstract models can be generated that help establish key properties relating to energy consumption. This approach is illustrated by the concrete example of a network manager sub-system. This work is part of an overall design methodology for energy-aware software.",

keywords = "CR-D.2.2, minimal abstraction, EWI-22581, Design method, Modularity, METIS-296148, Resource-utilization model, IR-85417, CEGAR, Model Checking, Energy-aware software",

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

year = "2013",

month = mar,

day = "26",

doi = "10.1145/2451605.2451612",

language = "English",

isbn = "978-1-4503-1866-2",

pages = "15--18",

booktitle = "GIBSE '13",

publisher = "Association for Computing Machinery",

address = "United States",

note = "1st International Workshop Green In/By Software Engineering, GIBSE 2013, GIBSE ; Conference date: 26-03-2013 Through 26-03-2013",

}

te Brinke, S, Bockisch, C, Bergmans, L, Malakuti, S, Akşit, M & Katz, S 2013, Deriving minimal models for resource utilization. in GIBSE '13: Proceedings of the 2013 Workshop on Green In/By Software Engineering. Association for Computing Machinery, New York, NY, pp. 15-18, 1st International Workshop Green In/By Software Engineering, GIBSE 2013, Fukuoka, Japan, 26/03/13. https://doi.org/10.1145/2451605.2451612

Deriving minimal models for resource utilization. / te Brinke, Steven; Bockisch, Christoph; Bergmans, Lodewijk et al.
GIBSE '13: Proceedings of the 2013 Workshop on Green In/By Software Engineering. New York, NY: Association for Computing Machinery, 2013. p. 15-18.

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

TY - GEN

T1 - Deriving minimal models for resource utilization

AU - te Brinke, Steven

AU - Bockisch, Christoph

AU - Bergmans, Lodewijk

AU - Malakuti, Somayeh

AU - Akşit, Mehmet

AU - Katz, Shmuel

N1 - Conference code: 1

PY - 2013/3/26

Y1 - 2013/3/26

N2 - We show how compact Resource Utilization Models (RUMs) can be extracted from concrete overly-detailed models of systems or sub-systems in order to model energy-aware software. Using the Counterexample-Guided Abstraction Refinement (CEGAR) approach, along with model-checking tools, abstract models can be generated that help establish key properties relating to energy consumption. This approach is illustrated by the concrete example of a network manager sub-system. This work is part of an overall design methodology for energy-aware software.

AB - We show how compact Resource Utilization Models (RUMs) can be extracted from concrete overly-detailed models of systems or sub-systems in order to model energy-aware software. Using the Counterexample-Guided Abstraction Refinement (CEGAR) approach, along with model-checking tools, abstract models can be generated that help establish key properties relating to energy consumption. This approach is illustrated by the concrete example of a network manager sub-system. This work is part of an overall design methodology for energy-aware software.

KW - CR-D.2.2

KW - minimal abstraction

KW - EWI-22581

KW - Design method

KW - Modularity

KW - METIS-296148

KW - Resource-utilization model

KW - IR-85417

KW - CEGAR

KW - Model Checking

KW - Energy-aware software

U2 - 10.1145/2451605.2451612

DO - 10.1145/2451605.2451612

M3 - Conference contribution

SN - 978-1-4503-1866-2

SP - 15

EP - 18

BT - GIBSE '13

PB - Association for Computing Machinery

CY - New York, NY

T2 - 1st International Workshop Green In/By Software Engineering, GIBSE 2013

Y2 - 26 March 2013 through 26 March 2013

ER -

Deriving minimal models for resource utilization

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this