Programme et inscription

Téléchargement des actes

Inscription aux journées AFADL

Page des journées du GDR-GPL : http://events.femto-st.fr/gdr-gpl-2016/

Bourse doctorants

Il est possible aux doctorants de demander une bourse prenant en charge leur inscription aux journées AFADL (par aux journées complètes du GDR). Pour cela, il faut faire parvenir un mail de candidature précisant si vous êtes auteur ou co-auteur d’une contribution acceptée et contenant une courte justification de cette demande. Ce mail doit être envoyé, avant le 16 Mai 2016, à frederic.dadeau@femto-st.fr, hurault@enseeiht.fr et nicolas.stouls@insa-lyon.fr.

Si votre candidature est acceptée, vous serez dispensé de frais d’inscription. Sinon vous paierez les frais d’inscription réduits.

Programme

Version préliminaire du programme. L'ordre des sessions et des présentations est encore susceptible de changer.

  Mardi 7 Juin  Mercredi 8 Juin
 8h-9h Accueil Accueil
 9h-10h30 Aurélie Hurault et Nicolas Stouls, Ouverture des journées AFADL
Session 1 : Vérification
Responsable session : Nicolas Stouls
Jean-Christophe Léchenet, Nikolai Kosmatov and Pascale Le Gall, Slicing relaxé : une version de slicing adaptée à la vérification (Résumé étendu)
Pierre-Emmanuel Hladik, Silvano Dal Zilio, Olivier Pasquier, Sébastien Pillement and Bernard Berthomieu, Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées (Article court)
Yoann Blein, Identification de propriétés pour la validation d'un système cyber-physique médical (Doctorant)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux and Guillaume Voiron, Comparaison des Approches SMT et CSP Appliquées à la Vérification de Réseaux Workflows (Résumé étendu)
Ouverture des journées du GDR
Présentation du GDR et des nouveaux groupes
10h30-11h Pause café Pause café
 11h-12h30 Session 2 : Sécurité
Responsable session : Catherine Dubois
Fadi Obeid and Philippe Dhaussy, Validation formelle d'implementation des patrons de sécurité: Application aux SCADA (Article court)
Amira Radhouani, Akram Idani, Yves Ledru and Ben Rajeb Narjes, GenISIS : un outil de recherche d’attaques d’initié en Systèmes d’Information (PPTX) (Article court)
Salim Chehida, Approche de spécification et validation formelles de politiques RBAC au niveau des processus métiers (Doctorant)
Emmanuel Perrier, Inférence et analyse de propriétés dans les protocoles de contrôle-commande (Doctorant)
Conférence invitée :
Pascal Cuoq (Trust In Soft)
SQLite au peigne fin
 12h30-14h Repas Repas
 14h-15h30 Session 3 : Outils d'aide à la vérification
Responsable session : Marie-Laure Potet
Djamila Baroudi, Philippe Dhaussy and Safia Nait Bahloul, Formalisation d’une Approche Compositionnelle Des Patrons de Propriétés (Article court)
Florent Chevrou, Formalisation des interactions asynchrones (Doctorant)
Catherine Oriat, Roland Groz and Emmanuel Perrier, SIMPA - Simpa Infers Models Pretty Automatically (Outils)
Julien Alexandre Dit Sandretto and Alexandre Chapoutot, DynIBEX: une boîte à outils pour la vérification des systèmes cyber-physiques (Outils)
Session MTV2/AFADL
Responsable session : Nikolai Kosmatov
Lydie Du Bousquet and Masahide Nakamura, Quelle confiance peut-on établir dans un système intelligent? (Projet)
Maxime Puys, Marie-Laure Potet and Jean-Louis Roch, Génération systématique de scénarios d’attaques contre des systèmes industriels (Article court)
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 (Outils)
Adel Djoudi, Robin David, Josselin Feist, Sebastien Bardin and Thanh Dinh Ta, BINSEC : plate-forme d'analyse de code binaire (Résumé étendu)
 15h30-16h  Pause café  Pause café
16h-17h30 Session 4 : Mathématiques pour le développement logiciel
Responsable session : Nicole Levy
Valentin Gauthier, Thomas Bellet, Hakim Belhaouari and Agnès Arnould, Préservation de la cohérence des transformations topologiques et géométriques (Article court)
Steven De Oliveira, Virgile Prevosto and Saddek Bensalem, Algèbre linéaire pour invariants polynomiaux (Article court)
Richard Genestier, Vérification formelle de programmes de génération de données structurées (Doctorant)
Richard Genestier and Alain Giorgetti, Spécification et vérification formelle d'opérations sur les permutations (Article court)
Session MFDL/AFADL
Responsable session : Aurélie Hurault
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix and Mamoun Filali, Un processus de développement Event-B pour des applications distribuées (Article court)
Sebastien Bardin, Projet ANR BINSEC : analyse formelle de code binaire pour la sécurité (Projet)
Thomas Fayolle, Combiner des diagrammes d'état étendus et la méthode B pour la validation de systèmes industriels (Doctorant)
Thi-Kim-Zung Pham, Catherine Dubois and Nicole Levy, Vers un développement formel non incrémental (Article court)
Nicolas Stouls et Aurélie Hurault, Fermeture des journées AFADL
17h30-18h30 Réunion du CP AFADL Session posters & démos
des journées du GDR
 18h30-19h30 Apéritif   
 Soirée Apéritif

Dates importantes (dates étendues)

Soumission du résumé (10 lignes) : 4 Mars 2016     26 Février 2016
Soumission contribution (2 à 6 pages) :     11 Mars 2016
Notification aux auteurs : 13 Avril 2016
Soumission version finale : 27 Avril 2016     1er Mai 2016
Fin des inscriptions à frais réduits : 16 Mai 2016
Déroulement des journées : 7 et 8 Juin 2016

Contribution

Présentations

Toutes les présentations sont à temps égal : 15' (suivi de 5' de questions)

Aucun format n'est imposé pour la présentation.

Soumission

Les contributeurs sont à soumettre leurs propositions via easychair :

https://easychair.org/conferences/?conf=afadl2016.

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

  • Articles courts : 6 pages
  • Démonstration d'outils : 4 pages
  • Présentations de projets : 2 pages
  • Résumé long : 2 pages
  • Doctorants : 3 pages

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.

Les modalités de soumission sont détaillées sur le site d'AFADL 2016 : http://afadl2016.conf.citi-lab.fr/

Les informations sur l’inscription et la venue sont disponibles sur le site des journées du GDR-GPL : http://events.femto-st.fr/gdr-gpl-2016/

Comité de programme

Présidents du comité de programme

  • Aurélie HURAULT IRIT/INPT-ENSEEIHT, Toulouse
  • Nicolas STOULS, CITI/INSA-Lyon, Lyon

Organisateur local

  • Fréderic DADEAU FEMTO-ST, Université de Franche-Comté, Besançon

Membres du comité de programme

  • Yamine AIT AMEUR, IRIT/INPT-ENSEEIHT, Toulouse
  • Sandrine BLAZY, IRISA - Université Rennes 1
  • Frédéric BONIOL, ONERA, Toulouse
  • Lydie DU BOUSQUET, LIG/Université Grenoble-Alpes, Grenoble
  • Catherine DUBOIS, ENSIIE – Samovar, Evry
  • Christèle FAURE, SafeRiver, Paris
  • Akram IDANI, LIG, Grenoble
  • Jacques JULLIAND, FEMTO-ST, Université de Bourgogne Franche-Comté
  • Florent KIRCHNER, CEA, Saclay
  • Nikolai KOSMATOV, CEA, Saclay
  • Régine LALEAU, LACL – Université Paris-Est, Créteil
  • Jean-Louis LANET, INRIA-RBA, Rennes
  • Arnaud LANOIX, LINA, Université de Nantes
  • Yves LEDRU, LIG/Université Grenoble-Alpes, Grenoble
  • Pascale LEGALL, École Centrale, Paris
  • Nicole LEVY, CEDRIC/CNAM, Paris
  • Delphine LONGUET, LRI, Orsay
  • Ioannis PARISSIS, LCIS, Valence
  • Pascal POIZAT, LIP6, Paris
  • Marie-Laure POTET, Verimag, Grenoble
  • Marc POUZET, DIENS, Paris
  • Antoine ROLLET, LaBRI, Bordeaux
  • Vlad RUSU, INRIA, Lille
  • Safouan TAHA, Supélec, Gif-sur-Yvette
  • Sylvie VIGNES, Télécom Paris-Tech, Paris
  • Laurent VOISIN, Systerel, Aix-en-Provence
  • Virginie WIELS, ONERA, Toulouse
  • Fatiha ZAIDI, LRI, Orsay

Relecteur additionnel

  • Aouadhi Mohamed Amine, LINA, Université de Nantes

Contact

Organisation locale et inscription

Page des journées du GDR-GPL : http://events.femto-st.fr/gdr-gpl-2016/

Localisation