Abstract:Response-time analysis (RTA) has been a means to evaluate the temporal correctness of real-time systems since the 1970 s. While early analyses were successful in capturing the exact upper bound on the worst-case response-time (WCRT) of systems with relatively simple computing platforms and task activation models, nowadays we see that most existing RTAs either become pessimistic or do not scale well as systems become more complex (e.g., parallel tasks running on a multicore platform). To make a trade-off between accuracy and scalability, recently, a new reachability-based RTA, called schedule-abstraction graph (SAG), has been proposed. The analysis is at least three orders of magnitude faster than other exact RTAs based on UPPAAL. However, it still has a fundamental limitation in scalability as it suffers from state-space explosion when there are large uncertainties in the timing parameters of the input jobs (e.g., large release jitters or execution-time variations). This could impede its applicability to large industrial use cases, or to be integrated with automated tools that explore alternative design choices. In this paper, we improve the scalability of the SAG analysis by introducing partial-order reduction rules that avoid combinatorial exploration of all possible scheduling decisions. We include systems with dependent and independent task execution models (i.e., with and without precedence constraint). Our empirical evaluations show that the proposed solution is able to reduce the runtime by five orders of magnitude and the number of explored states by 98% in comparison to the original SAG analysis. These achievements come only at a negligible cost of an over-estimation of 0.1% on the actual WCRT. We applied our solution on an automotive case study showing that it is able to scale to realistic systems made of hundreds of tasks for which the original analysis fails to finish.

Reducing End-to-End Latencies of Multi-Rate Cause-Effect Chains for the LET Model

External Timed I/O Semantics Preserving Utilization Optimization for LET-Based Effect Chain

Optimizing Logical Execution Time Model for Both Determinism and Low Latency

End-to-End Timing Analysis of Sporadic Cause-Effect Chains in Distributed Systems

Compositional Timing Analysis of Asynchronized Distributed Cause-Effect Chains

End-to-end timing analysis of cause-effect chains in automotive embedded systems

Comparing Communication Paradigms in Cause-Effect Chains

End-To-End Latency of Cause-Effect Chains: A Tutorial

Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs

Clockwerk: A Predictable and Efficient Extension of Logical Execution Time Model.

Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks

Eliminating Timing Errors Through Collaborative Design to Maximize the Throughput

Efficiently bounding deadline miss probabilities of Markov chain real-time tasks

ACET: An Adaptive Clock Scheme Exploiting Comprehensive Timing Slack for Reconfigurable Processors

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Exploiting Aperiodic Server to Improve Aperiodic Responsiveness for LET-Based Real-Time Systems

System-Level Design Space Exploration for High-Level Synthesis under End-to-End Latency Constraints

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

Latent Effects for Reusable Language Components: Extended Version

Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks

Laxity Release Optimization for Simulink Models