Développement d'une méthode ad hoc pour un ordonnancement périodique de fonctions avioniques
Dans le cadre de travaux sur l'ordonnancement des plates-formes
avioniques, un problème rencontré consiste à trouver une configuration
permettant de respecter les contraintes de période et de budget de
temps des traitements à effectuer. Les travaux en cours ont permis
de délimiter ce problème et de poser les bases de sa
résolution. Une première approche à l'aide de la programmation
linéaire a été implémentée, mais reste limitée. Dans le
but de comparer et d'améliorer les performances des algorithmes
actuellement utilisés, d'autres approches doivent être
envisagées, en particulier le développement de méthodes ad
hoc.
Le stage a pour but de mettre au point un algorithme pour résoudre ce problème en se basant sur un paradigme de résolution classique : recuit simulé, programmation par contraintes, branch-and-bound, etc. Le stage consistera a :