Une contrainte globale pour l'ordonnancement des transferts de données dans les missions spatiales

National audienceDans le cadre des missions spatiales où les ressources à bord sont limitées, il est essentiel de transférer les données acquises de manière efficace afin de limiter le risque de saturation des mémoires. Nous nous intéressons ici en particulier à l'ordonnancement des transferts de données de la mission Rosetta de l'ESA (l'agence spatiale européenne). Ce problème a été résolu par des méthodes heuristiques qui ont donné de bons résultats, voire des résultats optimaux dans certains cas. Dans la lignée d'un travail précédent, nous proposons dans cet article un modèle de programmation par contraintes pour résoudre exactement ce problème, nous proposons une nouvelle contrainte globale pour le partage de bande passante en fonction de priorités, ainsi qu'une contrainte globale pour les classements de type Dense Ranking. Des premiers résultats montrent la pertinence et l'efficacité d'une telle approche exacte pour la résolution de ce problème. Un des buts dans la conception de ces contraintes est leur généricité, afin qu'elles puissent être appliquées à toute mission spatiale nécessitant des transferts de données, ainsi qu'à tout problème nécessitant un classement Dense Ranking