Abstract:Research on modeling and analysis of real-time computing systems has been done in two areas, model checking and real-time scheduling theory. In model checking, an expressive modeling formalism such as timed automata (TA) is used to model complex systems, but the analysis is typically very expensive due to state-space explosion. In real-time scheduling theory, the analysis techniques are highly efficient, but the models are often restrictive. In this paper, we aim to exploit the possibility of applying efficient analysis techniques rooted in real-time scheduling theory to analysis of real-time task systems modeled by timed automata with tasks (TAT). More specifically, we develop efficient techniques to analyze the feasibility of TAT-based task models (i.e., whether all tasks can meet their deadlines on single-processor) using demand bound functions (DBF), a widely used workload abstraction in real-time scheduling theory. Our proposed analysis method has a pseudo-polynomial time complexity if the number of clocks used to model each task is bounded by a constant, which is much lower than the exponential complexity of the traditional model-checking based analysis approach (also assuming the number of clocks is bounded by a constant). We apply dynamic programming techniques to implement the DBF-based analysis framework, and propose state space pruning techniques to accelerate the analysis process. Experimental results show that our DBF-based method can analyze a TAT system with 50 tasks within a few minutes, which significantly outperforms the state-of-the-art TAT-based schedulability analysis tool TIMES.

Execution Time Analysis for Industrial Control Applications

Heterogeneous Static Timing Analysis with Advanced Delay Calculator

Estimate Test Execution Effort at an Early Stage: an Empirical Study

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

Timing Analysis of Embedded Software Updates

Chronos: A Timing Analyzer for Embedded Software

A Retargetable Software Timing Analyzer Using Architecture Description Language

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

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

On Timing Model Extraction and Hierarchical Statistical Timing Analysis

Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs

Energy consumption and execution time estimation of embedded system applications

Time- and Behavior-Preserving Execution of Determinate Supervisory Control

Estimation of Non-Functional Properties for Embedded Hardware with Application to Image Processing

A Decomposition-Based Approach for Multitask Scheduling with Execution Uncertainty in Industrial Internet of Things

Approach to Estimate a Basic Block's Execution Time on the Reconfigurable Device at Compile Time

Per-Instruction Cycle Stacks Through Time-Proportional Event Analysis

Schedulability Analysis for Timed Automata with Tasks

Development Automation of Real-Time Java

Optimization-based estimation of the execution time of a robotic assembly task sequence

Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems.