Abstract:In real-time systems, the application's behavior has to be predictable at compile-time to guarantee timing constraints. However, modern streaming applications which exhibit adaptive behavior due to mode switching at run-time, may degrade system predictability due to unknown behavior of the application during mode transitions. Therefore, proper temporal analysis during mode transitions is imperative to preserve system predictability. To this end, in this paper, we initially introduce Mode Aware Data Flow (MADF) which is our new predictable Model of Computation (MoC) to efficiently capture the behavior of adaptive streaming applications. Then, as an important part of the operational semantics of MADF, we propose the Maximum-Overlap Offset (MOO) which is our novel protocol for mode transitions. The main advantage of this transition protocol is that, in contrast to self-timed transition protocols, it avoids timing interference between modes upon mode transitions. As a result, any mode transition can be analyzed independently from the mode transitions that occurred in the past. Based on this transition protocol, we propose a hard real-time analysis as well to guarantee timing constraints by avoiding processor overloading during mode transitions. Therefore, using this protocol, we can derive a lower bound and an upper bound on the earliest starting time of the tasks in the new mode during mode transitions in such a way that hard real-time constraints are respected.

Automated Worst-Case Execution Time Analysis Based on Program Modes

Power Profiling for Low Power Optimization Using New Computing Model

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

Chronos: A Timing Analyzer for Embedded Software

A Retargetable Software Timing Analyzer Using Architecture Description Language

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

Heterogeneous Static Timing Analysis with Advanced Delay Calculator

ESOMICS: ML-Based Timing Behavior Analysis for Efficient Mixed-Criticality System Design

A Fast And Accurate Approach For Common Path Pessimism Removal In Static Timing Analysis

Deep Neural Network Approach to Estimate Early Worst-Case Execution Time

Cache Modeling in Probabilistic Execution Time Analysis

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

A Fast and Simple Block-Based Approach for Common Path Pessimism Removal in Static Timing Analysis

Computing Exact WCRT for Typed DAG Tasks on Heterogeneous Multi-Core Processors

Execution Time Analysis for Industrial Control Applications

Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches

Delay Analysis and Optimization for Inter-Core Interference in Real-Time Embedded Multicore Systems

Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages

Calculating Worst-Case Response Time Bounds for OpenMP Programs with Loop Structures

Modeling, Analysis, and Hard Real-time Scheduling of Adaptive Streaming Applications