Le 14/12/2009 par huguet :

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. Parmi celle-ci l'utilisation de la programmation par contraintes semble une voix intéressante.
Le stage a pour but de modéliser le problème sous forme d'un problème de satisfaction de contraintes (CSP) puis d'en proposer une résolution à l'aide d'un solveur dédié.
Compétences attendues : programmation par contraintes - Java
Lieu de stage : LAAS-CNRS / Toulouse
Encadrants : Pierre-Emmanuel Hladik : pehladik@laas.fr
Patrick Esquirol : esquirol@laas.fr