A master thesis from Aalborg University
Scheduling Convoys of Nanosatellites
Author(s)
Term
4. term
Education
Publication year
2018
Submitted on
2018-06-01
Pages
74 pages
Abstract
Increasing interest in observing Earth’s climate and air traffic have led companies to explore the possibility of launching multiple satellites into orbit to monitor this. It is desired that these have the capability to communicate with each other and stations located on Earth. This project aims to explore possibilities for scheduling convoys consisting of multiple satellites. With the use of UPPAALCORA and SMC, we are able to produce traces which can be used to create a schedule for multiple satellites with some or all of them sharing the same orbit. The deterministic model, constructed in SMC, implements a preemptive scheduler with a simple dynamic prioritising. In the process of creating and testing the deterministic model, we explored limitations of scheduling multiple satellites which could be applied in the construction of a non-deterministic model. Such a model was made in CORA. This model facilitates a VBP scheduler for determining the tasks’ importance. Finally we evaluated the two models based on their experiments.
Keywords
Satellites ; Convoy ; Scheduling ; UPPAAL ; SMC ; CORA ; STRATEGO ; Value based priority ; preemption
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.