Programme des journées
Mardi 7 Juin | Mercredi 8 Juin | Jeudi 9 Juin | Vendredi 10 Juin | |||||
8h-9h | Accueil | Accueil | Accueil | Accueil | ||||
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-11h | Pause 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-14h | Repas | Repas | Repas | Repas | ||||
14h-15h30 | AFADL Articles | CAL+CIEL Articles | Session MTV2 (+ AFADL) | Session IE | CAL+CIEL Articles | Session Compil + LTP (1) | Session GLE + RIMEL (2) | |
15h30-16h | Pause 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-18h30 | Réunion CP AFADL | CAL+CIEL | Réunion resp. GT & Com. Sc. | Session posters & démos | Assemblée générale du GDR GPL | |||
18h30-19h30 | Apéritif | AG IDM | ||||||
Soirée | Apéritif | Diner de gala |
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