Appel à contribution Approches Formelles dans l`Assistance

Appel à contribution Approches Formelles dans l`Assistance
Appel à contribution
Approches Formelles dans l'Assistance au
Développement de Logiciels - AFADL'2009
ENSEEIHT, Toulouse, 26-28 janvier 2009
www.irit.fr/afadl09
Thèmes de l'atelier
L'atelier AFADL a vocation à rassembler de nombreux acteurs académiques et industriels
intéressés par l'application des techniques formelles aux divers stades du développement des
logiciels. Il a pour objectif de faire le point sur :
- 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,
- 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,
IHM, …) 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 neuvième édition d'AFADL1, 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
AFADL a été organisé en 1997 à l'ONERA à Toulouse, en 1998 au LISI/ENSMA au
Futuroscope de Poitiers, en 2000 au LSR/IMAG à Grenoble, en 2001 au LORIA à Nancy, en
2003 à l'IRISA à Rennes, en 2004 au LIFC à Besançon, en 2006 au CNAM/CEDRIC à Paris
et en 2007 à l'Université de Namur.
1
Soumission
Les contributeurs sont invités à soumettre leurs propositions électroniquement à partir de la
page "soumission" du site web de l'atelier. 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 12 septembre 2008 : une lettre d'intention
- avant le 28 septembre 2008 : la contribution complète
1. Proposition de tutoriel
Les orateurs sont invités à soumettre une description du tutorial 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 tutorial et les points abordés.
2. Article long
Les auteurs sont invités à soumettre un article d'au plus 15 pages.
3. Article court et démonstration d'outil
Les auteurs sont invités à soumettre, avant le 28 septembre 2008, un article d'au plus 3 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…)
Dates importantes
Lettre d'intention:
Soumission:
Notification d'acceptation:
Texte définitif:
Dates des journées
12 septembre 2008
28 septembre 2008
14 novembre 2008
19 décembre 2008
26-28 janvier 2009
Comité de programme
Yamine Ait Ameur
Jean-Paul Bodeveix
Sandrine Blazy
Jean-Louis Colaço
Catherine Dubois
Laurence Duchien
Mamoun Filali
Marc Frappier
Alain Griffault
Roland Groz
Jean-Marc Jézequel
Jacques Julliand
Régine Laleau
Thierry Lecomte
Emmanuel Ledinot
Yves Ledru
Yves Le Traon
Nicole Levy
Bruno Marre
Dominique Méry
Pierre Michel
Benjamin Monate
Hassan Mountassir
Marc Pantel
Ioannis Parissis
Charles Pecheur
Marie-Laure Potet
Marc Pouzet
Pierre Yves Schoebens
Janine Souquière
Sylvie Vignes
Hélène Waeselynck
Robert Darimont ?
Pierre Dissaux ?
Daniel Dollé ?
Susanne Graf ?
Was this manual useful for you? yes no
Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Download PDF

advertising