Journées du GDR Génie de la Programmation et du Logiciel (GPL)

Les journées du GDR GPL seront composées de trois conférences invité, de sessions des groupes de travail du GDR ainsi que de présentations de posters et de démos.

Les posters seront accessibles pendant toutes les pauses des trois jours du GDR GPL.

Mercredi 10 Mars

9h00 - 10h30
Conférence invité d'Ivica Crnkovic : A Classification Framework for Component Models
11h00 - 12h30
Présentation de l'institut INS2I du CNRS par Florence Sèdes et 1ère partie de la présentation des défis du Génie de la Programmation et du Logiciel :
  • Nicolas Anquetil, Simon Denier, Stéphane Ducasse, Jannik Laval, Damien Pollet (INRIA), Roland Ducournau, Rodolphe Giroudeau, Marianne Huchard, Jean-Claude König et Abdelhak-Jamel Seriai (LIRMM / CNRS / Univ. Montpellier 2).
    Software (re)modularization: Fight against the structure erosion and migration preparation
  • Gabriela Arévalo (LIFIA / UNLP - Argentine), Zeina Azmeh, Marianne Huchard, Chouki Tibermacine (LIRMM / CNRS / Univ. Montpellier 2), Christelle Urtado et Sylvain Vauttier (LGI2P / Ecole des Mines d'Alès).
    Component and Service Farms
14h00 - 15h30
Deux sessions en parallèle :
  • Session du groupe de travail MTV2 (Méthodes de Tests pour la Validation et la Vérification)
    • Johan Oudinet (LRI / Univ. Paris-Sud /CNRS).
      Exploration aléatoire de modèles
      [ résumé ]
    • Amel Mammar, Ana Cavalli, Willy Jimenez (Télécom SudParis / CNRS / SAMOVAR), Edgardo Montes de Oca (Montimage), Shanai Ardi, David Byers et Nahid Shahmehri (Linköpings universitet - Suède).
      Modélisation et Détection Formelles de Vulnérabilités Logicielles par le Test Passif
      [ résumé ]
    • Omar Chebaro (CEA / LIST, LIFC / Univ. Franche-Comté), Nikolai Kosmatov (CEA / LIST), Alain Giorgetti (LIFC / Univ. Franche-Comté, INRIA Nancy Grand Est) et Jacques Julliand (LIFC / Univ. Franche-Comté).
      Combining Frama-C and PathCrawler for C Program Debugging
  • Session du groupe de travail Transformations en commun avec les journées IDM : « Transformation et DSL »
    • Marc Pantel (IRIT / Univ. Toulouse), Nassima Izerrouken (Continental, IRIT /Univ. Toulouse), Adrien Champion (IRIT / Univ. Toulouse), Jean-Charles Dalbin (Airbus SAS) et Frédéric Pothon (ACG Solutions).
      A pragmatic structural approach for the specification and verification of model transformations
      [ résumé ]
    • Jérôme Delatour, Matthias Brun, Guillaume Savaton, Jonathan Ilias-Pillet et Cédrick Lelionnais (ESEO).
      Les plates-formes d'exécution dans l'IDM : Quelles modélisations pour quelles utilisations ?
      [ résumé ]
    • ...
15h30 - 16h30
Pause prolongée pour présentation des posters et des démos
16h30 - 17h30
Deux sessions en parallèle :
  • Session du groupe de travail RIMEL (Rétro-Ingénierie, Maintenance et Evolution des Logiciels)
    • An Phung-Khac, Jean-Marie Gilliot et Maria-Teresa Segarra (Télécom Bretagne).
      Une architecture de composants répartis adaptables
      [ résumé ]
    • Eric Cariou, Nicolas Belloir, Franck Barbier et Nidal Djemam (LIUPPA / Univ. Pau).
      OCL contracts for the verification of model transformations
      [ résumé ]
  • Session du groupe de travail MFDL (Méthodes Formelles dans le Développement du Logiciel)
    • Thomas Bochot (Airbus France, ONERA / DTIM), Pierre Virelizier (Airbus France), Hélène Waeselynck (LAAS / CNRS / Univ. Toulouse) et Virginie Wiels (ONERA / DTIM).
      Application du Model Checking aux commandes de vol : l'expérience Airbus
      [ résumé ]
    • Abderrahman Matoussi, Frédéric Gervais et Régine Laleau (LACL / Univ. Paris-Est).
      Définition d'une sémantique Event-B pour les patrons de raffinement de buts KAOS
      [ résumé ]

Jeudi 11 Mars

9h00 - 10h30
Conférence invité de Pierre-Etienne Moreau : Combiner Java et réécriture, c'est possible et utile
11h00 - 12h30
Deux sessions en parallèle :
  • Session du groupe de travail COSMAL (Composants Objets Services : Modèles, Architectures et Langages
    • Jannik Laval, Alexandre Bergel, Stéphane Ducasse et Romain Piers (INRIA Lille Nord Europe / USTL / CNRS).
      Matrice de dépendances enrichie
      [ résumé ]
    • Floréal Morandat, Roland Ducournau (LIRMM / Univ. Montpellier 2) et Jean Privat (UQAM - Canada).
      Évaluation de l'efficacité des implémentations de l'héritage multiple en typage statique
      [ résumé ]
    • Mohamed Messabihi, Pascal André et Christian Attiogbé (LINA / CNRS / Univ. Nantes).
      Correction d'assemblages de composants impliquant des données et assertions
      [ résumé ]
  • Session du groupe de travail FORWAL (Formalismes et Outils pour la Vérification et la Validation)
    • Alexandre Duret-Lutz, Denis Poitrenaud et Jean-Michel Couvreur.
      On-the-fly Emptiness Check of Transition-Based Streett Automata
    • Alexander Heußner, Jérôme Leroux, Anca Muscholl et Grégoire Sutre (LaBRI /Univ. Bordeaux).
      Reachability Analysis of Communicating Networks with Pushdowns
      [ résumé ]
14h00 - 15h30
Deux sessions en parallèle :
  • Session de l'Action IDM (Ingénierie Dirigée par les Modèles)
    • Sagar Sen, Naouel Moha, Benoît Baudry et Jean-Marc Jézéquel (INRIA Rennes Bretagne Altantique).
      Meta-model Pruning
      [ résumé ]
    • Pierre-Alain Muller, Frédéric Fondement (Univ. Haute-Alsace) et Benoît Baudry (INRIA Rennes Bretagne Altantique).
      Modeling Modeling
      [ résumé ]
    • Jean-Philippe Babau (Univ. Brest) et Sylvain Robert (CEA).
      Retours sur l'école de printemps Model-Driven Development for Distributed Realtime Embedded Systems
      [ résumé ]
  • Session du groupe de travail LaMHA (Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée de grilles de calcul et Applications)
    • Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet et Philippe Wang (LIP6 / CNRS / Univ. Paris 6).
      OC4MC: Objective Caml for Multicore Architectures
      [ résumé ]
    • Frédéric Gava (LACL / Univ. Paris-Est) et Ilias Garnier (LIST / CEA Saclay).
      New Implementation of a BSP Composition Primitive with Application to the Implementation of Algorithmic Skeletons
    • Mohamad Al Hajj Hassan et Mostafa Bamha (LIFO / Univ. Orléans).
      A Scalable Parallel Algorithm for Join Queries Evaluation on Heterogeneous Distributed Systems
      [ résumé ]
16h00 - 18h00
Présentations et table ronde sur les défis du Génie de la Programmation et du Logiciel (2ème partie), avec la participation de Bertrand Braunschweig de l'ANR :
  • Patrick Albert (IBM), Mireille Blay-Fornarino (I3S), Philippe Collet (I3S), Benoit Combemale (IRISA), Sophie Dupuy-Chessa (LIG), Agnès Front (LIG), Anthony Grost (ATOS), Philippe Lahire (I3S), Xavier Le Pallec (LIFL), Lionel Ledrich (ALTEN Nord), Thierry Nodenot (LIUPPA), Anne-Marie Pinna-Dery (I3S), et Stéphane Rusinek (Psitec).
    End-User Modelling
  • Charles Consel (INRIA / Univ. Bordeaux).
    Towards Disappearing Languages
    [ résumé ]
  • Jean-Marc Menaud, Adrien Lèbre, Thomas Ledoux, Jacques Noyé Pierre Cointe, Rémi Douence et Mario Südholt (Ecole des Mines de Nantes / INRIA / LINA).
    Vers une réification de l'énergie dans le domaine du logiciel
    [ résumé ]
18h00 - 19h00
Réunion des comités

Vendredi 12 Mars

9h00-10h30
Deux sessions en parallèle :
  • Session du groupe de travail LTP (Langages, Types et Preuves)
    • Benoît Montagu et Didier Rémy (INRIA Paris-Rocquencourt).
      Types Abstraits et Types Existentiels Ouverts
      [ résumé ]
    • Louis Mandel, Florence Plateau et Marc Pouzet (LRI / Univ. Paris-Sud 11 / INRIA Saclay).
      Lucy-n : une extension n-synchrone de Lustre
      [ résumé ]
    • Évelyne Contejean (LRI / Univ. Paris-Sud / CNRS), Pierre Courtieu (Cédric / CNAM), Julien Forest (Cédric / ENSIIE), Andrei Paskevich (LRI / Univ. Paris-Sud / CNRS), Olivier Pons (Cédric / CNAM) et Xavier Urbain (LRI / Univ. Paris-Sud / CNRS, Cédric / ENSIIE).
      A3PAT, an Approach for Certified Automated Termination Proofs
      [ résumé ]
  • Session de l'action AFSEC (Approches Formelles des Systèmes Embarqués Communicants)
    • Marc Pouzet (LRI / Univ. Paris-Sud 11) et Pascal Raymond (VERIMAG).
      Modular Static Scheduling of Synchronous Data-flow Networks - An efficient symbolic representation
      [ résumé ]
    • Marc Boyer et David Doose (ONERA).
      Collaboration entre méthode d'ordonnancement et calcul réseau
      [ résumé ]
    • Jean-Luc Scharbarg, Jérôme Ermont (Univ. Toulouse / IRIT / ENSEEIHT / INPT), Henri Bauer (Univ. Toulouse / IRIT / ENSEEIHT / INPT, Airbus France) et Christian Fraboul (Univ. Toulouse / IRIT / ENSEEIHT / INPT).
      Analyse des délais de bout en bout pire cas dans des réseaux avioniques
      [ résumé ]
11h00 - 12h30
Conférence invité de Gérard Berry : qualité du logiciel : certification vs. vérification
12h30
Cloture des journées du GDR GPL avec la proclamation du meilleur poster

Défis et table ronde pour le Génie de la Programmation et du Logiciel à échéance de 2020

L'omniprésence de l'informatique dans notre quotidien à l'échelle de l'embarqué et de l'intelligence ambiante, l'extension du web au niveau de la planète, mais également dans les objets du quotidien, le développement de grandes infrastructures de calcul ou des centres de traitement de grandes masses de données soulèvent de nombreuses questions pour le génie de la programmation et du logiciel. Parmi ces questions, quelles sont celles qui correspondent à des défis que devront relever les chercheurs dans le domaine du génie de la programmation et du logiciel à échéance de 5 à 10 ans ?

De nouveaux paradigmes, de nouveaux langages, de nouvelles approches de modélisation, de vérification, de tests et de nouveaux outils dans le domaine de la programmation et du logiciel devraient voir le jour dans les 5 à 10 ans à venir, que ce soit pour faciliter la vie des concepteurs de logiciel, pour modéliser et fiabiliser les logiciels ou encore pour devancer l'évolution technologique, mais également pour prendre en compte de nouveaux enjeux de société tels que le développement durable et les économies d'énergie.

Les cinq défis seront présentés lors de deux sessions. Ils portent sur la (re)modularisation du logiciel, la mise en place de fermes de composants et de services, l'évaporation des langages, la modélisation pour l'utilisateur final et la réification de l'énergie au niveau des systèmes et des langages. Une table ronde permettra ensuite de débattre de ces sujets. Lors de cette table ronde, Bertrand Braunschweig fera le point sur la perception de notre domaine au sein de l'ANR.

Posters et démos du GDR GPL

Posters présentés pendant les pauses du GDR GPL (les démos sont présentées pendant la pause prolongée du Mercredi après-midi) :