License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.2.7
URN: urn:nbn:de:0030-drops-89756
URL: http://drops.dagstuhl.de/opus/volltexte/2018/8975/
Go back to Dagstuhl Artifacts Series


Wägemann, Peter ; Dietrich, Christian ; Distler, Tobias ; Ulbrich, Peter ; Schröder-Preikschat, Wolfgang

Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)

pdf-format:
DARTS-4-2-7.pdf (0.5 MB)
artifact-format:
DARTS-4-2-7-artifact-b0c7fd4f2e18757d7fd06c92c40cef75.tar.xz (4,070 MB)


Abstract

Although internal devices (e.g., memory, timers) and external devices (e.g., sensors, transceivers) significantly contribute to the energy consumption of an embedded real-time system, their impact on the worst-case response energy consumption (WCRE) of tasks is usually not adequately taken into account. Most WCRE analysis techniques only focus on the processor and neglect the energy consumption of other hardware units that are temporarily activated and deactivated in the system. To solve the problem of system-wide energy-consumption analysis, we present SysWCEC, an approach that addresses these problems by enabling static WCRE analysis for entire real-time systems, including internal as well as external devices. For this purpose, SysWCEC introduces a novel abstraction, the power-state--transition graph, which contains information about the worst-case energy consumption of all possible execution paths. To construct the graph, SysWCEC decomposes the analyzed real-time system into blocks during which the set of active devices in the system does not change and is consequently able to precisely handle devices being dynamically activated or deactivated. In this artifact evaluation, which accompanies our related conference paper, we present easy to reproduce WCRE analyses with the SysWCEC framework using several benchmarks. The artifact comprises the generation of the power-state--transition graph from a given benchmark system and the formulation of an integer linear program whose solution eventually yields safe WCRE bounds.

BibTeX - Entry

@Article{wgemann_et_al:DARTS:2018:8975,
  author =	{Peter W{\"a}gemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schr{\"o}der-Preikschat},
  title =	{{Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)}},
  pages =	{7:1--7:4},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2018},
  volume =	{4},
  number =	{2},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8975},
  URN =		{urn:nbn:de:0030-drops-89756},
  doi =		{10.4230/DARTS.4.2.7},
  annote =	{Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysi}
}

Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysi
Seminar: DARTS, Volume 4, Issue 2
Related Scholarly Article: http://dx.doi.org/10.4230/LIPIcs.ECRTS.2018.24
Issue Date: 2018
Date of publication: 20.06.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI