thesis

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

Defense date:

Jan. 1, 2007

Edit

Institution:

Paris 12

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

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).

Abstract FR:

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.