HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Timing Analysis of Real-Time Scheduling Policies : A Trajectory Based Model

Abstract : Timing analysis of real time scheduling policies is concerned with the analysis of response times, because real-time constraints impose that tasks must complete before their deadlines. For the well studied earliest deadline first (EDF) and the fixed priority preemptive (FPP) policy, results are known under various assumptions about tasks. In this report we propose a mathematical model based on trajectories to represent and analyze the scheduling of recurrent tasks on one processor. We identify generic ideas and concepts such as majorizing work arrival functions, which allows to study scheduling policies separately from assumptions on tasks. We develop in particular a common approach for deriving response times bounds under policies that can be defined by priorities which are assigned to instances of tasks. Not only FPP and EDF but also the classical first in first out or the last in first out policies fall in this category. By developing the model as general framework for timing analysis we have also obtained some extensions of existing results about EDF and FPP.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 11:55:01 AM
Last modification on : Friday, February 4, 2022 - 3:16:27 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:35:05 PM


  • HAL Id : inria-00073122, version 1



J.M. Migge, Alain Jean-Marie. Timing Analysis of Real-Time Scheduling Policies : A Trajectory Based Model. RR-3561, INRIA. 1998. ⟨inria-00073122⟩



Record views


Files downloads