Gestion du vidage de données satellite avec incertitude sur les volumes

Les satellites d'observation de la Terre sont des senseurs qui acquierent des donnees, les compressent et les memorisent a bord, puis les vident vers le sol. Du fait de l'utilisation d'algorithmes de compression de plus en plus sophistiques, le volume de donnees resultant d'une acquisition est de moins en moins predictible. Dans de telles conditions, planifier les activites de vidage du satellite hors-ligne au sol est de plus en plus problematique. Dans ce papier, nous rapportons les resultats d'une etude visant a evaluer le benefice d'une planification des activites de vidage a bord, quand le volume de donnees produit par chaque acquisition est connu. Le probleme de vidage des donnees a resoudre a bord est un probleme d'affectation et d'ordonnancement avec des ressources non partageables, des contraintes de precedence, des durees minimum dependantes du temps et un critere d'optimisation complexe. La librairie generique InCELL est utilisee pour modeliser contraintes et critere, verifier les contraintes non temporelles, propager les contraintes temporelles et evaluer le critere. Au dessus de cette librairie, des algorithmes de recherche gloutonne et locale ont ete developpes pour produire des plans de vidage, compte-tenu du temps et des ressources de calcul limites disponibles a bord.