1
OADymPPaC…OH ADD IMPACt!CHIP USER’S CLUB 2004
P.DeransartINRIA-Rocquencourt
http://contraintes.inria.fr
Outils pour l'Analyse Dynamique et la mise au Point deProgrammes avec Contraintes
Tools for Dynamic Analysis and Constraint Program Debugging
15 nov. 2000 --- 14 mai 2004 (40 mois)
2
Motivations
Symptom debugging Understanding of the propagation and of the search space Tune and optimize the problem
Improve solvers
ex: analysis for introduction of new dynamic strategies
Help Experts/Developers/Novices
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC3
Main Challenges
•Interoperability of tools:
make analysis tool development easier --> "standardisation" of the CP platforms and tools parameterisation
•Scaling:
increase the size of the problems which can be analysed this way (hundreds of variables or constraints) ----> enable using specialized HMI
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC4
Project Consortium and Organisation
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC5
Project sub-objectives
SP1: FD solver modelling et tracers implementation
SP2: generic trace model et visualization models
SP3: debugging tools et views specification
SP4: generic components for visualization
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC6
Main Results
Generic Trace Format gentra4cp
Public Deliverables (software) public deliverables
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC7
Results: interoperability
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC9
Dissemination results
Dissemination
98 publications (58 communications)
5 theses
8 rapports de stages
attendance to the 3 RNTL meeting
participations to conferences et workshops: Constraints:JFPLC, ICLP, WLPE, UICS, CICLOP, ERCIM, AADEBUG, CP, AIPS, PATAT, ROADEF, ISS, PMS, FLOC, WFLP, FLAIRS, TRICS, JNPC, MIC
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC10
Repercussions et prospects for exploitation
Repercussions of exploitation ILOG DISCOVERY/ILOG Visual CP (free distribution at moment) CHIPC++ V5.6 and CHPDEBUGGER with tracer and new analysis
components Better understanding of the resolution Shorter application development time
Scientific repercussions Contribute to the« Standardisation » effort of constraint solvers Stimulate tracers and tools development (way: repository of
problems and traces, free and commercial softwares) Easier development of tools dedicated to application prototyping Control of the combinatorial complexity of certain complex
problems
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC11
Lessons
Project lessons
Stability of the consortium important and was good; main time overheads mainly due to theoretical obstacles (higher risk), also due to relatively heavy development time.
This « exploratory » project allowed to reinforce strong links between academic research and applied industrial research
This allowed creation of teaching supports with industrial sensitivity
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC12
Follow up
International: network and « sourceforge » web site (trace4cp), « trace repository »
New bottelnecks (related to this project) Tools/Tracers interactions Full parameterisation (6 levels: see graphics) Efficiency of visualization (ex: « clustering » algorithms of
incidence matrix)
COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC13
Follow up (end)
Topics for further investigations
Specific topics (interactions, visual recognition of local symmetries, graph isomorphism, production et utilisation of explications,…)
Solver modelling and et hybrid strategies (observational semantics)
Enrichment of the XML trace for application maintenance of applications through Internet (safety, workflow, XML)
New project ???