Contribution à la validation des systèmes temps réel distribués : ordonnancement à priorités fixes et placement

par Michaël Richard

Thèse de doctorat en Informatique

Sous la direction de Francis Cottet et de Pascal Richard.


  • Résumé

    Nous étudions dans ce mémoire les systèmes temps réel distribués à priorités fixes. Dans un contexte distribué, la simulation ne peut valider une application. Seule une méthode analytique basée sur une étude pire cas permet de vérifier l'ordonnançabilité dans un tel contexte. Nous présentons une méthode optimale d'affection des priorités aux tâches et messages fondée sur l'analyse holistique. L'ordonnançabilité d'une application distribuée est fortement dépendante du couplage des architectures logicielle et matérielle. Nous proposons ensuite une méthode réalisant, de manière simultanée, le placement des tâches sur les processeurs et l'affectation des priorités aux tâches et aux messages. Cette méthode de recherche est étendue afin de considérer la communication entre tâches s'exécutant sur un même processeur. Enfin nous confrontons ces deux méthodes à une application distribuée issue du milieu industriel automobile.

  • Titre traduit

    On thevalidation of distributed real-time systems : Fixed-priority scheduling and task allocation


  • Résumé

    In this report, we study fixed priorities real-time distributed systems. In a distributed context, the application cannot be validate by simulation. Schedulability can be verified by an analytic method based on a worst case analysis. We present a method that assigns priorities to tasks and messages. This method is optimal in respect of the holistic analysis. Schedulability of distributed applications strongly depends on software and material architectures mapping. We propose a method achieving, in a simultaneous manner, the allocation of tasks on processors and the priorities assignment to tasks and messages. This searching method is extended in order to consider communications between tasks upon a same processor. Finally, both methods are confronted to an industrial automotive distributed system example.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 265 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 145 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Non disponible pour le PEB
  • Cote : 02/POIT/2321-A
  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Disponible pour le PEB
  • Cote : 02/POIT/2321-B
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-661
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.