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

Brodersen, Kristoffer ; Nielsen, Mads Broen

4. term

Software, Master

2017

2017-06-02

113

Denne rapport bygger videre på rapporten "Batteries Included" fra sidste semester, hvor vi beskrev en formalisme (BATTCIO) til automatisk generering af tidsplaner for satellitter. Vi videreudvikler BATTCIO med en præcis semantik – det vil sige klare definitioner af, hvad delene betyder, og hvordan planer skal fortolkes. Vi præsenterer også en specifikation af et forespørgselssprog, der kan bruges til at lægge ekstra begrænsninger eller ønsker oven på de genererede planer. Derudover introducerer vi en implementering af en plan-generator for BATTCIO og viser eksempler på planer skabt med værktøjet. Vi overvejer desuden, hvordan et sådant værktøj kan være relevant i andre anvendelser end satellitter. Til sidst beskriver vi værktøjets begrænsninger sammenlignet med mere modne løsninger.

This report builds on last semester’s "Batteries Included" report, which introduced a formalism (BATTCIO) for automatically generating schedules for satellites. We further develop BATTCIO by adding formal semantics—that is, clear definitions of what the components mean and how schedules should be interpreted. We also specify a query language that can be used to place additional constraints or preferences on generated schedules. In addition, we present an implementation of a BATTCIO schedule generator and show example schedules produced by the tool. We consider how such a tool may be applicable beyond satellites to similar planning tasks. Finally, we outline the tool’s limitations compared with more mature solutions.

[This abstract was generated with the help of AI]

Download
View record in AAU Student Projects