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

Slides:



Advertisements
Présentations similaires
GDRMACS Objectifs thématiques et Structuration
Advertisements

L'interopérabilité dans l'innovation 2
GALs français – 20/11/2009 Réseau européen de développement rural (RE DR) Gaëlle Lhermitte, Unité AGRI/G.3.
POTIMART Plate-forme Ouverte d’expérimenTation pour l’Information Multimodale et l’Analyse des Réseaux de Transport Projet labellisé Réunion PREDIM &
Dassault Aviation représentant le club – Paris – Journées GDR - club de partenaires GDR Robotique – 24 octobre 2008 Page n°1 Journées GDR - 24/10/2008.
Revues électroniques et gestion des ressources électroniques Facilitateur : NOM Coordinateur INASP : Martin Belcher.
IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
Projet FIACRE 1 ACI Sécurité InformatiqueToulouse, novembre 2004 FIACRE Fiabilité des Assemblages de Composants Répartis Modèles et outils pour lanalyse.
Eclipse Plug-ins Factory
Premier Séminaire détape (Rochefort les 18 et 19 mai 2005) Indicang – Interreg III Premier séminaire dEtape Rochefort les 18 et 19 mai 2005 Table Ronde.
1 Internet Act II Gilles Kahn Président Directeur Général, INRIA.
Que pouvons-nous faire ensuite?
Groupe France Télécom Projet Cilia : collaboration LIG Adèle – Orange Labs/MAPS/MEP slide 1 Cilia, un framework de médiation ouvert, léger, multi-personnalités.
JXDVDTEK – Une DVDthèque en Java et XML
2002 Compétitif XMiner : Plate-forme de structuration texte libre multi-approches par balisage XML de Tags Actifs Lobjectif du projet est de développer.
Projet OADymPPaC Réunion « debriefing » nov 2004
Framework Avancement au Plan Principales avancées pour les parties Ligand, Sites Actifs et Docking Processus dinstallation de.
UFR RIM : Réseaux Informatiques et Multimédia
Groupement National de Recherche en Robotique
Safae LAQRICHI, Didier Gourc, François Marmier {safae
Le Workflow et ses outils
Séminaire thématique Systèmes d’Information & Décision
Nadia FLOR DA CRUZ LOPES
Interface Homme Machine IHM Pro
Gestion des réserves naturelles
20 ans de recherches communes avec Gérard Ferrand, et un peu plus
CESAR-LCPC DECOUVERTE & MODELISATION
Présentation du port de Bejaia
DURIBREUX, Michèle & COCQUEBERT & HOURIEZ, Bernard,
Préqualification OMS des Produits Médicamenteux
Journée ConecsSdF 27 janvier 2011 ATELIER BENCHMARK Mise en œuvre du cas-test sur le simulateur Samovar Adrien GUENARD, INRIA Nancy, France Date.
© International Road Transport Union (IRU) 2012 Séminaire international sur les instruments de facilitation du commerce et du transport routier de lONU.
DataLab® Toute la connaissance client en quelques minutes
Franois Fages Fvrier 2002 Trois axes de recherche: • Langages concurrents avec contraintes • Solveurs de contraintes • Environnements de mise au point.
Interprétation de séquences dimages pour des applications MédiaSpace Alberto AVANZI François BREMOND Monique THONNAT Projet ORION INRIA de Sophia Antipolis.
Présentation du mémoire
Ecaterina Giacomini Pacurar
GT Modèles Formels pour l'Interaction
Projet JSimula.
Chaouki Daassi Projet Cartable Electronique
COTRE COmposants Temps REel
Marie-Laure Potet et Yves Ledru(LSR/IMAG)
Plate-forme française de réalité virtuelle &. 2 Partenariat ENSMP Plate-forme RNTL : PerfRv.
Sensibilisation a la modelisation
WP2 Modèles de programmation
Partie A Système d ’information et organisation
Soutenance de stage 16 Mai au 5 Août 2011
Soutenance de stage 16 Mai au 5 Août 2011
E.Dot – juillet 2005 Page 1 Conclusion [ Lot 4. Validation et Évaluation ] Rapport Final 4 juillet 2005.
Marc Bouissou, Guillaume Torrente, EDF
1 Architecture orientée service SOA Architecture orientée service SOA (Service Oriented Architecture)
Corporate Research Center Software Department 1/14 UAC/L/99/0292 PROJET CALIFE Réunion de lancement 2 septembre 1999 Calife.
Supports de formation au SQ Unifié
29 mars 2007 MEDICEN: Médecine Moléculaire et cellulaire IngeCELL Pôle de compétitivité MEDICEN Paris région Axe : Médecine cellulaire et moléculaire.
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
1 Alain Casali Christian Ernst Extraction de Règles de Corrélation Décisionnelles 29 Janvier 2009.
PROJET CAPS Compilation, Architecture, Parallélisme et Système.
1 La réalité virtuelle : pourquoi ? Objectifs et enjeux  La RV  Placer un utilisateur en interaction sensori-motrice avec un environnement virtuel 
1 La réalité virtuelle : pourquoi ? Objectifs et enjeux  La RV  Placer un utilisateur en interaction sensori-motrice avec un environnement virtuel 
Thibault ROY Université de Caen / Basse-Normandie Laboratoire GREYC – Equipe ISLanD Apport d’outils d’informatique documentaire à l’analyse de forums de.
1 Deux exemples de management (et d’organisation) de la recherche : le CNRS et l’INRIA Club EEA, Tours, 13 mai 2009.
1 Vers la gestion de la cohérence dans les processus multi-modèles métier Wolfgang THEURER Ecole Nationale Supérieure d’Ingénieurs des Etudes et Techniques.
L’enseignement de spécialité SLAM
Comité de Pilotage - 28/08/07 AVANCEMENT DU POTIMART: Logiciels libres pour l ’analyse de graphes de transport Fin de phase 1 P. Gendre
PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03.
30/11/2007Architecture logicielle pour l’adaptation dynamique; Application à la réplication de données1 Architecture logicielle pour l’adaptation dynamique.
Proposition de possibilité d’évolution de nos spécialités Deux projets (liés) : Projet 1 : Informatique Computationnelle – Etudiants 4 e et 5 e IR Projet.
1 La Coordination dans les Systèmes d’Information Orientés Agents (SIOA) Participants IRIT-UT1 : E.Andonoff, L. Bouzguenda,J. Cardoso, C. Hanachi, C. Sibertin-Blanc,
Coordination européenne de la recherche Transport Action Group 14 Karima Nahhal, Predit.
PCN ICT - Claire FERTE - 3 juillet 2007 Le PCN ICT dans le dispositif d’aide aux porteurs de projets européens.
Transcription de la présentation:

Présentation du projet OADymPPaC au séminaire RNTL Thème 2 P.Deransart INRIA-Rocquencourt Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes 15 nov mai 2004 (40 mois)

RNTL – Workshop Thématique Domaine /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

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

RNTL – Workshop Thématique Domaine /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

RNTL – Workshop Thématique Domaine /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

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

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

RNTL – Workshop Thématique Domaine /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

RNTL – Workshop Thématique Domaine /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

RNTL – Workshop Thématique Domaine /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

RNTL – Workshop Thématique Domaine /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)

RNTL – Workshop Thématique Domaine /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)

RNTL – Workshop Thématique Domaine /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)