1 / 12

OADymPPaC…OH ADD IMPACt! CHIP USER’S CLUB 2004

OADymPPaC…OH ADD IMPACt! CHIP USER’S CLUB 2004. Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes Tools for Dynamic Analysis and Constraint Program Debugging 15 nov. 2000 --- 14 mai 2004 (40 mois). P.Deransart INRIA-Rocquencourt pierre.deransart@inria.fr

monifa
Télécharger la présentation

OADymPPaC…OH ADD IMPACt! CHIP USER’S CLUB 2004

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. OADymPPaC…OH ADD IMPACt!CHIP USER’S CLUB 2004 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) P.Deransart INRIA-Rocquencourt pierre.deransart@inria.fr http://contraintes.inria.fr

  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

  3. 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 OADymPPaC

  4. Project Consortium and Organisation COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC

  5. Project sub-objectives SP1: FD solver modelling et tracers implementationSP2: generic trace model et visualization modelsSP3: debugging tools et views specificationSP4: generic components for visualization COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC

  6. Main Results • Generic Trace Format gentra4cp • Public Deliverables (software) public deliverables COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC

  7. Results: interoperability COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC

  8. Dissemination results • Dissemination 98 publications (58 communications)5 theses 8 rapports de stagesattendance to the 3 RNTL meetingparticipations 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 OADymPPaC

  9. 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 OADymPPaC

  10. 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 OADymPPaC

  11. 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 OADymPPaC

  12. 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 ??? COSYTEC USER’S Club - 18-19/11/2004 – Projet OADymPPaC

More Related