Onzièmes Journées Nationales

du Groupement de Recherche

Génie de la Programmation et du Logiciel

Colocalisées avec les conférences

AFADL Approches Formelles dans l’Assistance au Développement de LogicielsCIEL Conférence francophone en Ingénierie du Logiciel

Toulouse, 11 - 14 juin 2019

PROGRAMME DÉTAILLÉ

Mardi 11 juin - GDR

11h00 -12h30

Conférence invitée (Amphi B00)Quels défis pour le développement durable des logiciels ?Romain RouvoyFace à la multiplication des services en ligne qui envahissent notre quotidien, la question dudéveloppement durable se pose plus que jamais pour le génie logiciel. En effet, le déploiement mas-sif de services numériques a contribué à l’explosion de la consommation énergétiques des centres dedonnées au cours des dernières années avec des prévisions ciblant 20% de la consommation mondiale àl’horizon 2025. Sans négliger les nombreux enjeux que posent cette évolution des usages, la réductionde l’empreinte énergétique des services logiciels revêt néanmoins un défi particulièrement critiqueau regard de la disponibilité limitée des ressources de notre planète. Le caractère pluri-disciplinairede cette thématique de recherche requiert un effort coordonné dans de nombreux domaines afin depouvoir obtenir des gains significatifs. Au cours de cette présentation, je m’efforcerai donc d’illustrerles différentes dimensions de cette thématique de recherche au travers des travaux que nous avonsengagé dans l’équipe Spirals depuis 2010.

12h30 -13h45

Déjeuner (Salles C101-103)

13h45 - 17h30 : Visite Airbus (Groupe 1)Départ du bus : au pied de la passerelle sur le borddu canal.

13h45 - 15h15 : GT IE (Amphi C002)• Anatomie des exigences logicielles

Jean-Michel Bruel, Sophie Ebersold, FlorianGalinier

• Semios Suite : a software to improve requi-rements qualityManel Mezghanni

• FORMOD : un outil d’ingénierie des exi-gences basé sur la fédération de modèlesRégine Laleau

17h30 - 18h00 : Pause (Salles C101-103) 15h15 - 15h30 : Pause (Salles C101-103)

18h00 - 19h30 : GT IDM (Amphi C002)• Unified LTL Verification and Embedded Exe-

cution of UML ModelsValentin Besnard

• Efficient use of local energy : An activityoriented modeling to guide Demand SideManagementAlexandre Rio

• Bringing together Capella and AADL Veri-fication CapabilitiesFrédéric Mallet (visio)

18h00 - 19h30 : GT LaHMA - Compil (Am-phi A002)

• Calcul des interférences sur multi-cœursClaire Pagetti

• Primitives de tenseur pour les réseaux deneuronesThibaut Tachon

• Compiling for notifying memories : issuesand challengesKevin Martin

15h30 - 19h00 : Visite Airbus (Groupe 2)Départ du bus : au pied de la passerelle sur le borddu canal.

19h30 - Cocktail – Posters et Démos (Hall bâtiment C)

Amphi B00 Rez-de-chaussée du bâtiment B Amphis A001 et A002 Rez-de-chaussée du bâtiment AAmphi C002 Rez-de-chaussée du bâtiment C Salles C101-103 Premier étage du bâtiment C

Pensez à rendre les badges avant de quitter Toulouse !

Mercredi 12 juin - GDR / AFADL

9h00 - 10h30 Conférence invitée (Amphi B00)Sémantiques Formelles de JavaScriptAlan SchmittPourquoi formaliser un langage de programmation ? Parce que cela permet de mieux le définir,afin que ses utilisateurs puissent programmer plus rigoureusement. Parce que cela rend égalementpossible la vérification formelle de propriétés de programmes, par exemple avec des assistants depreuves. Depuis 2013, nous formalisons le langage JavaScript. Dans cet exposé, nous décrirons lesdifférentes approches que nous avons suivies, nous montrerons les outils que nous avons développés,nous aborderons nos relations avec le comité de standardisation, et enfin nous parlerons des nouveauxdéfis scientifiques issus de ces travaux.

10h30 -11h00

Pause (Salles C101-103)

11h00 -12h30

GT RIMEL - GLE - LOUISE (Amphi C002)• Astor : Exploring the design space of

generate-and-validate program repair beyondGenProgMatias Martinez and Martin Monperrus

• Alleviating Patch Overfitting with Automa-tic Test Generation : A Study of Feasibilityand Effectiveness for the Nopol Repair Sys-tem ?Zhongxing Yu, Matias Martinez, BenjaminDanglot, Thomas Durieux, Martin Monper-rus

• Rotten Green TestsJulien Delplanque, Stéphane Ducasse,Guillermo Polito, Andrew P. Black, AnneEtien

AFADL + GT AFSEC - MFDL (AmphiA002)

• Une analyse de la propriété fondamentale devivacité du protocole ChordJulien Brunel, David Chemouil and JeanneTawa

• Approches au Développement Formel deSystèmes Hybrides Basées sur la Preuve :Logique Dynamique et Event-BGuillaume Dupont, Yamine Ait Ameur,Marc Pantel and Neeraj Singh

• Une approche basée sur la séparation despréoccupations pour modéliser et vérifier lesrègles de signalisation d’un système ferro-viaireYves Ledru, Akram Idani, Rahma BenAyed, Abderrahim Ait Wakrime and Phi-lippe Bon

12h30 -14h00

Déjeuner (Salles C101-103)

Pensez à rendre les badges avant de quitter Toulouse !

Mercredi 12 juin - GDR / AFADL

14h00 -16h00

Nouvelles du CNRS (Amphi B00)

Remise du prix de thèse (Amphi B00)Prix 2018 Martin ClochardMéthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentielsRéalisée à l’Université Paris-Saclay, sous la direction scientifique de Claude Marché et Andrei Pas-kevichAccessit 2018 Thomas DurieuxFrom run-time failures to patches : study of patch generation in productionRéalisée à l’Université de Lille, sous la direction scientifique de Martin Monperrus, Lionel Seinturieret Youssef Hamadi

16h00 -16h30

Pause (Salles C101-103)

16h30 -18h00

GT SDS (Amphi C002)• Systèmes de Systèmes

Flavio Oquendo• Ingénierie dirigée par les modèles pour

Systèmes-de-SystèmeJean-Michel Bruel

• Avionique : Système ou Système deSystèmesFrédéric Boniol

• L’intégration Système basée modèle et simu-lationClaude Baron

AFADL + GT LTP (Amphi A002)• On est tranquilles pour longtemps – les

reçus-temps en logique de séparationFrançois Pottier (invités)

• Primitive Floats in CoqGuillaume Bertholon, Érik Martin-Dorel etPierre Roux (invités)

• Formalisation en Coq des erreurs d’ar-rondi de méthodes de Runge-Kutta pour lessystèmes matricielsFlorian Faissole

18h00 -18h30

AG du GDR (Amphi B00)

20h00 -

Dı̂ner de galaLe Moäı

Muséum d’Histoire Naturelle35 allées Jules Guesde

15 minutes à pied de l’ENSEEIHTMétro / tram : ”Palais de Justice”

(Plan agrandi en fin de programme)

Pensez à rendre les badges avant de quitter Toulouse !

Jeudi 13 juin - GDR / AFADL

9h00 - 10h30 Conférence invitée (Amphi B00)Enjeux du développement de services pour les véhicules connectésCamille Fayollas, Olivier Flebus, Hugues Bonnin - Continental Digital Services FranceEn connectant massivement les véhicules, leurs capteurs et systèmes, à une plateforme de services,le projet eHorizon de Continental permet l’émergence d’applications automobiles innovantes em-barquées en matière de sécurité, d’efficacité énergétique et de confort. Le développement de telsservices et applications entraine l’utilisation de technologies et de pratiques telles que l’informatiquenuagique, les approches centrées sur les données, l’intelligence artificielle, les méthodes agiles, . . .Celles-ci sortent du cadre des pratiques de développement pour les systèmes embarqués critiques etleur utilisation, pour des services automobiles, implique des enjeux que nous introduirons dans cetteprésentation.

10h30 -11h00

Pause (Salles C101-103)

11h00 -12h30

GT RIMEL - GLE - LOUISE (Amphi C002)• Advanced and efficient execution trace ma-

nagement for executable domain-specific mo-deling languagesErwan Bousse, Tanja Mayerhofer, BenoitCombemale, Benoit Baudry

• Multifaceted Automated Analyses forVariability-Intensive Embedded SystemsSami Lazreg, Maxime Cordy, Philippe Col-let, Patrick Heymans, Sébastien Mosser

• Specification and automatic checking of ar-chitecture constraints on object oriented pro-gramsSahar Kallel, Chouki Tibermacine, SlimKallel, Ahmed Hadj Kacem, ChristopheDony

AFADL + GT MTV2 (Amphi A002)• Test d’un robot agricole en simulation

Hélène Waeselynck• Tests de politiques d’adaptation pour

systèmes cyber-physiquesJean-Philippe Gros

• Towards a Test-and-Proof Framework forC11 in Isabelle/HOLBurkhart Wolff (invité)

12h30 -14h00

Déjeuner (Salles C101-103)

Pensez à rendre les badges avant de quitter Toulouse !

Jeudi 13 juin - GDR / AFADL / CIEL

14h00 -16h00

Atelier Certification & Argumentation (Am-phi A001)

• Introduction à l’atelierThomas Polacsek et Mireille Blay-Fornarino(ONERA / Université Nice Côte d’AZUR)

• Une approche basée patron pour la certifica-tion multi-coeurKevin Delmas (ONERA)

• Overarching-Properties, Argumentation andStreamlining Development AssuranceHervé Delseny (Airbus)

• An Overarching-Properties Assurance Casefor Qualification of a Code GeneratorCyrille Comar (Adacore)

• Agilité et sûreté logicielle : quand le DevOpsles réconcilieClément Duffau (Stack Labs)

AFADL (Amphi A002)• Ingénierie dirigée par les foncteurs

Gabriel Radanne, Anil Madhavapeddy, Je-remy Yallop, Thomas Gazagnaire, RichardMortier, Hannes Mehnert, Mindy Prestonand David Scott

• Qbricks, un environnement pour lavérification formelle en informatiquequantiqueChristophe Chareton, Sebastien Bardin,François Bobot, Valentin Perrelle andBenôıt Valiron

• Formalisation et validation d’une méthodede construction de systèmes de blocsJessy Colonval and Henri de Boutray

• Dépliage de Boucles Versus PrécisionNumériqueNasrine Damouche, Xavier Thirioux, Mat-thieu Martel and Hanane Benmaghnia

CIEL (Amphi C002)Applications mobiles

• Introduction de CIEL 2019 - L’IngénieriEdu Logiciel

• The Rise of Android Code Smells : Who Isto Blame ?Sarra Habchi, Naouel Moha and RomainRouvoy

• Testing Nearby Peer-to-Peer Mobile Apps atLargeLakhdar Meftah, Romain Rouvoy and Isa-belle Chrisment

• Forage d’applications mobiles pour la refac-torisation des défauts de codeAdel Nassim Henniche, Nabila Bousbia andNaouel Moha

16h00 -16h30

Pause (Salles C101-103)

16h30 -18h00

AFADL (Amphi A002)• La logique contre les fantômes : comparai-

son de deux approches pour la preuve d’unmodule de listes châınéesAllan Blanchard, Nikolai Kosmatov and Fre-deric Loulergue

• Polygraph : un modèle flot de données avecarithmétique de fréquencesPaul Dubrulle, Christophe Gaston, NikolaiKosmatov, Arnault Lapitre and StéphaneLouise

• MetAcsl : spécification et vérification de pro-priétés de haut niveauVirgile Robles, Nikolai Kosmatov, VirgilePrevosto, Louis Rilling and Pascale Le Gall

CIEL (Amphi C002)IDM

• Migration de GWT vers Angular 6 en uti-lisant l’IDMBenôıt Verhaeghe, Anne Etien, StéphaneDucasse, Abderrahmane Seriai, Laurent De-ruelle and Mustapha Derras

• Establishing syntactic guarantees for patterneliminating transformationsPierre Lermusiaux, Horatiu Cirstea andPierre-Etienne Moreau

• Bad Smells d’expressivité dans lesmétamodèles (titre susceptible de chan-ger)Elyes Cherfa, Salah Sadou, Chouki Tiber-macine, Soraya Kesraoui and Régis Fleur-quin

Pensez à rendre les badges avant de quitter Toulouse !

Vendredi 14 juin - AFADL / CIEL

9h00 - 10h30 AFADL (Amphi A002)• Contribution à la formalisation des pro-

priétés graphiques des systèmes interactifspour la validation automatiquePascal Béger, Valentin Becquet, SebastienLeriche and Daniel Prun

• Formalisation, vérification et évaluation destratégies d’élasticité dans le CloudKhaled Khebbeb, Nabil Hameurlain andFaiza Belala

• Unification de la Vérification et del’Exécution Embarquée de ModèlesValentin Besnard

CIEL (Amphi C002)Début 9h30Développement de Systèmes

• Le Développement de Système de SystèmesSécurisé Nécessitant un Déploiement Ra-pideNan Messe, Regis Fleurquin, Nicolas Belloir,Vanea Chiprianov, Imane Cherfa and SalahSadou

• DEPS Studio : Un environnement intégré demodélisation et de résolution de problèmesde conception de systèmesPierre-Alain Yvars and Laurent Zimmer

10h30 -11h00

Pause (Salles C101-103)

11h00 -12h30

AFADL (Amphi A002)• EMI : Un Interpréteur de Modèles Em-

barqué pour l’Exécution et la Vérification deModèles UMLValentin Besnard, Matthias Brun, PhilippeDhaussy, Frédéric Jouault and Ciprian Teo-dorov

• Modélisation du Domaine au Sein d’uneMéthode Formelle d’Ingénierie des Exi-gencesSteve Jeffrey Tueno Fotso(20m)

• Spécification incrémentale d’un systèmed’aide au diagnostic de l’épuisement pro-fessionnel : problématique et revue delittératureMarion Kissous, Thomas Lambolais, Anne-Lise Courbis, Gérard Dray and Sophie Mar-tin(20m)

• Intégration d’outils tiers de preuve automa-tique dans Atelier BLilian Burdy, David Déharbe and RonanSaillard(20m)

CIEL (Amphi C002)Exigences logicielles

• Clustering of Software Requirements for Au-tomated Software ArchitecturesTakwa Kochbati, Shuai Li, Sébastien Gerardand Chokri Mraidha

• Bridging the gap between natural and formalrequirements languagesFlorian Galinier, Sophie Ebersol and Jean-Michel Bruel

12h30 -14h00

Déjeuner (Salles C101-103)

Pensez à rendre les badges avant de quitter Toulouse !