Programme général de GDR GPL
dernière mise a jour: 2011/06/01 16:55:08
Programmes : Général Court CAL
COSMAL
GDR GPL
IDM
Mercredi 8 juin
- 8h00-8h30
- 8h30-9h00 Amphi Migeon
- Ouverture des Journées
- Jean-Christophe Camart, Directeur de Polytech' Lille
- Isam Sharour, Vice-président recherche de Lille 1
- David Simplot-Ryl, Directeur du centre de recherche INRIA-Lille Nord Europe
- Sophie Tison, directrice du LIFL
- Laurence Duchien (LIFL, Université Lille 1, INRIA Nord-Europe)
- Yves Ledru, directeur du GDR GPL
- 9h00-10h30 Amphi Migeon
- Conférence invité
- Analyse de l'évolution des aspects sociaux dans les projets logiciels
- Tom Mens
Service de Génie Logiciel, Institut d'Informatique, Faculté des Sciences, Université de Mons, Belgique
- résumé :
- Le génie logiciel empirique s'intéresse aux études empiriques permettant de comprendre et d'améliorer certains aspects du processus logiciel. Nombre d'entre elles sont dédiées à l'évolution des projets logiciels. Elles extraient les données pertinentes venant de dépôts logiciels ou d'autres sources de données couramment utilisées par les développeurs. Nous suggérons d'élargir ce type d'études empiriques en tenant compte de l'information concernant les communautés de développeurs, ainsi que leur façon de travailler, d'interagir et de communiquer. L'hypothèse sous-jacente étant que les aspects sociaux influent significativement la qualité du produit logiciel, ainsi que la manière dont ce produit évolue au fil du temps. Dans cette conférence, nous présenterons un outil permettant d'extraire, de visualiser et d'analyser l'information concernant les communautés gravitant autour d'un projet logiciel. Nous montrerons quelques études empiriques effectuées avec cet outil, et nous ouvrirons des nouvelles pistes de recherche dans ce domaine de recherche combinant l'analyse des réseaux sociaux et le génie logiciel empirique.
- 10h30-11h00
- 11h00-12h30 Amphi Appert
- Session GT Compilation
- (2 présentations)
- Fabien Coelho, François Irigoin Compiling for a Heterogeneous Vector Image Processor
- Julien Henry Analyse statique de programme par Interprétation Abstraite
- 11h00-12h30 Amphi Lebon
- Session GT RIMEL
- Jannik Laval, Usman Bhatti, Nicolas Anquetil, and Stéphane Ducasse Software Maintenance Analysis and Understanding of the Software Structure
- Simon Allier , Salah Sadou, Houari A. Sahraoui, Régis Fleurquin D'une application orientée objet vers une application à base de composants via une architecture à base de composant
- Tom Mens, Benoît Vanderose, Leandro Doctors, and Flora Kamseu Etudes empiriques sur la qualité d'un logiciel lors de son évolution ? l'approche MoCQA
- 12h30-14h00 RU Barrois
- 14h00-15h30 Amphi Migeon
- Conférence invité
- Le défi des distributions de Logiciels Libres
- résumé :
- Les distributions de logiciels libres, comme Debian, RedHat, ou Ubuntu, sont parmi les plus grands systemes a composants existants, basees sur les paquets, avec leurs metadonnees, avec une serie d'outils qui permettent d'ajouter ou enlever des composants selon le besoin des utilisateurs. Faire evoluer les distributions est une tache complexe qui pose des nombreux defis: dans cet expose, apres avoir donne une formalisation simple des distributions de logiciels libres, on passera en revue plusieurs resultats et algorithmes developpes ces dernieres annees pour repondre a des questions comme "quel composant est le plus important parmi les 27.000 de Debian squeeze?", ou "quel changement de version aura le plus d'impact sur le systeme?".
- 15h30-16h30 Hall Polytech
- Session Posters/Démos et Pause café
- Pascal André, Mohamed Messabihi and Gilles Ardourel COSTO / Kmelia : a Platform to Specify and Verify Component and Service Software
- Julien Cohen, Akram Ajouli and Rémi Douence Program Transformation based Views for Modular Maintenance
- Antoine Beugnard and Ali Hassan Cloud Components for Highly Distributed Environments
- Diana Allam, Herve Grall and Jean-Claude Royer Towards a unified formal model for service orchestration and choreography
- Vanea Chiprianov, Yvon Kermarrec and Siegfried Rouvrais Construction collaborative de services de télécommunications: un processus dirigé par les modèles pour la génération d'outils
- 16h30-17h30 Amphi Migeon
- Table Ronde
- animateurs :
- participants :
- François Mérand
Microsoft Alliance, National Practice Leader at Sogeti
- François Letellier
Consultant indépendant - logiciel open source et innovation ouverte
- Roberto di Cosmo
Laboratoire PPS, Université de Paris VII
- résumé :
- Au-delà d'une réalité technologique, le logiciel libre et open source est une réalité économique. Il devient un enjeu stratégique (peut-être bientôt de souveraineté ?) pour les Etats vu le caractère de plus en plus diffusant du numérique dans les objets et systèmes du quotidien. Ce débat vise tout d'abord à re-préciser les définitions de "libre", "open source", donner les types de licence connues... Après un état des lieux (qu'est-ce qui existe à l'échelle planétaire ? quels sont les acteurs et "moins acteurs"...), les intervenants de la table ronde donneront leur opinion et leur vision sur des questions ouvertes comme : Quels (nouveaux ?) business models ? Tout logiciel produit doit-il être open source et/ou libre ? Qui finance leur production ? Quels schémas d'évolution pour le libre/open source, des organisations (fondations) aux bases de code à versionner, moderniser, porter... Quelles assurances, quelles garanties, quelles économies d'échelle, quelle pérennité... pour les (grands) utilisateurs ? On n'oubliera pas les Etats qui, sur les sujets de défense, mènent une réflexion aujourd'hui poussée sur "sécurité numérique et libre/open source".
- 17h30-18h30
- 18h30-20h00
- Visite guidée de Lille
- Départ : place Rihour, arrivée : Couvent des Minimes
- 20h00-23h59
- Repas de Gala, Couvent des Minimes, Lille
Revenir en haut de la page
Jeudi 9 juin
- 8h30-9h00
- 9h00-10h30 Amphi Migeon
- Conférence invité
- Modèles et outils pour la vérification de programmes utilisant la cryptographie
- 10h30-11h00
- 11h00-12h30 Amphi Appert
- Session GT IDM
- Thierry Millan et Agusti Canals L'ingénierie Dirigée par les modèles : où en est-on ?
- Ileana Ober, Sébastien Gérard Modeling Wizards: École d'automne dédiée à la modélisation
- Reda Bendraou, Marcos Aurélio Almeida da Silva, Xavier Blanc and Marie-Pierre Gervais Early Deviation Detection in Modeling activities of MDE Processes
- 11h00-12h30 Amphi Migeon
- Session GT LTP
- Thomas Jensen, Florent Kirchner, et David Pichardie Spécification et validation des politiques de copies d'objet
- Paolo Herms, Claude Marché, and Benjamin Monate A Certified Weakest Precondition Calculus
- Pierre Castéran, Vincent Filou, Allyx Fontaine Preuves formelles de systèmes de calculs locaux
- 12h30-14h00 RU Barrois
- 14h00-15h00 Amphi Migeon
- Discussions
- Discussion avec Jean-Pierre Cocquerez sur les évolutions et actions de l'INS2I.
- Présentation par Yves Ledru des actions en cours dans le GDR GPL
- 15h00-16h00
- Pause, Posters et Démonstrations
- 16h00-17h30 Amphi Appert
- Session GT AFSEC
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet Divide and Recycle: Types and Compilation for a Hybrid Synchronous Language
- Sandie Balaguer, Thomas Chatain, Stefan Haar Building Tight Occurrence Nets from Reveals Relations
- Euriell Le Corronc, Bertrand Cottenceau et Laurent Hardouin Flow Control with (Min,+) Algebra
- 16h00-17h30 Amphi Migeon
- Session GT COSMAL
- Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
- Gwenaël Delaval et Éric Rutten Modèles réactifs pour le contrôle de reconfiguration dans le modèle à composants Fractal
- Sébastien Mosser, Gunter Mussbacher, Mireille Blay-Fornarino et Daniel Amyot Une approche orienté aspect allant du modèle d'exigences au modèle de conception
- 17h30-19h30 Amphi Migeon
Revenir en haut de la page
Vendredi 10 juin
- 8h30-9h00
- 9h00-10h30 Amphi Migeon
- Session GT Forwal
- Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Slawek Staworko, Sophie Tison Vues de sécurité pour documents XML
- Y. Boichut, J.-M. Couvreur, D. Nguyen Systèmes de Réécriture Fonctionnels pour le Model-Checking Symbolique
- 9h00-10h30 Amphi Appert
- Session GT MTV2
- Johan Oudinet(6), Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, and Sylvain Peyronnet Exploration uniforme de modèles: application au model-checking de formules LTL
- Sébastien Bardin, Philippe Herrmann, and Franck Védrine Refinement-based CFG Reconstruction from Executables
- Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam Génération de tests à partir de mutations de protocoles de sécurité en HLPSL
- 10h30-11h00
- 11h00-12h30 Amphi Appert
- Session GT LaMHa
- Jean Fortin et Frédéric Gava BSP-Why: an intermediate language for deductive verification of BSP programs
- Frédéric Peschanski Principes et Pratiques de la Programmation Concurrente en Pi-calcul
- Chong Li, Gaëtan Hains SGL - Programmation parallèle hétérogène et hiérarchique
- 11h00-12h30 Amphi Migeon
- Session GT MFDL
- Marie de Roquemaurel, Thomas Polacsek, Jean-Paul Bodeveix, Mamoun Filali Assistance à la conception de modèles à l'aide de contraintes
- Philippe Dhaussy, Fredéric Boniol, Pierre-Yves Pillain, Yves Le Traon, Benoit Baudry Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
- Christophe Junke, Critères de tests pour les automates de modes et application au langage Scade 6
- 12h30-13h00 Amphi Migeon
- Clôture
- Proclamation du meilleur poster
- 13h00-14h00 RU Barrois
Revenir en haut de la page