• Kristoffer Brodersen
  • Mads Broen Nielsen
4. semester, Software, Kandidat (Kandidatuddannelse)
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.
SprogEngelsk
Udgivelsesdato2 jun. 2017
Antal sider113
ID: 258871968