Conception de systèmes temps réel déterministes en environnement incertain

par Lamine Bougueroua

Thèse de doctorat en Informatique

Sous la direction de Laurent George et de Serge Midonnet.


  • Résumé

    L'établissement de conditions de faisabilité permet d'apporter la garantie dans un système que les tâches associées aux traitements applicatifs respectent des échéances. Les analyses de faisabilité issues de l'état de l'art font l'hypothèse d'une connaissance exacte des temps d'exécution pire cas (WCET) des tâches et ne supposent aucune faute temporelle. En pratique, la détermination du WCET peut être très complexe et incertaine. Nous considérons dans cette thèse les fautes temporelles liées au dépassement du WCET. Nous montrons quelles sont les durées de dépassement pour lesquelles les échéances de l'ensemble des tâches sont toujours respectées et aboutissons ainsi à un nouveau concept que nous appelons "Allowance". L'allowance d'une tâche est caractérisée pour des ordonnancements préemptifs, à base de priorités fixes (FP) et dynamique (Earliest Deadline First). Nous proposons une implémentation de l'allowance dans une machine virtuelle Java Temps Réel compatible avec la norme RTSJ.

  • Titre traduit

    Deterministic real-time systems design in uncertain environment


  • Résumé

    Establishing feasibility conditions enables to guarantee in a system that associated to an application meet late completion deadlines. Feasibility conditions from the state of the art assume an exact knowledge of the worst case execution times (WCET) os the tasks and do not suppose any temporal fault. In practice, the computation of the WECT can be very complex and hard to guarantee. We consider temporal faults due to WCET overruns. We propose a mechanism that enables to cope with execution overruns before a deadline miss. This concept, called the "allowance" of a task, enables to characterize the maximum acceptable deviation of the WECT still meeting the deadlines of all the tasks. We compare the allowance obtained with a preemptive fixed priority (FP) scheduling and with Earliest Deadline First scheduling. We propose an implementation of the allowance in a Real-Time java virtual machine (RTSJ).

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XIV-129 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 119-127

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • Consultable sur place dans l'établissement demandeur
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.