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.

Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms.

Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems

Temporal task partitioning algorithm for dynamically reconfigurable systems

Scheduling Fork-Join Task Graphs to Heterogeneous Processors

On the Control of Fork-Join Networks

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

Fork-Join Program Response Time on Multiprocessors with Exchangeable Join

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks

Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices

Calculating Response-Time Bounds for OpenMP Task Systems with Conditional Branches

Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism

Research on real-time FSM modeling for microfabrication NC system

Real-Time Scheduling and Analysis of Synchronous OpenMP Task Systems with Tied Tasks

Allocating IEC Function Blocks for Parallel Real-Time Distributed Control System

On Computing Exact WCRT for DAG Tasks

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

Research On Rtfsm Modeling For Control Flow Of Nc Machine Tool

Schedulability Analysis for Timed Automata with Tasks

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

An EDF Interrupt Handling Scheme for Real-Time Kernel: Design and Task Simulation

Response-Time Analysis of Bundled Gang Tasks Under Partitioned FP Scheduling