Abstract:Estimating safe upper bounds on execution times of programs is required in the design of predictable real-time systems. When multi-core, instruction pipeline, branch prediction, or cache memory are in place, due to the considerable complexity traditional static timing analysis faces, measurement-based timing analysis (MBTA) is a more tractable option. MBTA estimates upper bounds on execution times using data measured under the execution of representative execution scenarios. In this context, understanding how hardware-related events affect the executing program under analysis brings about useful information for MBTA. This paper contributes to this need by modeling the execution behavior of programs in function of hardware-related events. More specifically, for a program under analysis, we show that the number of cycles per executed instruction can be correlated to hardware-related event occurrences. We apply our modeling methodology to two architectures, ARMv7 Cortex-M4 and Cortex-A53. While all hardware events can be monitored at once in the former, the latter allows simultaneous monitoring of up to 6 out of 59 events. We then describe a method to select the most relevant hardware events that affect the execution of a program under analysis. These events are then used to model the program behavior via machine learning techniques under different execution scenarios. The effectiveness of this method is evaluated by extensive experiments. Obtained results revealed prediction errors below 20%, showing that the chosen events can largely explain the execution behavior of programs.

A Retargetable Software Timing Analyzer Using Architecture Description Language

Chronos: A Timing Analyzer for Embedded Software

Heterogeneous Static Timing Analysis with Advanced Delay Calculator

Automatic Design of CPU Development Tool Chain

A novel cross-layer framework for early-stage power delivery and architecture co-exploration.

Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources

Eliminating Timing Errors Through Collaborative Design to Maximize the Throughput

Timing Analysis of Embedded Software Updates

High-assurance timing analysis for a high-assurance real-time operating system

WCET-Aware Control Flow Checking with Super-Nodes for Resource-Constrained Embedded Systems

Execution Time Analysis for Industrial Control Applications

Understanding the Architectural Characteristics of EDA Algorithms

On the impact of hardware-related events on the execution of real-time programs

WCET Analysis of Unified Cache with Software Prefetching

Probabilistic Analysis of Weakly-Hard Real-Time Systems

Static Analysis for Fast and Accurate Design Space Exploration of Caches

LEASH: Enhancing Micro-architectural Attack Detection with a Reactive Process Scheduler

Mitigating Code-Reuse Attacks On Cisc Architectures In A Hardware Approach

EventTimer: Fast and Accurate Event-Based Dynamic Timing Analysis

Per-Instruction Cycle Stacks Through Time-Proportional Event Analysis

Tickwerk: Design of a LET-Based SoC for Temporal Programming