Jean-Philippe GROS : "Contributions à la validation des systèmes à composants adaptatifs"

Résumé : Les systèmes adaptatifs peuvent se reconfigurer en fonction de politiques d'adaptation qui sont vues comme des artefacts qui décrivent les comportements souhaitables du système sans les imposer. Une politique d'adaptation est conçue comme un ensemble de règles qui indiquent, pour un ensemble donné de configurations, quelles opérations de reconfiguration peuvent être déclenchées, dont la priorité est donnée avec des valeurs floues représentant leurs utilités respectives. La politique d'adaptation doit être fidèlement implémentée par le système et spécialement vis-à-vis du respect des priorités des règles. Nous proposons une approche originale de validation d'un système adaptatif à composants, basée sur du test boîte noire, et visant à assurer le respect d'une politique d'adaptation par le système. Pour ce faire, nous présentons notre approche qui vise à générer de grandes suites de tests afin de mesurer les occurrences de reconfigurations et de les comparer à leurs valeurs d'utilité spécifiées dans les règles d'adaptation. Tout d'abord, nous présentons la génération automatisée d'états initiaux, afin de produire des configurations structurées à partir desquelles un système adaptatif démarre et qui visent à provoquer des reconfigurations significatives. Ensuite, nous présentons un générateur de tests en ligne basé sur un modèle d'utilisation du système utilisé pour stimuler le système et provoquer des reconfigurations. Comme le système peut se reconfigurer dynamiquement, ce générateur de test en ligne observe les réponses et l'évolution du système afin de décider de la prochaine étape de test appropriée à effectuer. Des mesures de couverture de la politique d'adaptation et des propriétés du système sont établies pour s'assurer que tous les états pertinents du système sont parcourus. Au final, les fréquences relatives des reconfigurations sont mesurées afin de déterminer si la politique d'adaptation est fidèlement mise en œuvre. Les expériences sont menées sur le cas d'un peloton de véhicules autonomes.

Composition du jury :

Mme Olga KOUCHNARENKO, Professeur des universités  Université Bourgogne Franche- Comté, Directrice de thèse
M. Frédéric DADEAU Maître de conférences Université Bourgogne Franche-Comté, Co-encadrant de thèse
M. Antoine ROLLET Maître de conférences Université de Bordeaux, Rapporteur
M. Christian ATTIOGBE Professeur des universités Université de Nantes, Rapporteur
M. Jean-François WEBER Docteur Criteo SA, Examinateur
M. Pierre-Cyrille HEAM Professeur des universités, Université Bourgogne Franche-Comté Examinateur

Localisation : Salles des actes - UFR Sciences et Techniques - 16, Route de Gray - 25030 Besançon