AFADL 2010 logo
AFADL 2010
10es Journées Francophones Internationales sur les
Approches Formelles dans l'Assistance au Développement de Logiciels
LISI / ENSMA, Poitiers, France, 9 - 11 Juin 2010

Accueil / Appel à Communications / Comités / Soumission / Soumission finale / Inscription / Programme / Hébergements / Renseignements Mise à jour : le programme d'AFADL 2010 est disponible

Laboratoire d'Informatique Scientifique et Industrielle
Ecole Nationale Supérieure de Mécanique et d'Aerotechnique
Université de Poitiers
Région Poitou-Charentes
GDR GPL

Appel à Communications

L'atelier AFADL a vocation à rassembler 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 permettant d'assurer un certain niveau de confiance dans la construction de logiciels,
  • les méthodes et processus permettant d'exploiter efficacement les techniques et outils formels disponibles ou conçus,
  • les méthodes et processus permettant la mise en œuvre de 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 assisteront 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 é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, ...
  • l'évaluation rigoureuse de modèles formels ou codes.

Pour cette dixième édition d'AFADL, une attention particulière sera attribuée aux travaux relatifs aux systèmes critiques et aux méthodes telles que l'ingénierie dirigée par les modèles qui permettent de limiter les risques tant techniques qu'économiques.

Trois types de contributions sont attendus :

  1. tutoriels
  2. articles longs présentant des travaux de recherche
  3. articles courts et démonstration d'outils

Cet appel à Communications est disponible en téléchargement à cette adresse : afadl2010cfp.pdf

Soumission

Les contributeurs sont invités à soumettre leurs propositions électroniquement à partir de la page "soumission" du site web de l'atelier (http://www.lisi.ensma.fr/afadl2010/soumission.html). Le format des documents envoyés doit être analogue au format - latex a4, times, french, 11pt -.

Pour aider à planifier le processus de lecture, les auteurs sont priés d'envoyer

  • Avant le 1 Mars 2010 : une lettre d'intention à l'adresse afadl2010@ensma.fr
  • Avant le 15 Mars 2010 15 mars 2010 29 mars 2010 : la contribution complète
  • Notification aux auteurs le 10 mai 2010
  • Soumission finale le 17 mai 2010

Les meilleurs articles retenus seront sélectionnés pour publication dans un numéro spécial de la revue TSI.

Proposition de tutoriel

Les orateurs sont invités à soumettre une description du tutoriel d'au plus 2 pages, mentionnant le titre du tutoriel, la durée envisagée (de 1 à 3h), le nom des intervenants, leur biographie, une liste de mots clés, l'objectif du tutoriel et les points abordés.

Article long

Les auteurs sont invités à soumettre un article d'au plus 15 pages.

Article court et démonstration d'outil

Les auteurs sont invités à soumettre un article d'au plus 4 pages précisant le nom de l'outil, les noms des auteurs, 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, ...).