AFADL 2014 aura lieu au
CNAM
(Paris, France) simultanément avec les conférences
CAL
et
CIEL,
ainsi que les journées du
GDR
GPL. 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, 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. Cette
année, AFADL et CAL (Conférence francophone sur les Architectures
Logicielles) envisagent d'organiser une session commune sur ce thème.
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).