Space Informatics Juan Fraire, Holger Hermanns

Registration for this course is open until Friday, 06.09.2019 23:59.


Currently, no news are available

Space Informatics

A block course offered by the Chair of Dependable Systems and Software from September 9 to October 4, 2019. It is worth 6 ECTS.
We tentatively start at 11:01 on Monday, September 9 in HS 001 of E1 3.


This block course will explore the computer science perspective of space applications, covering a spectrum from satellite operations to interplanetary communication.


We plan to cover the following topics:Deployment of a Nano-Satellite from ISS (photo taken by Astronaut Scott Kelly)

  • System Design
    • Orbit Dynamics
    • Launchers, Spacecrafts, Satellites, Space Stations
    • System Architecture, System Components
  • Communication
    • Transmission and Encoding Basics
    • Delay Tolerant  Networking, Routing, Congestion, Contact Plans
    • Interplanetary Internet and beyond
  • Resource Managment
    • Power, Memory, Space,Time
  • Mission Planning and Operation
    • Telerobotics vs. Autonomy (vs. Human-Operated)
    • Classic Scheduling (Earliest-Deadline-First, Rate-Monotonic, etc)
    • Task Graphs, Timed and Priced Timed Automata
    • Linear Pogramming (LP, ILP, MILP, Multi-commodity flow problems)
    • Satisfiability and Optimization Modulo Theories
  • Applications
    • LEO vs. GEO Satellites, Space Missions
    • Exploration, Observation, Communication, Tourism
  • Challenges
    • Space Debris, Space Weather, Distances and Delays


This course is offered by Holger Hermanns and Juan Fraire.

It takes place in summer 2019, running as a block course from September 9 to October 4.

In this period, half of the weekdays, tentatively September 9 - 13 and September 23 - 27, adhere to the following structure:

  • 11:00 - 12:30 : Lecture
  • 12:30 - 13:30 : Lunch break
  • 13:30 - 15:00 : Lecture
  • 15:15 - 16:45 : Tutorial/Office Hours

The other weeks, tentatively September 16 - 20 and September 30 - October 4, will be spanned with intensive self-study periods, tutorials, and office hours.

A final exam in early October concludes the module.

Lectures take place in hall 001 of E1 3.


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators