VASCO signifie "VAlidation de Systèmes Composants et Objets logiciels". La recherche développée par l’équipe VASCO s’inscrit dans le champ du génie logiciel et des méthodes formelles appliquées. L’équipe appartient à l’axe "Logiciel" du LIG, et partage avec plusieurs de ses équipes la conviction que les outils de génie logiciel doivent etre articulés autour des modèles. Notre activité principale est la validation qui concerne tant le logiciel que les modèles.

La validation des logiciels se traduit principalement en diverses activités de test (test unitaire, test d’intégration, tests systèmes et de recette), ce qui inclut également des recherches sur la mesure de testabilité. Le test d’un logiciel suppose aussi que l’on dispose d’un oracle pour décider du succès ou de l’échec du test. Cet oracle fait le plus souvent référence à des modèles décrits dans les phases initiales du développement logiciel (analyse des besoins, spécification, conception).

Le test ne permet que d’établir la conformité d’un logiciel avec son modèle. Il est dès lors essentiel de valider également ces modèles. La validation des modèles passe généralement par leur compréhension par des êtres humains (analystes, clients), et peut être facilitée en liant des modèles formels à des représentations graphiques ou par l’utilisation de techniques d’animation. Les thèmes de recherche de VASCO sont donc la modélisation et le test. Nos recherches ont été appliquées dans des domaines très variés, le plus souvent dans le cadre de projets ANR : avionique, cartes à puce, systèmes de télécommunications, domotique, interfaces multi-modales, systèmes d’information sécurisés et réglementations de la sécurité des aéroports.

Les méthodes formelles appliquées sont par essence reliées au développement ou à l’utilisation d’outils logiciels. VASCO développe des outils pour la génération automatique de tests (Lutess, Tobias, Jartege), et la construction ou réingénierie de modèles (RALT, B2UML, RoZ).

Nos recherches s’inscrivent dans les défis "Sécurité, sûreté, fiabilité", "Systèmes embarqués" et "Bâtiment intelligent" du projet scientifique du LIG et du projet PILSI. Elles contribuent au projet "informatique ambiante et durable" du LIG par ses contributions en sûreté, sécurité et qualité du logiciel.