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

Programme des journées

Lieux

L'accueil, les pauses-café (matin et après-midi), sessions posters/démos, et apéritifs (mardi et mercredi soir) auront lieu dans le Hall Fourier.

Les repas de midi auront lieu au Resto U "Petit Bouloie".

Mardi 7 Juin

Conférences AFADL (amphi Cournot) et CAL+CIEL (amphi Dalloz).

Apéritif en fin de journée dans le Hall Fourier

Mercredi 8 Juin

9h-10h30 : Ouverture des journées du GDR GPL - amphi Cournot

Présentation du GDR GPL - Pierre-Etienne Moreau

Présentation des nouveaux groupes de travail :
    • SDS - Systèmes De Systèmes
    • IE - Ingénierie des Exigences
    • GLE - Génie Logiciel Empirique
    • GL/\CE - Génie Logiciel pour les systèmes cyber-physiques
    • ALROB - Architectures Logicielles pour la ROBotique autonome et les systèmes adaptables
    • AFSEC - Approches Formelles pour les Systèmes Embarqués Communicants

11h-12h30 : Conférence invitée - amphi Cournot

Pascal Cuoq (Trust In Soft) - SQLite au peigne fin

SQLite est une bibliothèque extrêmement utilisée, inclue pour prendre deux exemples sur chaque téléphone Android et sur chaque téléphone iOS. Au cours du développement d'un nouvel outil de détection dynamique, tis-interpreter, nous nous sommes fixé pour objectif de faire passer dans tis-interpreter l'imposante suite de tests avec couverture MC/DC existant pour SQLite. Cette présentation résume le travail qui a été nécessaire pour passer du SQLite d'origine, déjà soumis à et amélioré sur la base des diagnostiques de tous les outils disponible, en un SQLite dans lequel tis-interpreter ne détecte pas de comportement non défini. Il sera aussi question du travail nécessaire pour passer du tis-interpreter d'origine, basé sur la technologie Frama-C utilisée opérationnellement dans les domaines aéronautique, nucléaire et spatial, et soumis à l'évaluation du NIST sur la suite de tests Juliet, en un outil capable d'analyser le code source de SQLite.

14h-15h30 : Sessions des groupes de travail en parallèle

Session MTV2, conjointe à AFADL - amphi Cournot

• Lydie Du Bousquet and Masahide Nakamura
  Quelle confiance peut-on établir dans un système intelligent?
• Maxime Puys, Marie-Laure Potet and Jean-Louis Roch
  Génération systématique de scénarios d’attaques contre des systèmes industriels
• Julien Lorrain, Elizabeta Fourneret, Frédéric Dadeau and Bruno Legeard
  MBeeTle - un outil pour la génération de tests à-la-volée à l'aide de modèles
• Adel Djoudi, Robin David, Josselin Feist, Sebastien Bardin and Thanh Dinh Ta
  BINSEC : plate-forme d'analyse de code binaire

Session IE - salle B1

• Driss Sadoun
  Utilisation des ontologies pour l’ingénierie des exigences
• Ciprian Teodorov, Philippe Dhaussy
  Vérification Formelle d’Observateurs Orientée Contexte
• Raúl Mazo
  Vers des systèmes logiciels auto-adaptatifs qui permettent la re-configuration lors de l’exécution

Session CAL+CIEL : Ingénierie des modèles - amphi Dalloz

• Rabah Mokhtari et Allaoua Chaoui
  Une approche MDE pour la modélisation et la transformation de modèles MAPS (Mobile Agent Platform for Sun SPOTs)
• Fouzia Anguel, Abdelkrim Amirat et Nora Bounour
  Model migration: reconstruction of metamodel evolution using an intelligent reasoning
• Emma Taktak, Imen Abdennadher et Ismael Bouassida Rodriguez
  Vers une approche d'adaptation du comportement énergétique d'un bâtiment intelligent

16h-17h30 : Sessions des groupes de travail en parallèle

Session MFDL, conjointe à AFADL - amphi Cournot

• Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix and Mamoun Filali
  Un processus de développement Event-B pour des applications distribuées
• Sebastien Bardin
  Projet ANR BINSEC : analyse formelle de code binaire pour la sécurité
• Thomas Fayolle
  Combiner des diagrammes d'état étendus et la méthode B pour la validation de systèmes industriels
• Thi-Kim-Zung Pham, Catherine Dubois and Nicole Levy
  Vers un développement formel non incrémental

Session GLE + RIMEL (1) - amphi Dalloz

• Luciana L. Silva, Marco Tulio Valente, Marcelo de A. Maia, and Nicolas Anquetil
  Developers’ Perception of Co-change Patterns: An Empirical Study - ICSME 2015
• André Hora, Romain Robbes, Nicolas Anquetil, Anne Etien, Stéphane Ducasse, and Marco Tulio Valente
  How Do Developers React to API Evolution? The Pharo Ecosystem Case - ICSME 2015
• Matthieu Foucault, Marc Palyart, Xavier Blanc, Gail C. Murphy, and Jean-Rémy Falleri
  Impact of Developer Turnover on Quality in Open-Source Software - FSE 2015

17h30 : Session posters et démos - hall Fourier

Cette session aura lieu dans le hall du bâtiment Fourier et se poursuivra par un moment de convivialité et d'échanges autour d'un apéritif.

17h30-18h30 : Réunion des responsables des groupes de travail et du comité scientifique du GDR - salle B1

Réunion concernant les membres du bureau du GDR et les responsables des groupes de travail.

18h30-19h30 : Assemblée générale du groupe IDM - salle B1

Assemblée générale concernant le groupe Ingénierie Des Modèles.

Jeudi 9 Juin

9h-10h30 : Conférence invitée - amphi Cournot

Jean-Marc Jézéquel (IRISA) - Families of DSLs

The engineering of complex systems involves many different stakeholders, each with their own domain of expertise. Hence more and more organizations are adopting Domain Specific Languages (DSLs) to allow domain experts to express solutions directly in terms of relevant domain concepts. This new trend raises new challenges about designing DSLs, handling variation points among DSLs, evolving a set of DSLs and coordinating the use of multiple DSLs. In this talk we explore various dimensions of these challenges, and outline a possible research roadmap for addressing them. We detail one of these challenges, which is the safe reuse of model transformations accross variants of DSLs.

11h-12h30 : Prix de thèse et nouvelles du CNRS - amphi Cournot

Remise du prix de thèse du GDR GPL : Mounir Assaf
From qualitative to quantitative program analysis: permissive enforcement of secure information flow

Nouvelles du CNRS.

14h-15h30 : Sessions des groupes de travail en parallèle

Session Compil + LTP (1) - amphi Cournot

• Pierre-Evariste Dagand
  Verifying clock-directed modular code generation for Lustre
• Catherine Dubois
  Test et preuve pour des structures combinatoires : Coq et Prolog
• Thomas Ehrhard
  Call-By-Push-Value from a Linear Logic point of view

Session GLE + RIMEL (2) - amphi Dalloz

• Jabier Martinez, Tewfik Ziadi, Tegawendé Bissyandé, Jacques Klein and Yves Le Traon
  Automating the Extraction of Model-based Software Product Lines from Model Variants - ASE 2015
• Geoffrey Hecht, Omar Benomar, Romain Rouvoy, Naouel Moha and Laurence Duchien
  Tracking the Software Quality of Android Applications along their Evolution - ASE 2015
• Frederico Alvares De Oliveira, Eric Rutten and Lionel Seinturier
  High-level Language Support for the Control of Reconfigurations in Component-based Architectures - ECSA 2015

16h-17h30 : Table ronde - amphi Cournot

Thème : Enseignement de l'informatique dans le primaire et le secondaire

Tour d'horizon des pratiques, initiatives, et impacts sur les enseignements postbac de l'intégration de l'informatique dans les programmes scolaires 2016.

Animée par Martin Quinson, ENS Rennes

Intervenants :

• Philippe Marquet, Université de Lille 1
• Sylvie Boldo, INRIA
• Benjamin Wack, Université Grenoble Alpes
• Christian Buso, Lycée Jules Haag Besançon

17h30-18h30 : Assemblée générale du GDR GPL - amphi Cournot

20h : Diner de gala du GDR GPL - Citadelle de Besançon

Nous sommes attendus à partir de 19h30 à l'entrée de la Citadelle de Besançon, pour un dîner à 20h dans la Chapelle Saint-Etienne, au centre du corps de place.
Pour se rendre à la Citadelle : prendre le bus pour le centre-ville (ligne 10 depuis le campus, ou ligne 5 depuis la gare) et descendre à l'arrêt Victor Hugo. Remonter ensuite en direction de la Citadelle, passer sous la Porte Noire, longer la Cathédrale Saint-Jean, puis commencer la montée de la Rue des Fusillés de la Résistance, finir en coupant par les escaliers pour atteindre l'entrée de la Citadelle (voir sur un plan).

Vendredi 10 Juin

9h-10h30 : Sessions des groupes de travail en parallèle

Session Compil + LTP (2) - amphi Cournot

• Stephan Merz
  Modèle et preuve formelle du déterminisme du système temps-réel PharOS
• Nasrine Damouche
  Amélioration à la Compilation de la Précision de Programmes Numériques
• Maroua Maaleej
  Symbolic range analysis of pointers

Session IDM - amphi Dalloz

• Benoit Combemale
  Omniscient Debugging and Concurrent Execution of Heterogeneous Domain-Specific Models
• Reda Bendraou
  Model-Driven Process Engineering for flexible yet sound process modeling, execution and verification
• Arnaud Cuccuru, Jérémie Tatibouet, Sahar Guermazi, Sébastien Revol and Sébastien Gérard
  An overview of OMG specifications for executable UML modeling

11h-12h30 : Sessions des groupes de travail en parallèle

Session GL/\CE - amphi Cournot

• Manzoor Ahmad, Nicolas Belloir, Jean-Michel Bruel.
  Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems.
• Cyril Cecchinel, Sébastien Mosser, Philippe Collet
  Software Development Support for Shared Sensing Infrastructures: A Generative and Dynamic Approach.
• Retours sur la journée GL/\CE-Tools organisée début mai

Session LaMHA - amphi Dalloz

• Sylvain Jubertie (LIFO et LRI)
  Organisation des structures de données : abstractions et impact sur les performances
• Victor Allombert (Université Paris-est Créteil - LACL)
  Multi-ML: Programming Multi-BSP Algorithms in ML
• Thibaut Tachon (Université d'Orléans - LIFO et Huawei FRC)
  Computing regular expression with BSP