Appel à contributions

L'atelier AFADL rassemble des acteurs académiques et industriels intéressés par la mise en oeuvre 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 :

• techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels,
• méthodes et processus pour exploiter efficacement les techniques et outils formels disponibles ou conçus,
• méthodes et processus mettant en oeuvre différentes techniques formelles dans un développement,
• leçons tirées de la mise en oeuvre de ces outils ou principes sur des études de cas ou des applications industrielles.

Les méthodes, techniques et outils présentés assistent notamment les activités suivantes :

• modélisation, validation et gestion d'exigences formelles,
• spécialisation ou extension de techniques de modélisation et d'évaluation induites par des domaines applicatifs (télécommunication, contrôle-commande, robotique, systèmes interactifs, avionique, services web, ..) ou points de vue particuliers sur les systèmes (sécurité informatique, exécution temps réel, ...),
• passage d'une étape de développement à 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, ...
• évaluation formelle de modèles ou de codes.

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).

Sept types de contributions sont attendus