Wägemann P (2026)
Publication Type: Thesis
Publication year: 2026
URI: https://sys.cs.fau.de/publications/2026/waegemann_26_habilitation.pdf
The vast majority of hardware platforms are integrated into embedded systems, making them a strong driver for innovations, for example, in the health, energy, and mobility sectors. Many types of embedded systems are characterized by their stringent resource constraints: While the software of embedded real-time systems must fulfill timing constraints and guarantee that deadlines are met, battery-operated or batteryless/energy-harvesting devices similarly demand reliable execution under strict energy budgets. Likewise, limited memory creates challenges for running applications with substantial code and data requirements. With a generic view on the topic of resource limits in embedded systems, this cumulative habilitation treatise further aims to advance more sustainable, carbon-aware systems. Within these four types of resource constraints (i.e., time, energy, memory, and carbon), a main focus of this treatise is on providing provably safe execution for target applications while minimizing the resources required for this execution.
Targeting these four types of resource constraints, I have concentrated on three overlapping subject areas over the last years with the eventual goal of making embedded systems more reliable and/or more efficient. These areas comprise (1) analysis and (2) optimization techniques for (3) the design and implementation of embedded systems that execute within resource limits.
This cumulative habilitation treatise, which covers 12 peer-reviewed papers, first describes static and dynamic program analysis techniques to determine worst-case behaviors of program code. Second, based on previously identified analysis results, optimization techniques exploit tradeoffs in order to find resource-optimized configurations of systems. Third, this work presents several embedded systems where both the analysis and optimization techniques are utilized. The development of techniques and abstractions that comprehensively address the three overlapping subject areas is the central goal of this treatise.
APA:
Wägemann, P. (2026). Embedded Systems Under Resource Limits (Habilitation).
MLA:
Wägemann, Peter. Embedded Systems Under Resource Limits. Habilitation, 2026.
BibTeX: Download