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

• Lettre d'intention : 1 mars 2010
• Contribution complète : 15 mars 2010 29 mars 2010
• Notification aux auteurs : 10 mai 2010
• Soumission finale : 17 mai 2010
• Journées conférence : 9 au 11 juin 2010