Exact Polynomial Time Algorithm for the Response Time Analysis of Harmonic Tasks with Constrained Release Jitter

11/30/2019
by   Thi Huyen Chau Nguyen, et al.
0

In some important application areas of hard real-time systems, preemptive sporadic tasks with harmonic periods and constraint deadlines running upon a uni-processor platform play an important role. We propose a new algorithm for determining the exact worst-case response time for a task that has a lower computational complexity (linear in the number of tasks) than the known algorithm developed for the same system class. We also allow the task executions to start delayed due to release jitter if they are within certain value ranges. For checking if these constraints are met we define a constraint programming problem that has a special structure and can be solved with heuristic components in a time that is linear in the task number. If the check determines the admissibility of the jitter values, the linear time algorithm can be used to determine the worst-case response time also for jitter-aware systems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/05/2022

The Power of Duality: Response Time Analysis meets Integer Programming

We study a mutually enriching connection between response time analysis ...
research
07/25/2023

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

DAG (directed acyclic graph) tasks are widely used to model parallel rea...
research
02/07/2023

Assigning Optimal Integer Harmonic Periods to Hard Real Time Tasks

Selecting period values for tasks is a very important step in the design...
research
03/27/2013

A Polynomial Time Algorithm for Finding Bayesian Probabilities from Marginal Constraints

A method of calculating probability values from a system of marginal con...
research
04/24/2023

Median of heaps: linear-time selection by recursively constructing binary heaps

The first worst-case linear-time algorithm for selection was discovered ...
research
04/01/2014

Toward Parametric Timed Interfaces for Real-Time Components

We propose here a framework to model real-time components consisting of ...
research
04/29/2017

A Partitioning Algorithm for Detecting Eventuality Coincidence in Temporal Double recurrence

A logical theory of regular double or multiple recurrence of eventualiti...

Please sign up or login with your details

Forgot password? Click here to reset