Batteries Included 2.0: Defining Semantics and Implementation of a Schedule Generator
Translated title
Batteries Included 2.0: Definering af Semantik og Implemenation af en Plan Generator
Authors
Term
4. term
Education
Publication year
2017
Submitted on
2017-06-02
Pages
113
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