Présentation du projet OADymPPaC au séminaire RNTL Thème 2 P.Deransart INRIA-Rocquencourt Outils.

Présentation au sujet: "Présentation du projet OADymPPaC au séminaire RNTL Thème 2 P.Deransart INRIA-Rocquencourt Outils."— Transcription de la présentation:

1 Présentation du projet OADymPPaC au séminaire RNTL Thème 2 P.Deransart INRIA-Rocquencourt pierre.deransart@inria.fr http://contraintes.inria.fr Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes 15 nov. 2000 --- 14 mai 2004 (40 mois)

2 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 2 Présentation du projet: challenges Interopérabilité des outils: faciliter le développement d'outils d'analyse de problèmes avec contraintes --> "standardiser" les plateformes CP et la paramétrisation des outils Passage à l'échelle: traiter des problèmes de grande taille (centaines de variables ou contraintes) ----> nécessité d'outils IHM puissants

3 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 3 Présentation du projet: consortium

4 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 4 Présentation du projet: objectifs SP1: Modélisation des solveurs (FD) et réalisation de traceurs SP2: Modèle de trace générique et modèles de visualisation SP3: Outils de débogage et spécification de vues SP4: Techniques et composants génériques de visualisation

5 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 5 Résultats obtenus à ce jour zFormat de trace générique gentra4cp gentra4cp zDélivrables publiques réalisations publiques réalisations publiques

6 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 6 Résultats: interopérabilité

7 7 Architecture de CHIP (COSYTEC) PPC solvers: CHIP++,CHIPC, CHIPC++,CLP(FD)… Driver CommunicationLogger Communication Flow: trace for analyzers Log file Flow: filtred trace Filters Flow: fitered trace Flow: complete trace AnalysisVisualization

8 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 8 Résultats obtenus à ce jour zDissémination 98 publications (dont 58 communications) 5 thèses (3 passées) 8 rapports de stages présence aux 3 manifestations RNTL participations aux conférences et workshops: Contraintes:JFPLC, ICLP, WLPE, UICS, CICLOP, ERCIM, AADEBUG, CP, AIPS, PATAT, ROADEF, ISS, PMS, FLOC, WFLP, FLAIRS, TRICS, JNPC, MIC

9 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 9 Retombées et perspectives d'exploitation zRetombées d'exploitation y ILOG DISCOVERY/ILOG Visual CP (licence gratuite pour le moment) y CHIP V5.6 nouvelles versions (juin 2004) avec traceur et nouveaux composants danalyse de performance et de mise au point xMeilleure compréhension de la résolution xAmélioration des temps de développement des applications zRetombées scientifiques yEffort de « standardisation » des solveurs de contraintes yStimulation de développements de traceurs et doutils (moyens: bibliothèque de problèmes et de traces, logiciels libres) yFacilitation du développement doutils dédiés au prototypage dapplications yMaîtrise de la combinatoire de certains problèmes complexes

10 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 10 Bilan "RNTL" Processus de sélection: délais OK incertitude sur date de début (autorisations dembauche) Mise en route et suivi: excellent. Merci, en particulier, à François Role, Ilarion Pavel, Martine Marty et Jean-Marc Labat zFin de projet: Ce que le RNTL a apporté au projet: permettre de faire collaborer les meilleurs partenaires possibles en France sur ce sujet (ce qui nexclut pas des projets européens ou internationaux) zProblèmes rencontrés yPossibilité tardive dembauche (prolongation du projet) yMobilité de certains partenaires

11 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 11 Conclusion et propositions pour la suite zEnseignements principaux y Stabilité consortium essentielle; les ralentissements viennent surtout du temps nécessaire à lélaboration des bonnes théories (risque plus élevé), mais aussi du temps nécessaire à lélaboration de prototypes distribuables, voire commercialisables. y Bien que projet « exploratoire », création dun lien fort entre la recherche académique et appliquée dans le domaine industriel y Création de supports de formation (sensibilité industrielle)

12 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 12 Conclusion et propositions (suite) Perspectives internationales: réseau, base de données doutils et de traces « trace repository »« trace repository » zNouveaux verrous à lever (identifiés, propres au projet) y Standardisation des interactions (flot descendant) y Paramétrage des outils de visualisation (3 niveaux: trace, métiers et visualisation) y Efficacité de la visualisation (ex: algorithmes de « clustering » de grosses matrices dincidence)

13 RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC 13 Conclusion et propositions (suite et fin) zThèmes à développer y Nombreux thèmes spécifiques (interactions et mise au point dapplications, reconnaissance visuelle des symétries, disomorphisme de graphes, production et utilisation dexplications,… yModélisation de solveurs et stratégies hybrides (sémantique observationnelle) yEnrichissement de la trace XML pour la maintenance dapplications à travers Internet (sécurité, workflow, XML)