• ENT
  • Intranet
  • Portail étudiant
  • Portail université

Outils accessibilité :

  • Accessibilité |
  • Aller au contenu |
  • Aller au menu
 

UPThèses

Recherche

Rahni Ahmed

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF

fr

Consulter le texte intégral de la thèse (format PDF)  

Couverture du document

Index

École doctorale :

  • SPI&A - Sciences pour l'ingénieur et aéronautique (1992-2009)

UFR ou institut :

  • UFR des sciences fondamentales et appliquées (SFA)

Secteur de recherche :

  • Informatique et applications

Section CNU :

  • Informatique

Résumé

  • Français
  • English
 

Français

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF

Un système temps réel critique nécessite une validation temporelle utilisant un test d'ordonnançabilité avant sa mise en oeuvre. Cette thèse traite le problème d'ordonnancement des taches à offset (transactions) sur une architecture monoprocesseur, en priorités fixes et en priorités dynamiques. Les méthodes existantes pour un test exact ont une complexité exponentielle et seules existent des méthodes approchées, donc pessimistes, qui sont pseudo-polynomiales. En priorités fixes nous proposons des méthodes pseudo-polynomiales, basées sur l'analyse de temps de réponse qui sont moins pessimistes que les méthodes existantes. Nous présentons quelques propriétés (accumulativité monotonique, dominance de tâches) rendant exacte les méthodes d'analyse approchées pour certains cas de systèmes, et optimisant le temps de calcul. En priorités dynamiques, nous proposons un test d'ordonnançabilité exact avec une complexité pseudopolynomiale. Ce test est basé sur l'analyse de la demande processeur. Les qualités des résultats de nos méthodes sont confirmées par des évaluations expérimentales.

Mots-clés libres : ordonnancement, systèmes temps réel, tâches à offsets, monoprocesseur, analyse de temps de réponse, transactions, tâches multiframes, demande processeur, transactions accumulativement monotoniques, tâches dominées.

    Rameau (langage normalisé) :
  • Ordonnancement (gestion)
  • Temps réel (informatique)
  • Temps -- Mesure
  • Logiciels -- Validation

English

Fixed priority and EDF scheduling of tasks with offset

The validation process is an important step in the development of a real-time application. It consists in proving that, whatever happens, the scheduling policy guarantees that all the temporal constraints are met. In this thesis we study the schedulability test of tasks with offsets, on uniprocessor system, with fixed and dynamic priority assignments. The exact tests has an exponential complexity and only a sufficient (pessimistic) feasibility test with a pseudo-polynomial complexity has been proposed. Note that all existing tests are based on the response time analysis (RTA) technique. In the fixed priority context, we propose a new pseudo-polynomial RTA method, less pessimistic than the existing methods. We present some properties (accumulatively monotonic transactions, dominated tasks) that make exact the approximate methods, for certain cases, and optimize the run time computation. In the dynamic priority context, we provide a pseudo-polynomial exact schedulability test, based on the processor demand analysis. We provide experimental evaluations of the proposed tests and their optimization.

Keywords : real-time systems, scheduling, uniprocessor, tasks with offsets, transactions, multiframe tasks, response-time analysis, processor demand, accumulatively monotonic transactions, dominated tasks.

Notice

Diplôme :
Doctorat d'Université
Établissement de soutenance :
Université de Poitiers
Établissement de co-tutelle :
Ecole nationale supérieure de mécanique et d'aérotechnique (Chasseneuil-du-Poitou, Vienne, département)
UFR, institut ou école :
UFR des sciences fondamentales et appliquées (SFA)
Laboratoire :
L.I.S.I. - Laboratoire d'informatique scientifique et industrie (ENSMA)
Domaine de recherche :
Informatique
Directeur(s) de thèse :
Pascal Richard, Emmanuel Grolleau, Michaël Richard
Date de soutenance :
05 décembre 2008
Président du jury :
Yvon Trinquet
Rapporteurs :
Ye-Qiong Song, Maryline Chetto
Membres du jury :
Pascal Richard, Emmanuel Grolleau, Michaël Richard, Francis Cottet, Joël Goossens

  • Tweeter
  • Partager
 

Menu :

  • Rechercher par...

    • Années de soutenance
    • Auteurs
    • Directeurs de thèse
    • Écoles doctorales
    • Secteurs de recherche
    • Sections CNU
    • UFR, instituts et Écoles
    • Recherche ciblée
  • À propos d'UPthèses

    • Présentation
    • Mode d'emploi
    • Contacts
  • Voir aussi

    • theses.fr
    • Bibliothèques de l'UP
    • Sudoc

Annexe :

  • Une question ?

    Avec le service Ubib.fr, posez votre question par chat à un bibliothécaire dans la fenêtre ci-dessous :


    ou par messagerie électronique 7j/7 - 24h/24h, une réponse vous sera adressée sous 48h.
    Accédez au formulaire...
 
 

Université de Poitiers - 15, rue de l'Hôtel Dieu - 86034 POITIERS Cedex - France - Tél : (33) (0)5 49 45 30 00 - Fax : (33) (0)5 49 45 30 50
these@support.univ-poitiers.fr - Crédits et mentions légales