• Kristoffer Brodersen
  • Mads Broen Nielsen
4. term, Software, Master (Master Programme)
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.
Publication date2 Jun 2017
Number of pages113
ID: 258871968