Constant-Loop Dominators for Single-Path Code Optimization
EJ Maroun, M Schoeberl… - … International Workshop on …, 2023 - drops.dagstuhl.de
Single-path code is a code generation technique specifically designed for real-time systems.
It guarantees that programs execute the same instruction sequence regardless of runtime …
It guarantees that programs execute the same instruction sequence regardless of runtime …
GenE: A benchmark generator for WCET analysis
The fact that many benchmarks for evaluating worst-case execution time (WCET) analysis
tools are based on real-world applications greatly increases the value of their results …
tools are based on real-world applications greatly increases the value of their results …
[HTML][HTML] Predictable and optimized single-path code for predicated processors
Single-path code is a code generation technique for real-time systems that reduces
execution time variability. However, doing so can incur significant execution-time overhead …
execution time variability. However, doing so can incur significant execution-time overhead …
Automatic safe data reuse detection for the WCET analysis of systems with data caches
Worst-case execution time (WCET) analysis of systems with data caches is one of the key
challenges in real-time systems. Caches exploit the inherent reuse properties of programs …
challenges in real-time systems. Caches exploit the inherent reuse properties of programs …
Annotate once–analyze anywhere: context-aware WCET analysis by user-defined abstractions
S Schuster, P Wägemann, P Ulbrich… - Proceedings of the …, 2021 - dl.acm.org
The widespread adoption of cyber-physical systems in the safety-critical (hard real-time)
domain is accompanied by a rising degree of code-reuse up to actual software product lines …
domain is accompanied by a rising degree of code-reuse up to actual software product lines …
[HTML][HTML] A generic framework to integrate data caches in the WCET analysis of real-time systems
Worst-case execution time (WCET) analysis of systems with data caches is one of the key
challenges in real-time systems. Caches exploit the inherent reuse properties of programs …
challenges in real-time systems. Caches exploit the inherent reuse properties of programs …
Reducing the WCET and analysis time of systems with simple lockable instruction caches
One of the key challenges in real-time systems is the analysis of the memory hierarchy.
Many Worst-Case Execution Time (WCET) analysis methods supporting an instruction …
Many Worst-Case Execution Time (WCET) analysis methods supporting an instruction …
Static analysis of binary code with memory indirections using polyhedra
In this paper we propose a new abstract domain for static analysis of binary code. Our
motivation stems from the need to improve the precision of the estimation of the Worst-Case …
motivation stems from the need to improve the precision of the estimation of the Worst-Case …
Energy-constrained real-time systems and their worst-case analyses
P Wägemann - 2020 - search.proquest.com
The increasing number of embedded systems spawns applications with critical constraints in
both execution time and energy consumption. For their reliable operation, these energy …
both execution time and energy consumption. For their reliable operation, these energy …
High-performance predictable NVM-based instruction memory for real-time embedded systems
M Bazzaz, A Hoseinghorban… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Worst case execution time and energy consumption are two of the most important design
constraints of real-time embedded systems and memory subsystem has a major impact on …
constraints of real-time embedded systems and memory subsystem has a major impact on …