2026-07-25T16:23:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8975 2024-03-12T12:02:08Z ddc:004 open_access

Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact) Wägemann, Peter Dietrich, Christian Distler, Tobias Ulbrich, Peter Schröder-Preikschat, Wolfgang energy-constrained real-time systems worst-case energy consumption (WCEC) worst-case response energy consumption (WCRE) static whole-system analysi 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Peter Wägemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schröder-Preikschat 2018 Is Part Of DARTS, Volume 4, Issue 2, Special Issue of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.4.2.7 urn:nbn:de:0030-drops-89756 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.2.7 eng https://creativecommons.org/licenses/by/3.0/de/legalcode