Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses

Sieh V, Burlacu R, Hönig T, Janker H, Raffeck P, Wägemann P, Schröder-Preikschat W (2019)

Publication Type: Journal article

Publication year: 2019

Journal

IEEE Embedded Systems Letters Institute of Electrical and Electronics Engineers (IEEE)

Book Volume: 11

Pages Range: 38-41

Journal Issue: 2

DOI: 10.1109/LES.2018.2868823

Abstract

Predicting the temporal behavior of embedded real-time systems is a crucial but challenging task, as it is with the energetic behavior of energy-constrained systems, such as IoT devices. To carry out static analyses in order to determine the worst-case execution time or the worst-case energy consumption of tasks, cost models are inevitable. However, these models are rarely available on a fine-grained level for commercial-off-the-shelf hardware platforms. In this letter, we present NEO, an end-to-end toolchain that automatically generates cost models, which are then integrated into an existing static-analysis tool. NEO exploits automatically generated benchmark programs, which are measured on the target platform and investigated in a virtual machine. Based on the gathered data, we formulate mathematical optimization problems that eventually yield both worst-case execution-time and energy-consumption cost models. In our evaluations with an embedded hardware platform (e.g., ARM Cortex-M0+), we show that the open-source toolchain is able to precisely bound programs' resources while achieving acceptable accuracy.

Authors with CRIS profile

Volkmar Sieh Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Robert Burlacu Economics - Discrete Optimization - Mathematics (EDOM) Timo Hönig Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Heiko Janker Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Phillip Raffeck Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Peter Wägemann Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

How to cite

APA:

Sieh, V., Burlacu, R., Hönig, T., Janker, H., Raffeck, P., Wägemann, P., & Schröder-Preikschat, W. (2019). Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses. IEEE Embedded Systems Letters, 11(2), 38-41. https://doi.org/10.1109/LES.2018.2868823

MLA:

Sieh, Volkmar, et al. "Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses." IEEE Embedded Systems Letters 11.2 (2019): 38-41.

BibTeX: Download