Analyse hors ligne d'ordonnançabilité d'applications temps réels comportant des tâches conditionnelles et sporadiques

Off ligne schdulability analysis of real time applications with conditionnal and sporadic tasks

• Auteur / Autrice : Stéphane Pailler
• Direction : Annie Choquet-Geniet
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2006
• Etablissement(s) : Poitiers
• Ecole(s) doctorale(s) : École doctorale Sciences pour l'ingénieur et aéronautique (Poitiers1992-2008)

Mots clés

Mots clés contrôlés

Informatique -- Industrie et commerce

Commande automatique

Petri, Réseaux de

Temps réel (informatique)

Résumé

Nous considérons le problème de l'ordonnancement hors ligne d'applications Temps Réel multitâches dans le contexte où les tâches peuvent comporter des instructions conditionnelles. Nous redéfinissons le modèle temporel de tâche pour prendre en compte explicitement les instructions conditionnelles, en étendant le modèle initial de Liu-Layland. Nous reformulons le problème de l'ordonnançabilité pour des tâches indépendantes et mettons en évidence l'ordonnançabilité globale et locale. Puis, nous étudions l'impact de la présence d'instructions conditionnelles sur les durées nécessaires de simulation. Enfin, nous proposons une méthode d'analyse d'ordonnançabilité fondée sur une modélisation par réseaux de Petri qui étend la méthode proposée par E. Grolleau dans sa thèse. L'ajout de tâches conditionnelles dans cette modélisation permet d'intégrer explicitement les différents comportements d'exécution des tâches et de prendre en charge l'activation des tâches sporadiques

We consider the off line scheduling problem of Real Time applications in the context where the tasks of the applications can have conditional instructions. We redefine the temporal model of task to take the conditional instructions explicitly into account, by extending the initial model of Liu-Layland to that of conditional task. Then, we transform the concept of scheduling into scheduling tree. We reformulate the problem of schedulability of independent tasks and we show the global and local schedulability. Then, we study how conditional task can change the laps of time necessary for the simulation of the application. Finally, we propose a method of schedulability analysis which uses a Petri nets modeling which extends the method suggested by Emmanuel Grolleau in his thesis. We can explicitly take every different behaviors of task into account with the conditional task approch and also deal with sporadic tasks released by particular behaviors of conditional task. No virus found in this outgoing message.