Feasibility Analysis of Non-Concrete Real-Time Transactions With EDF Assignment priority

Abstract : We present a density based feasibility analysis of tasks with offset (non-concrete transactions) scheduled by preemptive EDF, on a uniprocessor system. Our method extends the analysis technique proposed for sporadic tasks, in [4, 2], that allows a global schedulability analysis of a system. We will show that, for non-concrete transactions, the naive extension analysis is intractable due to an important number of busy periods to consider. To avoid this problem we propose a pseudo-polynomial analysis technique that gives a necessary and sufficient condition of schedulability. This technique is based on the demand bound function. Finally, We provide an efficient implementation, for the presented analysis method, that speeds up the algorithm.
Type de document :
Communication dans un congrès
Giorgio Buttazzo and Pascale Minet. 16th International Conference on Real-Time and Network Systems (RTNS 2008), Oct 2008, Rennes, France. 2008
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00336510
Contributeur : Anne Jaigu <>
Soumis le : mardi 4 novembre 2008 - 12:51:02
Dernière modification le : mardi 4 novembre 2008 - 13:50:52
Document(s) archivé(s) le : lundi 7 juin 2010 - 22:43:26

Fichier

rahni.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00336510, version 1

Collections

Citation

Ahmed Rahni, Emmanuel Grolleau, Michael Richard. Feasibility Analysis of Non-Concrete Real-Time Transactions With EDF Assignment priority. Giorgio Buttazzo and Pascale Minet. 16th International Conference on Real-Time and Network Systems (RTNS 2008), Oct 2008, Rennes, France. 2008. 〈inria-00336510〉

Partager

Métriques

Consultations de la notice

203

Téléchargements de fichiers

142