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

1

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

P.DeransartINRIA-Rocquencourt

[email protected]

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


Project Consortium and Organisation


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


Main Results

Generic Trace Format gentra4cp

Public Deliverables (software) public deliverables


Results: interoperability


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


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


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


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)


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 ???

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

Documents

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