Programme et inscription

Téléchargement des actes

Inscription aux journées AFADL

Programme


  Mercredi 14 Juin
8h - 9h Accueil
9h-10h30 Conférence invitée
Gérard Berry, Collège de France
11h-12h30 Akram Idani et Nikolai Kosmatov, Ouverture des journées AFADL

Session 1 : MTV2 / AFADL
  • Michael Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto and Mickaël Delahaye, Domestiquer la variété des critères de test avec le language HTOL et l'outil LTest
  • Loukmen Regainia, Cédric Bouhours and Sébastien Salva, Un Data-Store pour la Génération de Cas de Tests
  • Pascal André, Gilles Ardourel, Jean-Marie Mottu and Gerson Sunyé, Un outil d’assistance à la construction de tests de modèles à composants et services
  • Yanjun Sun, Gérard Memmi and Sylvie Vignes, Model-Based Testing Directed by Structural Coverage and Functional Requirements
12h30-14h Pause déjeuner
14h-15h30 Session 2 : LTP / AFADL
  • Arthur Charguéraud and François Pottier, Temporary Read-Only Permissions for Separation Logic
  • Sylvie Boldo, Francois Clement, Florian Faissole, Vincent Martin and Micaela Mayero, Preuve formelle du théorème de Lax-Milgram
  • Gabriel Radanne, Jérôme Vouillon and Vincent Balat, Eliom : Un langage ML pour la programmation Web sans tiers
15h30-16h Réunion du CP AFADL
+
Pause
16h-17h30 AG du GDR

  Jeudi 15 Juin
8h - 9h Accueil
9h-10h30 Conférence invitée
Jordi Cabot, Open University of Catalonia, Espagne
11h-12h30 Session 3 : MFDL, IE / AFADL
  • Imen Sayar and Jeanine Souquières, Du cahier des charges à sa spécification
  • Christophe Chareton, Julien Brunel and David Chemouil, Sur l’assignation de buts comportementaux à des coalitions d’agents
  • Florian Galinier, Jean-Michel Bruel, Sophie Ebersold and Bertrand Meyer, Intégration des (multi-)exigences tout au long du développement des systèmes complexes
  • Laurent Zimmer, Michaël Lafaye and Pierre-Alain Yvars, Modélisation d’exigences pour la synthèse d’architecture avionique : application a la sureté de fonctionnement
12h30-14h Pause déjeuner
14h - 16h Session 4 : AFADL
  • Souad Kherroubi and Dominique Méry, Contextualisation et dépendance en Event-B
  • Aouadhi Mohamed Amine, Delahaye Benoît and Arnaud Lanoix, Une extension probabiliste pour Event-B
  • Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson and Guillaume Voiron, Approximation d'abstraction de systèmes événementiels par couverture des états et transitions
  • Linda Mohand-Oussaid and Idir Ait-Sadoune, OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel
  • Nuno Macedo, Julien Brunel, David Chemouil, Cunha Alcino and Denis Kuperberg, Spécification légère et analyse de systèmes dynamiques munis de configurations riches
  • Steven De Oliveira, Virgile Prevosto and Saddek Bensalem, CaFE : un model-checker collaboratif
16h-16h30 Pause
16h30 - 18h30 Session 5 : AFADL
  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel and Valérie Viet Triem Tong, Suivi de flux d'information correct sous Linux
  • Oscar Carrillo, Nicolas Stouls, Raphaël Laurent, Nikolai Plokhoi, Qifan Zhou, Julien Ponge and Frédéric Le Mouël, Hardened Golo : pour augmenter le niveau de confiance en un code Golo
  • Viet Hoang Le, Critères de couverture pour combiner analyses statiques et dynamiques
  • Thi-Kim-Zung Pham, Catherine Dubois and Nicole Levy, Une ligne de produits corrects par construction
  • Boubacar Demba Sall, Frédéric Peschanski and Emmanuel Chailloux, Analyse de Bytecode par Raffinement
  • Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre and Frédéric Loulergue, Conc2Seq : un outil pour la vérification des compositions parallèles de programmes C

Appel à contributions

L'atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme :

  • les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels et de systèmes,
  • les méthodes et processus permettant d'exploiter efficacement les techniques et outils formels disponibles ou conçus,
  • les méthodes et processus mettant en œuvre des techniques formelles différentes et hétérogènes dans un développement,
  • les leçons tirées de la mise en œuvre de ces outils ou principes sur des études de cas ou des applications industrielles.

Les techniques et outils présentés assistent notamment les activités suivantes :

  • la modélisation, la validation et la gestion d'exigences formelles applicables aux logiciels,
  • les spécialisations ou extensions de techniques de modélisation et d'évaluation induites par des domaines applicatifs (télécommunication, contrôle-commande, robotiques, systèmes interactifs, architectures, composition de services, applications distribuées sur le web, ..) ou des points de vue particuliers sur les systèmes (sécurité informatique, exécution temps réel, ...),
  • le passage d'une étape de conception à la suivante: patrons de raffinement de spécifications, déploiement d'une architecture logicielle sur une architecture matérielle, génération automatique de code, réutilisation de composants, ...
  • le test et l'évaluation rigoureuse de modèles formels ou codes,
  • la spécification et la vérification formelles d'architectures, de modèles et de programmes.

On s'intéressera aussi à la combinaison d'approches formelles avec des approches informelles ou semi-formelles, à la coopération de techniques formelles de développement avec des techniques plus classiques (par exemple à la complémentarité vérification formelle / test pour les aspects V&V).

Cette année, AFADL et les groupes de travail Méthodes de Test pour la Vérification et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL) envisagent d'organiser des sessions communes dans le cadre des journées du GDR.

Cinq types de contributions sont attendus :

  1. Articles courts. Les auteurs sont invités à soumettre un article d'au plus 6 pages. Un article court peut correspondre à la présentation d'un point de vue ou d'une approche émergente, de travaux de doctorants en cours, d'expériences industrielles. L'article sera publié dans les actes de la conférence.
  2. Démonstration d'outils. Les auteurs sont invités à soumettre un article d'au plus 4 pages. Celui-ci pourra, selon le désir des auteurs, être couplé ou non à un poster outil aux journées du GDR. L’article précisera les noms des auteurs, le nom de l'outil, les services offerts par l'outil et éventuellement des pointeurs vers des sources d'informations complémentaires (principes techniques sous-jacents, mode d'emploi, compte-rendu d'application, ...). L'article sera publié dans les actes de la conférence.
  3. Présentations de projets. Les auteurs sont invités à soumettre un résumé d'au plus 2 pages décrivant au moins les noms des partenaires, l'agence de financement, les objectifs et les dates du projet. Le résumé sera inclus dans les actes de la conférence, s'il est accepté.
  4. Résumé long. Présentations de recherches publiées récemment. Pour éviter que les meilleurs travaux de la communauté francophone ne soient uniquement présentés que dans les conférences ou revues internationales, le comité de programme invite tout membre de la communauté ayant un article en cours de soumission ou récemment accepté (depuis l'édition précédente) à une conférence ou revue internationale à le soumettre également à AFADL pour présentation. S'il est accepté, un résumé long d’une à deux pages en français de l'article sera inclus dans les actes de la conférence. La référence bibliographique du travail d'origine devra être indiquée lors de la soumission, ainsi que le statut du papier (soumis ou accepté).
  5. Section doctorant. Pour permettre aux doctorants de présenter leur travaux en cours et d’avoir un retour de la communauté, le comité de programme invite les doctorants à soumettre seul un papier de 2-3 pages présentant leur problématique et leurs résultats préliminaires ou déjà publiés. Les doctorants retenus pour cette section pourront faire une demande de bourse pour participer aux journées.

Soumission

Les contributions sont à soumettre via easychair : https://easychair.org/conferences/?conf=afadl2017

Le format des documents doit être analogue au format latex A4, times, french, 11pt, sans numéros de pages :
\documentclass[a4paper, french, 11pt]{article}
\usepackage{times}
\pagestyle{empty}

Dates importantes

Soumission contribution (2 à 6 pages) :     03/03/2017    étendue au 13/03/2017
Notification aux auteurs : 07/04/2017    étendue au 14/04/2017
Soumission version finale : 28/04/2017    
Déroulement des journées : Du 13 au 16 Juin 1017

Comité de programme

Présidents du comité de programme

  • Akram IDANI    LIG, Grenoble
  • Nikolai KOSMATOV    CEA, Saclay

Organisateur local

  • Clémentine Nebut, LIRMM
  • Chouki Tibermacine, LIRMM

Membres du comité de programme

  • Yamine Ait Ameur IRIT – INPT-ENSEEIHT
  • Sandrine Blazy University of Rennes 1 - IRISA
  • Frédéric Boniol ONERA
  • Pierre Casteran Universite Bordeaux 1
  • Frederic Dadeau FEMTO-ST
  • David Deharbe ClearSy System Engineering
  • Lydie Du Bousquet LIG
  • Catherine Dubois ENSIIE-Samovar
  • Christele Faure Saferiver
  • Aurélie Hurault IRIT - ENSEEIHT
  • Akram Idani Laboratoire d'Informatique de Grenoble - Grenoble INP
  • Jacques Julliand Université de Franche-Comté
  • Florent Kirchner CEA LIST
  • Nikolai Kosmatov CEA List
  • Regine Laleau Paris Est Creteil University
  • Jean-Louis Lanet INRIA-RBA
  • Arnaud Lanoix Université de Nantes
  • Pascale Le Gall CentraleSupelec
  • Yves Ledru Laboratoire d'Informatique de Grenoble - Université Grenoble Alpes
  • Nicole Levy CNAM
  • Delphine Longuet Univ. Paris-Sud, LRI
  • Ioannis Parissis Univ. Grenoble Alpes - Grenoble INP
  • Pascal Poizat Paris Ouest University and LIP6
  • Marie-Laure Potet Laboratoire Vérimag
  • Marc Pouzet LIENS
  • Antoine Rollet LaBRI - University of BORDEAUX
  • Vlad Rusu Inria
  • Nicolas Stouls INSA Lyon / INRIA
  • Safouan Taha Supelec
  • Sylvie Vignes ENST
  • Laurent Voisin Systerel
  • Virginie Wiels ONERA / DTIM
  • Fatiha Zaidi Univ. Paris-Sud

Contact

Organisation locale et inscription

Page des journées du GDR-GPL : http://www.lirmm.fr/gdr-gpl-2017/

Localisation