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

Programme des journées

 Mardi 7 Juin Mercredi 8 JuinJeudi 9 Juin Vendredi 10 Juin
 8h-9hAccueilAccueil AccueilAccueil
 9h-10h30

AFADL

Articles

CAL+CIEL

Conf. invitée

Ouverture des journées
Présentation du GDR et des nouveaux groupes
Conférence invitée :
Jean-Marc Jézéquel (IRISA)
Session
Compil + LTP (2)
Session
IDM
10h30-11hPause caféPause caféPause caféPause café
 11h-12h30

AFADL

Articles

CAL+CIEL

Articles

Conférence invitée :
Pascal Cuoq (Trust In Soft)
Remise du prix de thèse
Nouvelles du CNRS
Session
GL/\CE
Session
LaHMA
 12h30-14hRepasRepas RepasRepas
 14h-15h30

AFADL

Articles

CAL+CIEL

Articles

Session
MTV2
(+ AFADL)
Session
IE

CAL+CIEL

Articles

Session
Compil + LTP
(1)
Session
GLE + RIMEL (2)
    
 15h30-16hPause café Pause caféPause café
16h-17h30

AFADL

Articles

CAL+CIEL

Articles

Session
MFDL
(+ AFADL)
Session
GLE + RIMEL (1)
Table ronde du GDR :
Enseignement de la programmation avant le bac 
17h30-18h30Réunion
CP AFADL
CAL+CIEL Réunion resp. GT & Com. Sc.Session
posters &
démos
Assemblée générale du GDR GPL 
 18h30-19h30Apéritif    AG IDM 
 SoiréeApéritifDiner de gala

Lieux

Site SJEPG

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