Approche énergétique pour l'ordonnancement de tâches sous contraintes de temps et de ressources. (Energy-based approach for task scheduling under time and resource constraints)

Ce travail propose une approche originale pour l'ordonnancement de tâches sous contraintes de temps et de ressources. Les methodes et techniques developpees s'inscrivent dans la problematique de l'"Analyse Sous Contraintes" (A.S.C.) des problemes d'ordonnancement. Cette A.S.C. vise a caracteriser les ordonnancements admissibles de maniere a proposer au decideur un choix d'actions coherentes vis-a-vis des contraintes, tout en lui offrant une certaine flexibilite face a des aleas eventuels. L'A.S.C. est decrite comme un processus d'inference mettant en interaction une base de regles et une base de faits temporels et sequentiels representant les caracteristiques des ordonnancements admissibles. Un logiciel (MASCOT) ecrit en Prolog-II a ete realise selon ce principe. Une nouvelle approche pour l'A.S.C. et plus particulierement pour le raisonnement temporel sous contraintes de ressources a ete developpee. L'originalite de cette approche reside essentiellement dans la prise en compte du couplage temps/ressource a l'aide du concept d'intervalle temps-ressource qui conduit a utiliser un raisonnement energetique. L'intervalle temps-ressource permet de representer a la fois les tâches ou intervalles consommateurs et les intervalles de temps alloues sur lesquels des ressources sont disponibles, appeles intervalles fournisseurs. Le probleme de l'ordonnancement de tâches amene a etudier l'interaction entre intervalles consommateurs et fournisseurs sur la base de considerations energetiques. Le logiciel MASCOT met en jeu un processus de deduction symbolique. Ce type de deduction a ete ameliore par la prise en compte de l'energie obligatoirement consommee ou consommation obligatoire d'intervalles consommateurs sur un intervalle fournisseur. De nouvelles regles de deduction ont ete ecrites et integrees dans MASCOT. D'autre part, un processus de deduction base sur un raisonnement purement energetique a ete elabore et implemente (logiciel REPORT) en Prolog-II. Il utilise un autre type de deduction, la deduction numerique, qui permet d'affiner les bornes temporelles d'un intervalle fournisseur en considerant la consommation obligatoire des autres intervalles consommateurs. En d'autres termes, ces resultats consistent a actualiser des dates limites et correspondent a des conditions necessaires d'admissibilite ; ils permettent ainsi de detecter des infaisabilites eventuelles. L'outil de modelisation utilise est le graphe potentiels-bornes qui permet de representer des contraintes numeriques (sur la duree des tâches par exemple) et des contraintes symboliques entre intervalles. Il sert de support a un processus d'inference par propagation numerique des contraintes.