Authors:
Julien Rouzot
1
;
2
;
Joséphine Gobert
1
;
Christian Artigues
1
;
Romain Boyer
1
;
Frédéric Camps
1
;
Philippe Garnier
2
;
Emmanuel Hebrard
1
and
Pierre Lopez
1
Affiliations:
1
LAAS-CNRS, Toulouse, France
;
2
IRAP, Toulouse, France
Keyword(s):
Scheduling, Constraint Programming, Nanosatellite, Hypervisor.
Abstract:
In the context of terrestrial space missions, thanks to the recent development of micro and nanotechnologies, nanosatellites are becoming increasingly popular for their lower cost and ease of deployment. The NIMPH (Nanosatellite to Investigate Microwave Photonics Hardware) mission is an ongoing academic project aimed at developing and launching such a nanosatellite. The onboard resources on these missions are often very limited, and in our study case, a single onboard computer is responsible for orchestrating the science and avionic tasks of the nanosatellite. These tasks are subject to various constraints, such as frequency, minimum/maximum delay between the execution of the same type of task and strict precedences. This makes the scheduling of the onboard tasks a challenging problem, which is critical for the mission success. In this paper, we tackle the problem of scheduling NIMPH onboard tasks using Constraint Programming methods. Our scheduler demonstrates its performance by gen
erating optimal or near-optimal schedules for the NIMPH nanosatellite.
(More)