Distributed Algorithms: An Approach to Autonomous Satellite Constellation: Modelling, Developing & Visually Simulating Distributed Algorithms for Autonomous Satellite Constellations
Authors
Johansen, Jens Burla ; Røgen, Kasper Hangaard ; Bresson, Bastian
Term
4. term
Education
Publication year
2020
Submitted on
2020-06-04
Pages
64
Abstract
I takt med at satellitter bliver mere avancerede og flere tages i brug, vokser satellitkonstellationer i størrelse. At styre sådanne konstellationer manuelt er ikke realistisk, så der er behov for mere autonomi. Dette projekt undersøger, hvordan satellitter kan blive mere autonome. Det har tre hovedbidrag: (1) et autonomt, selvhelende konstellationsrammeværk (software, der kan opdage problemer og omkonfigurere systemet uden menneskelig indgriben); (2) et realtids-simuleringsværktøj, der gør det muligt at teste, fejlfinde og interagere med rammeværket, mens det kører; og (3) flere UPPAAL-verificeringsmodeller samt deres resultater (UPPAAL er et værktøj til formel verifikation), som bruges til at kontrollere rammeværkets korrekthed og analysere dets ydeevne. Tilsammen fungerer rammeværket, simulatoren og modellerne som en konceptdemonstration af et autonomt satellitkonstellationssystem.
As satellites become more capable and more numerous, satellite constellations are growing in size. Managing such constellations by hand is not feasible, so greater autonomy is needed. This project explores how satellites could become more autonomous. It makes three main contributions: (1) an autonomous, self-healing constellation framework (software that can detect problems and reconfigure the system without human intervention); (2) a real-time simulation tool that lets users test, debug, and interact with the framework as it runs; and (3) several UPPAAL verification models and results (UPPAAL is a formal verification tool), used to check the framework's correctness and analyze its performance. Together, the framework, simulator, and models provide a proof of concept for an autonomous satellite constellation system.
[This abstract was generated with the help of AI]
Documents