Septièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel Université de Bordeaux / LaBRI 10 au 12 juin 2015 1
Mardi 9 Juin AFADL 9H - 10H30 Session 1 - Ouverture et articles Accueil et présentation des journées. Pascale Le Gall, Frédéric Dadeau. Vérification parallélisée de propriétés temporelles sur des traces d exécution, par analyse dynamique formelle (papier long). A. Ferlin, P. Bon, V. Wiels et S. Collart- Dutilleul. Une argumentation pour des exigences temps réel (papier long). T. Polacsek, V. Wiels et F. Boniol. Vers un outil de vérification formelle légère pour OCaml (papier court). T. Genet, B. Kordy et A. Vansyngel. Pause Café Session 5 Conférence invitée (Commune avec CIEL) Betrand Meyer (ETH Zurich). 13H - 14H Déjeuner 14H - 15H30 Session 2 - Papier court, présentation de projets et travaux en cours [Crous] La composition de services dans le monde asynchrone Formalisation et vérification en TLA+ (papier court). F. Chevrou, A. Hurault, P. Mauran, M. Ouederni, P. Quéinnec et X. Thirioux. Rétro ingénierie des modèles pour l étude des Smart Grids dans le cadre du projet SESAM Grids. G. Pedroza. Projet MBT_Sec Model- Based Testing for Security Components. E. Fourneret. Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov. O. Hermant et V. Maisonneuve. 15H30-16H 16H - 17H30 Session 3 - Travaux en cours/discussions Proving soundness of a procedure for verifying RL Formulas in Coq. A. Arusoaie. Configuration en langue naturelle du fonctionnement d une maison intelligente. D. Sadoun, C. Dubois, Y. Ghamri- Doudane et B. Grau. Evaluation de l impact de fautes matérielles sur le logiciel par Model Checking. D. Bassole, J.- L. Lanet et A. Legay. Testium : outil de génération automatique de données de test pour les systèmes synchrones. M. Tka, C. Deleuze, I. Parissis. Clôture de la journée AFADL. 18H - 20H00 Dégustation de vin 2
Mardi 9 Juin CIEL 9H - 9H10 Ouverture Accueil et présentation de la journée. Jean- Michel Bruel et Salah Sadou. 9H10-10H30 Session 1 Reconfiguration et Monitoring Reconfiguration of software architecture: the nature of communication among components. N.- T. Huynh, M.- T. Segarra et A. Beugnard. Une Approche Orientée Pattern pour la Reconfiguration de Système de Systèmes. F. Petitdemange, J. Buisson et I. Borne. Efficiently Monitoring Dynamic Data- Streams in Smart Cities. H. Loulou, S. Saudrais, H. Soubra et C. Larouci. Session 5 Conférence invitée (Commune avec AFADL) Betrand Meyer (ETH Zurich) 13H - 14H Déjeuner 14H - 15H30 Session 2 IDM & Sécurité [CROUS] Comprendre la nature exécutable des modèles. E. Cariou, O. Le Goaer et F. Barbier. Template Based MDE. M. Allon, G. Vanwormhoudt, B. Carré et O. Caron. Framework pour la responsabilisation. W. Benghabrit. Une démarche pour l assistance à l utilisation des patrons de sécurité. L. Regainia, C. Bouhours et S. Salva. 15H30-16H 16H - 17H30 Session 3 Inter- opérabilité IDM appliquée à l observation des modèles socio- environnementaux. H. L. Rakotonirainy, J.- P. Müller et B. O. Ramamonjisoa. O Jacaré : un pont entre OCaml et Java. E. Chailloux, X. Clerc et G. Henry. A proposition to solve heterogeneous model matching problems [30 mn]. M. El Hamlaoui, S. Ebersold, A. Anwar, T. Dkaki, B. Coulette et M. Nassar. 18H - 20H00 Dégustation de vin 3
Mercredi 10 Juin (Matin) 9H - 10H30 Accueil (Plénière) Mot d accueil. Xavier Blanc, Laurence Duchien. Conférence invitee. Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned. Lionel Briand (Université du Luxembourg). Pause Café RIMEL MFDL Fine- grained and accurate source code differencing. J.- R. Falleri, F. Morandat, X. Blanc, M. Martinez, M. Monperrus (ASE 2014). Easing software component repository evolution. J. Vouillon, M. Dogguy, R. Di Cosmo (ICSE 2014). On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems. M. Biazzini, M. Monperrus, B. Baudry (ICSME 2014). Validation du standard RBAC ANSI 2012 avec B, N. Huynh, M. Frappier, A. Mammar, R. Laleau et J. Desharnais. Construction de programmes parallèles en Coq avec des homomorphismes de listes. F. Loulergue, W. Bousdira et J. Tesson. A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama- C. A. Blanchard, N. Kosmatov, M. Lemerre et F. Loulergue. Verifying Reachability- Logic Properties on Rewriting- Logic Specifications. A. Arusoaie, D. Lucanu, D. Nowak et V. Rusu. 12H30-14H Repas [CROUS] 4
Mercredi 10 Juin (Après- Midi) 14H - 15H30 MTV2 IDM Instrumentation de programmes C annotés pour la génération de tests. G. Petiot, B. Botella, J. Julliand, N. Kosmatov et J. Signoles. Sound and Quasi- Complete Detection of Infeasible Test Requirements. S. Bardin, M. Delahaye, R. David, N. Kosmatov, M. Papadakis, Y. Le Traon et J.- Y. Marion. Montre- moi d autres contre- exemples : une approche basée sur les chemins. K. Cabrera Castillos, H. Waeselynck et V. Wiels. Adaptation d exécution de modèles. O. Le Goaër. Génération de modèles, une approche basée sur les CSP. A. Ferdjoukh. Processus flexible de configuration pour lignes de produits logiciels complexes. S. Urli. 15H30-16H 16H00-17H30 Posters et Démos (Plénière) 18H - 19H Réunion de bureau, conseil scientifique et responsables de groupe GDR GPL 18H Apéro [P031] 5
Jeudi 11 Juin 9H - 10H30 Conférence invitée (Plénière) Génie logiciel et outils de distribution pour les systèmes répartis de très grande taille. François Taiani (Université de Rennes, IRISA). Remise de prix de thèse GDR GPL + Nouvelles du CNRS (Plénière) Prix du GDR GPL. Clément Quinton, Cloud Environment Selection and Configuration: A Software Product Lines- Based Approach. Université Lille LIFL- Inria et Politecnico di Milano. Accessit. Julien Henry, Static Analysis by Abstract Interpretation and Decision Procedures, Université de Grenoble- VERIMAG. Nouvelles du CNRS. Jean Mairesse (CNRS). 12H30-14H Repas 14H - 15H30 Table ronde (Plénière) [CROUS] Génie de la programmation et du logiciel et Agilité : un mariage heureux? animée par Mireille Blay- Fornarino (I3S) & Jean- Michel Bruel (IRIT). Participants : A. Canals, Y. Ledru, F. Bonnot, P. Petit. 15H30-16H 16H - 17H30 Compilation LTP Refinement of Worst- Case Execution Time Bounds by Graph Pruning. F. Brandner. Platform- Neutral Compute Intermediate Language for DSL Compilers and Domain Experts. R. Baghdadi. A formally- verified C static analyzer. J.- H. Jourdan, V. Laporte, S. Blazy, X. Leroy, D. Pichardie (POPL 2015). A Coq formalization of the relational data model. V. Benzaken, E. Contejean, S. Dumbrava (ESOP 2014). Type soundness and race freedom for Mezzo. T. Balabonski, F. Pottier, J. Protzenko (FLOPS 2014). 17H30-19H AG GDR GPL 20H- Repas de Gala [Cité Mondiale 7ème étage] 6
Vendredi 12 Juin 9H - 10H30 Conférence invitée (Plénière) Aspects juridiques de la création logicielle. François Pelligrini (Université de Bordeaux). COSMAL Towards a continuum for COMPOnent- based development. C. Dony, P. Spacek, C. Tibermacine, F. Verdier, A. Ferran. Reasoning at Runtime using time- distorted Contexts: A Models@run.time based Approach. T. Hartmann, F. Fouquet, G. Nain, B. Morin, J. Klein, Y. Le Traon (SEKE 2014:586-591). Retours et discussions autour de l atelier GLACE organisé au LIP6 en avril 2015. AFSEC Calcul d ordonnancement hors- ligne sur plateformes multi/pluri- coeurs à base de méthodes formelles. C. Pagetti. SCADE Hybrid: une extension de SCADE avec des ODEs. M. Pouzet. Processus de branchement des réseaux de Petri avec reset arcs. M. Comlan. LAMHA Présentation invitée : Programmation BSP chez Huawei. G. Hains, Huawei, Paris. Vérification de composants distribués : le modèle pnets et son utilisation en pratique. L. Henrio et E. Madelaine. Modèles fonctionnels de MapReduce en Coq. F. Loulergue, K. Matsuzaki. 12H30 Remise du prix du meilleur poster 12H30-14H Repas 14H Fin des journées du GDR GPL [P031] [CROUS] 7
8 Gala,M,Cité,Mondiale 20:00 18:00 Réunion,du,Bureau AG,GDRMGPL Dégustation,de,vin Apéro Posters,et,Démos Compilation,/,LTP 16:00 15:30 AFADL,/,CIEL IDM,/,MTV2 Table,Ronde,,,,,,,,,,,,,, GPL,et,Agilité 14:00 12:30 Remise,de,prix,:,poster Conférence,invitée,,,,,, B.,Meyer MFDL,/,RIMEL Remise,de,prix,,,,,, Nouvelles,du,CNRS AFSE,/,COSMAL,/,LAHMA 11:00 10:30 AFADL,/,CIEL Conférence,Invitée,,,,,,,,,,,, L.,Briand Conférence,Invitée,,,,,,,,, F.,Taiani Conférence,Invitée,,,,,,,,, F.,Pelligrini 09:00 Mardi Mercredi Jeudi Vendredi