OADymPPaC

Outils pour l'Analyse Dynamique et la mise au Point de
Programmes avec Contraintes


Description du projet

1. Resume

2. Structure
 
 



1. Resume

La Programmation avec Contraintes est un ensemble de techniques de resolution de problemes de tres haute complexite, comme l'optimisation combinatoire, autorisant un  haut niveau d'expression et d'analyse des applications. Une grande partie des calculs de tailles est donc integee dans des ``solveurs''.
En contre partie il s'avere necessaire de disposer d'outils d'``observation'' de l'activite des solveurs, permettant d'analyser differents parametres comme la complexite de l'espace de recherche, l'evolution des domaines des variables ou l'utilisation des contraintes a differents niveaux de granularite. De telles observations permettent de comprendre les processus de resolution et de modeler les applications de maniere, en particulier, a converger plus vite vers la solution recherchee.

Compte-tenu de l'etat de l'art en matiere de mise au point de programmes avec contraintes et de la variete des solveurs existants, le projet a pour objectif principal la definition de techniques de trace generiques et de formats d'echange afin de faciliter la definition d'outils d'observation et  de mise au point.
Ceci permettra, en parallele, la definition et l'experimentation de nouveaux outils avec deux champs d'application: la programmation avec contraintes et une meilleure comprehension du comportement des solveurs d'une part, et le développement de techniques génériques de visualisation d'information adaptées à l'analyse visuelle des traces produites par les phénomènes dynamiques d'autre part.

Le consortium se compose de quatre partenaires academiques (INRIA-Rocquencourt, Ecole des Mines de Nantes, IRISA a Rennes et Universite d'Orleans) et deux partenaires industriels (Cosytec, Ilog).
Les partenaires du projet regroupent des competences dans trois domaines clefs pour le projet: Outils de mise au point de programmes, Techniques de visualisation et  programmation avec contraintes.

Les retombées attendues du projet sont de trois sortes: amélioration des compétences scientifiques et techniques des partenaires afin de maintenir l'avance technologique francaise dans ce domaine; amélioration des plateformes industrielles et academiques: solveurs de contraintes et leurs outils de mise au point pour Cosytec et modules de visualisation pour Ilog, logiciels libres comme GNU-Prolog, contribution a l'enseignement de la programmation avec contraintes.

Acteurs majeurs sur le marché de la programmation avec contraintes et de la visualisation, les partenaires industriels  du projet ont pour but d'offrir une gamme complete d'outils dans leurs domaines respectifs. De ces outils et des resultats scientifiques du projet nous sommes en droit d'esperer une meilleure diffusion de ces techniques fondamentales.
 
 


2. Structure