A master thesis from Aalborg University
Batteries Included 2.0: Defining Semantics and Implementation of a Schedule Generator
[Batteries Included 2.0: Definering af Semantik og Implemenation af en Plan Generator]
Author(s)
Term
4. term
Education
Publication year
2017
Submitted on
2017-06-02
Pages
113 pages
Abstract
Denne rapport udvider på Batteries Included \cite{batteries-included} rapporten, hvori vi beskriver en formalisme (BATTCIO) til automatisk generering af tidsplaner til satelliter. BATTCIO formalismen specificerres yderligere med en semantik. Tilhørende BATTCIO formalismen specificerres query sprog, designet til at sætte yderligere restriktioner på de genererede tidsplaner. Der presenteres en implementation a en tidsplan generator for BATTCIO, samt presenteres eksempler på planer genereret ved hjælp af værktøjet. Ydermere overvejes hvordan et sådant værktøj kan benyttes i andre brugsdomæner end satelliter. Endeligt præsenteres værktøjets begrænsninger i forhold til mere modne løsninger.
This report expands on the Batteries Included report from previous semester, in which we describe a formalism (BATTCIO) for automatic generation of schedules for satellites. We further develop the BATTCIO formalism with semantics. A specification of a query language is presented, which could be used to place further restrictions on the generated schedules. We present an implementation of a schedule generator for BATTCIO, as well as examples of schedules generated using the tool. In addition, we will consider how such a tool might be appropriate for use-cases other than satellites. Finally we present the limitations of the tooling, as compared to more mature solutions.
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.