Réalisation d'une plateforme distribuée pour les réseaux de contraintes

Encadrants:

Rémi Coletta, Arnold Maestre et Christian Bessière

Ce sujet a été défini en collaboration avec les étudiants:
Remi Soulage

Benjamin Tabaries

Paul Rouault

Joel Girardeau


Et leur est donc en toute logique réservé.

Objectifs:

Il s'agit d'implémenter une plateforme permettant de tester différents algorithmes de résolution de CSP distribués dans des conditions réellement distribuées. En effet,une telle plateforme n'existant pas, chaque nouvel algorithme est testé indépendamment des autres; certains parfois même en conditions centralisées (ce qui parait plutôt gênant pour des algos "distribués").

• Dans un premier temps, il sera demandé d'étudier différents langages et interfaces (en C: socket, MPI, PVM... en Java: MadKit...) afin de déterminer le plus adéquat (en terme de facilité d'utilisation pour l'utilisateur, de performance, de load-balancing...).
• D'autre part, il faudra se familiariser avec les différents algos existants afin d'en extraire les points communs pour déterminer avec précision les besoins de la plateforme.
• Enfin, il sera bien sûr demandé de programmer un panel de ces algos dans le double but de procéder à la validation de la plateforme et de réaliser une série d'expérimentations.