Programme

Programme des journées GDR-GPL 2012

1. Mercredi 20 juin 2012
2. Jeudi 21 juin 2012
3. Vendredi 22 juin 2012
4. Détails des sessions

Détails des sessions

1- MTV2

• Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, et Jacques Julliand, Le slicing améliore une méthode de vérification combinant l'analyse statique et l'analyse dynamique,
• Abderrahmane Feliachi, Marie-Claude Gaudel, et Burkhart Wolff, Isabelle/Circus: A Process Specification and Verification Environment
• Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, et Julien Botella ; Model-based filtering of large combinatorial test suites

2- Compilation

• Erven Rohou, Inria/Irisa, Défis des architectures à venir, quelle compilation pour demain ?
• Pierre Boulet, LIFL, Quels langages pour l'ère post-Moore ?
• Antoine Miné CNRS/ENS, Analyses statiques de programmes multitâches.

3- LTP

• Louis Bigo, Jean-Louis Giavitto, Antoine Spicher, Construction d'espaces topologiques pour la représentation d'objets musicaux
• Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner
  Une intégration des solveurs SMT dans l'assistant de preuve Coq à base de certificats.
• Jean-David Génevaux, Julien Narboux, Pascal Schreck, Formalisation de la méthode de Wu en Coq

4- LAHMA

• Wadoud Bousdira et Frédéric Loulergue (LIFO), Une bibliothèques vérifiée de squelettes algorithmiques sur tableaux équitablement répartis
• Chong Li et Gaétan Hains (LACL), SGL: vers la programmation parallèlle
  hétérogène et hiérarchique
• Jocelyn Sérot et François Berry (Institut Pascal, UMR 6602 U Clermont 2 / CNRS), CAPH un langage orienté acteurs pour la programmation d'applications sur circuits reconfigurables.
• Mathias Bourgoin, Jean-Luc Lamotte et Emmanuel Chailloux (LIP6), Programmation GPGPU avec OCaml

5- Session Actions spécifiques

AS Expert-User Modelling,

Xavier Le pallec, LIFL, Université Lille 1 – Sophie Dupuy-Chessa, LIG, Université Grenoble

L’implication des utilisateurs finaux dans la conception des applications est une préoccupation de plus en plus grande en Ingénierie Dirigée par les Modèles. La composition de modèles et la conception de langages de modélisation orientés utilisateurs sont deux aspects concernés par cette problématique qui étaient à l’origine de l’AS Expert-user modelling. Celle-ci se focalise toutefois sur les experts métiers qui, pour un domaine donné, partage un vocabulaire spécifique et/ou un ensemble de concepts. L’AS a permis d’établir le constat suivant : nos travaux nécessitent des phases d’évaluation auprès d’experts métiers alors que nous maîtrisons mal les techniques d’expérimentations. Au sein de l’AS, l’activité s’est donc plutôt focalisée sur les pratiques expérimentales. Nous avons effectué l’inventaire des démarches expérimentales pouvant être adoptées pour la conception ou l’évaluation, et nous avons collaboré pour la réalisation d’expérimentations en cours. Enfin, un texte a été rédigé afin de guider tout chercheur lors de ses premiers pas en pratique expérimentale.

AS 2011 "SEE BOOK",

Jean-Michel Bruel, IRIT, Université Toulouse 

Les systèmes embarqués sont actuellement un intérêt majeur avec le développement de nouvelles classes d'applications dites « ubiquitaires ». Ainsi, d'un « marché de niche » avec des contraintes fortes de fiabilités impliquant des techniques de développement particulières (architectures statiques, OS dédiés, techniques de programmation spécifiques, langages de description souvent spécifiques aussi), on doit intégrer de nouvelles contraintes à celles déjà existantes : répartition, mobilité. Dans ce contexte, les techniques de modélisations jouent un rôle important et doivent évoluer pour suivre cette adaptation. Il est intéressant de disposer d'un état de l'art sur les principales approches de conceptions s'appuyant sur des langages de modélisation reconnus. Citons à titre d'exemple : AADL, SysML, MARTE. L'objectif de cette Action Spécifique a donc été de supporter la production d'une monographie traitant de la modélisation de ces systèmes. L'idée a été de partir d'une étude de cas commune et de présenter différents langages de modélisation pour traiter ce même cas. L'ouvrage, qui devrait être publié d'ici la rentrée 2012, vise typiquement un lectorat de type ingénieur ou étudiant de master (attention pour ces derniers au coût de l'ouvrage). L'objectif a été de donner des indications à la fois « théoriques » sur quelques langages émergents mais aussi une vision « pratique » (i.e. comment faire) pour des personnes souhaitant rapidement prendre en main ce type de démarche

AS Modélisation hétérogène: bilan, verrous et défis" 

Benoit Combemale, IRISA, Université Rennes

L’ingénierie dirigée par les modèles fournis des techniques et des outils pour manipuler les modèles directement, raisonner sur leur composition, les transformer et générer le code d’implantation. Ceci permet en particulier d’avoir un flot intégré où modèles d’analyse et de conception sont traités dans le même espace technologique. Appliquée à la conception et l’analyse de systèmes complexes, il est fondamental de dissocier les modèles fonctionnels (et leurs sémantiques associées) de ceux qui caractérisent la sémantique de calcul, de communication et de synchronisation. Chacun de ces modèles doit pouvoir être manipulé séparément avant assemblage/tissage, vérification et déploiement par génération ou interprétation.  L'objectif de l'action spécifique était d’avoir une réflexion sur les efforts actuellement menés en France dans le domaine de la modélisation hétérogène au regard de la compétition internationale. En particulier, nous dresserons un bilan sur l'état de l'art et de la pratique ainsi que sur les verrous restant à lever en terme de techniques et d’outils pour la composition formelle de modèles métiers et de leurs modèles de calcul associés. 

Campagne de collecte de données et vie privée,

Romain Rouvoy, LIFL, Université Lille 1

La nouvelle génération de smartphones (Android, iPhone), maintenant équipée d'une grande variété de capteurs (GPS, bluetooth, accéléromètre, etc.), offre de nouvelles perspectives à diverses communautés scientifiques afin de réaliser une campagne de collecte de données massives d'une population et de son environnement. Ces données, peuvent ainsi être exploitées pour mieux comprendre les mouvements d'une population, de mettre au point de nouveaux protocoles de communication, d'analyser les interactions sociales des utilisateurs, etc. La nature sensible des données collectées, généralement couplant des informations temporelles et géographiques, peuvent révéler des informations critiques sur la vie privée d'un utilisateur (résidence privée, lieu de travail) , même si celles-ci ont été préalablement anonymisées. Ce risque potentiel représente un des principaux obstacles aux déploiements généralisés d'une application de collecte de données et à son adoption auprès des utilisateurs.

Dans ce contexte, nous présentons une nouvelle plate-forme permettant aux scientifiques de facilement mettre en place une campagne de collecte de données et inférer automatiquement différentes attaques sur les données partagées par les utilisateurs mobiles afin de les avertir d'un risque potentiel sur la protection de leurs vies privées.

6- RIMEL

• Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut et François Pfister.
  Easing Model Transformation Learning with Automatically Aligned Examples.
• Jannik Laval, Simon Denier, Stéphane Ducasse and Jean-Rémy Falleri. Supporting simultaneous versions for software evolution assessment.
• Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien et Philippe Lahire Reverse Engineering Architectural Feature Models.

7-MFDL 

• Gregor Goessler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei.
  Apport des méthodes formelles dans l'exploitation de logs informatiques dans un contexte contractuel
• Nora Cuppens : ???
• Antoine Ferlin, Virginie Wiels, vérification de propriétés sur des traces d'exécution

8- Action IDM

• Olivier Le Goaer, Université de Pau : Introduction à l'approche ADM
• Antoine Beugnard et Fahad Golra, Télécom Bretagne : Gérer plusieurs niveaux d'abstraction en modélisation des processus logiciels
• Benoît Combemale, Université Rennes 1 : Teaching MDE: An Experience Report

9- FORWAL

• Jean-Michel Couvreur (LIFO), Denis Poitrenaud (LIP6), Pascal Weil (LaBRI) , Dépliage de réseaux de Petri généraux.
• P.-C. Héam, V. Hugot et O. Kouchnarenko, Boucles et sur-boucle pour les automates d'arbre cheminants
• Thomas Genet, Tristan Le Gall, Axel Legay, Abstract Tree Regular Model Checking for Lattice Based Automata

10- Action AFSEC

• Marc Pouzet : Une extension de Lustre avec du temps continu 
• Loic Helouet :  Synthèse de protocoles à partir d'exigences - Garanties de correction par controle asynchrone. 
• Thomas Chatain : Avoiding shared clocks in networks of timed automata 
• Fabrice Kordon : Je n'ai pas encore le titre 

11- COSMAL

• Chouki Tibermacine, Salah Sadou, Christophe Dony and Luc Fabresse. Component-based Specification of Software Architecture Constraints. CBSE'11
• Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé: EScala: modular event-driven object interactions in scala. AOSD'11
• Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, and Jean-Marc Jezequel. Towards Flexible Evolution of Dynamically Adaptive Systems. NIER @ ICSE'12

12 - Formation à la recherche, par la recherche : à venir