Présentation du projet OADymPPaCau séminaire RNTL Thème 2

P.DeransartINRIA-Rocquencourt

pierre.deransart@inria.fr

http://contraintes.inria.fr

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

15 nov. 2000 --- 14 mai 2004 (40 mois)

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC2

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

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC3

Présentation du projet: consortium

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC4

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

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC5

Résultats obtenus à ce jour

Format de trace générique gentra4cp

Délivrables publiques réalisations publiques

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC6

Résultats: interopérabilité

7

Architecture de CHIP (COSYTEC)

PPC solvers:CHIP++,CHIPC, CHIPC++,CLP(FD)…

Driver

Communication Logger

Communication

Flow: trace for analyzers

Log file

Flow

: filtred trace

FiltersF

low: fitered trace

Flow: complete trace

Analysis Visualization

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC8

Résultats obtenus à ce jour

Dissé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

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC9

Retombées et perspectives d'exploitation

Retombées d'exploitation ILOG DISCOVERY/ILOG Visual CP (licence gratuite pour le moment) CHIP V5.6 nouvelles versions (juin 2004) avec traceur et nouveaux

composants d’analyse de performance et de mise au point Meilleure compréhension de la résolution Amélioration des temps de développement des applications

Retombées scientifiques Effort de « standardisation » des solveurs de contraintes Stimulation de développements de traceurs et d’outils (moyens:

bibliothèque de problèmes et de traces, logiciels libres) Facilitation du développement d’outils dédiés au prototypage

d’applications Maîtrise de la combinatoire de certains problèmes complexes

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC10

Bilan "RNTL"

Processus de sélection: délais OK incertitude sur date de début (autorisations d’embauche)

Mise en route et suivi: excellent. Merci, en particulier, à François Role, Ilarion Pavel, Martine Marty et Jean-Marc Labat

Fin 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 n’exclut pas des projets européens ou internationaux)

Problèmes rencontrés Possibilité tardive d’embauche (prolongation du projet) Mobilité de certains partenaires

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC11

Conclusion et propositions pour la suite

Enseignements principaux 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.

Bien que projet « exploratoire », création d’un lien fort entre la recherche académique et appliquée dans le domaine industriel

Création de supports de formation (sensibilité industrielle)

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC12

Conclusion et propositions (suite)

Perspectives internationales: réseau, base de données d’outils et de traces « trace repository »

Nouveaux verrous à lever (identifiés, propres au projet) Standardisation des interactions (flot descendant) Paramétrage des outils de visualisation (3 niveaux: trace,

métiers et visualisation) Efficacité de la visualisation (ex: algorithmes de

« clustering » de grosses matrices d’incidence)

RNTL – Workshop Thématique Domaine 2 - 01/07/2004 – Projet OADymPPaC13

Conclusion et propositions (suite et fin)

Thèmes à développer

Nombreux thèmes spécifiques (interactions et mise au point d’applications, reconnaissance visuelle des symétries, d’isomorphisme de graphes, production et utilisation d’explications,…

Modélisation de solveurs et stratégies hybrides (sémantique observationnelle)

Enrichissement de la trace XML pour la maintenance d’applications à travers Internet (sécurité, workflow, XML)