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.
Type de document :
Rapport
RR-3561, INRIA. 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00073122
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:55:01
Dernière modification le : samedi 27 janvier 2018 - 01:31:05
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:35:05

Fichiers

Identifiants

  • HAL Id : inria-00073122, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

267