Gestion du vidage de données satellite avec incertitude sur les volumes
Résumé
Les satellites d'observation de la Terre sont des senseurs qui acquièrent des données, les compressent et les mémorisent à bord, puis les vident vers le sol. Du fait de l'utilisation d'algorithmes de compression de plus en plus sophistiqués, le volume de données résultant d'une acquisition est de moins en moins prédictible. Dans de telles conditions, planifier les activités de vidage du satellite hors-ligne au sol est de plus en plus problématique. Dans ce papier, nous rapportons les résultats d'une étude visant à évaluer le bénéfice d'une planification des activités de vidage à bord, quand le volume de données produit par chaque acquisition est connu. Le problème de vidage des données à résoudre à bord est un problème d'affectation et d'ordonnancement avec des ressources non partageables, des contraintes de précédence, des durées minimum dépendantes du temps et un critère d'optimisation complexe. La librairie générique InCELL est utilisée pour modéliser contraintes et critère, vérifier les contraintes non temporelles, propager les contraintes temporelles et évaluer le critère. Au dessus de cette librairie, des algorithmes de recherche gloutonne et locale ont été développés pour produire des plans de vidage, compte-tenu du temps et des ressources de calcul limités disponibles à bord.
Origine : Fichiers éditeurs autorisés sur une archive ouverte