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

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



PDF
Thumbnail PDF

Artifact Description

DARTS.4.2.7.pdf
  • Filesize: 0.5 MB
  • 4 pages

Document Identifiers

Author Details

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

Cite AsGet BibTex

Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, and Wolfgang Schröder-Preikschat. Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact). In Special Issue of the 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 2, pp. 7:1-7:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DARTS.4.2.7

Artifact

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.
Keywords
  • energy-constrained real-time systems
  • worst-case energy consumption (WCEC)
  • worst-case response energy consumption (WCRE)
  • static whole-system analysi

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Michel Berkelaar, Kjell Eikland, and Peter Notebaert. lp_solve - mixed integer linear programming (MILP) solver. URL: https://lpsolve.sourceforge.net.
  2. Christian Dietrich, Martin Hoffmann, and Daniel Lohmann. Global optimization of fixed-priority real-time systems by RTOS-aware control-flow analysis. ACM Transactions on Embedded Computing Systems (ACM TECS), 16:35:1-35:25, 2017. Google Scholar
  3. Christian Dietrich and Daniel Lohmann. The dataref versuchung: Saving time through better internal repeatability. ACM SIGOPS Operating Systems Review, 49(1):51-60, 2015. Google Scholar
  4. Christian Dietrich, Peter Wägemann, Peter Ulbrich, and Daniel Lohmann. SysWCET: Whole-system response-time analysis for fixed-priority real-time systems. In Proceedings of the 23nd Real-Time and Embedded Technology and Applications Symposium (RTAS '17), pages 37-48, 2017. Google Scholar
  5. Christian Eichler, Peter Wägemann, Tobias Distler, and Wolfgang Schröder-Preikschat. Demo abstract: Tooling support for benchmarking timing analysis. In Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17), pages 159-160, 2017. Google Scholar
  6. Yau-Tsun Steven Li and Sharad Malik. Performance analysis of embedded software using implicit path enumeration. In ACM SIGPLAN Notices, volume 30, pages 88-98, 1995. Google Scholar
  7. Oracle Corporation. VirtualBox. URL: https://virtualbox.org.
  8. Peter Puschner, Daniel Prokesch, Benedikt Huber, Jens Knoop, Stefan Hepp, and Gernot Gebhard. The T-CREST approach of compiler and WCET-analysis integration. In Proceedings of the 9th Workshop on Software Technologies for Future Embedded and Ubiquitious Systems (SEUS '13), pages 33-40, 2013. Google Scholar
  9. Peter Puschner and Anton Schedl. Computing maximum task execution times: A graph-based approach. Real-Time Systems, 13:67-91, 1997. Google Scholar
  10. Martin Schoeberl et al. T-CREST: Time-predictable multi-core architecture for embedded systems. Journal of Systems Architecture, 61:449-471, 2015. Google Scholar
  11. Marcus Völp, Marcus Hähnel, and Adam Lackorzynski. Has energy surpassed timeliness? - scheduling energy-constrained mixed-criticality systems. In Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '14), pages 275-284, 2014. Google Scholar
  12. Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, and Wolfgang Schröder-Preikschat. Whole-system worst-case energy-consumption analysis for energy-constrained real-time systems. In Proceedings of the 30th Euromicro Conference on Real-Time Systems (ECRTS '18), pages 1-24, 2018. Google Scholar
  13. Peter Wägemann, Tobias Distler, Christian Eichler, and Wolfgang Schröder-Preikschat. Benchmark generation for timing analysis. In Proceedings of the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17), pages 319-330, 2017. Google Scholar
  14. Peter Wägemann, Tobias Distler, Heiko Janker, Phillip Raffeck, Volkmar Sieh, and Wolfgang Schröder-Preikschat. Operating energy-neutral real-time systems. ACM Transactions on Embedded Computing Systems (ACM TECS), 17(1):11:1-11:25, 2017. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail