A master thesis from Aalborg University
Distributed Algorithms: An Approach to Autonomous Satellite Constellation: Modelling, Developing & Visually Simulating Distributed Algorithms for Autonomous Satellite Constellations
Author(s)
Term
4. term
Education
Publication year
2020
Submitted on
2020-06-04
Pages
64 pages
Abstract
With the development of more capable satellites, satellite constellations and formations also become more capable. Recent constellations and deep space projects are much larger, in terms of the number of satellites, than previous projects. With these larger constellations, the need for autonomous satellites becomes more apparent, as manually managing these constellations would be infeasible. In this project we explore how satellites could become more autonomous. This project contains three primary contributions. The first contribution is the development of an autonomous self healing satellite constellation framework. The second contribution is the development of a simulating tool, which allows debugging and interaction with the constellation framework in realtime. The last contribution is the development of multiple UPPAAL verification models, as well as the results from said verifications. These are used to prove the correctness of the framework, as well as to analyse the performance of the framework. The framework, simulator and models serve as a proof-of-concept for an autonomous satellite constellation system.
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.