Abstract FR:

Ce travail concerne l'ordonnancement de tâches interdépendantes sous contraintes de temps et de ressources. Les méthodes et techniques développées s'inscrivent dans la problématique de l'analyse sous contraintes des problèmes d'ordonnancement. Celle-ci vise à caractériser les ordonnancements admissibles de manière a proposer au décideur un choix d'actions cohérentes vis-à-vis des contraintes. L'analyse est décrite comme un processus d'inférence mettant en interaction une base de règles et une base de faits temporels et séquentiels représentant les caractéristiques des ordonnancements admissibles. Des travaux antérieurs ont ainsi permis la réalisation du logiciel Mascot écrit en Prolog. Ils sont ici enrichis par une nouvelle approche dont l'originalité réside essentiellement dans l'utilisation du concept d'énergie issu du couplage du temps et des ressources. Le concept d'intervalle temps-ressource est introduit; il permet de représenter simultanément des caractéristiques temporelles et de ressource. On distingue les intervalles consommateurs (ou tâches) et les intervalles fournisseurs. Le type de déduction mis en jeu dans Mascot a été amélioré par la prise en compte des interactions entre intervalles consommateurs et fournisseurs. De nouvelles règles de déduction ont été écrites et intégrées dans Mascot, donnant lieu au logiciel Mascot2. D'autre part, un processus de déduction, basé sur un raisonnement purement énergétique, a été élaboré et implémenté en Prolog (logiciel report). Il met en jeu des instants remarquables, points de cassure des courbes d'énergie associées aux tâches. L'outil de modélisation utilisé est le graphe potentiels-bornes; il permet de représenter des contraintes numériques et des contraintes symboliques entre intervalles. Il sert de support a un processus d'inférence par propagation numérique des contraintes.