Lieu : ISAE Supaero, salle 11.114 (Bâtiment 11 - DFM), et en ligne via zoom :
https://zoom.us/j/97931378938?pwd=djJpcWl1bHFLQkZDWDNUQmVSdUtHZz09
Nous nous intéressons à la politique de gestion des aléas au sein d'un drone, qui consiste à déterminer le mode de fonctionnement du drone (nominal, plus ou moins dégradé) en fonction des défaillances détectées au sein du drone, des ressources disponibles et de la phase de la mission. L'objectif est d'utiliser des techniques formelles afin d'évaluer une politique (ou un ensemble de politiques) de gestion des aléas. Nous modélisons formellement, en Alloy, les éléments décrits plus haut afin de permettre l'utilisation de techniques formelles pour réaliser des analyses. Une première analyse consiste à vérifier qu'une politique donnée satisfait bien des exigences de SdF étant donné un drone avec ses ressources, sa mission, sa capacité de diagnostic, etc. Ce travail ouvre aussi la voie à des évaluations plus ambitieuses visant à traiter les cas où l'on ne dispose que de connaissances partielles sur certains éléments : la politique elle-même (il s'agira alors de synthétiser une politique complète à partir d'une politique partielle) et/ou les ressources au sein du drone (il s'agira alors de proposer une aide à la conception du drone, en indiquant par exemple des redondances indispensables à la tenue des exigences de SdF).