News

Project 3 Released

Written on 07.12.23 by Gregory Stock

Liebe Studierende,

We have released the third project. You can find the task description on the materials page. The deadline for this project is January 25, 11:59 (noon).
All students who have submitted their dGit username should now have access to a repository containing the project skeleton.… Read more

Liebe Studierende,

We have released the third project. You can find the task description on the materials page. The deadline for this project is January 25, 11:59 (noon).
All students who have submitted their dGit username should now have access to a repository containing the project skeleton. Please send us a message if you missed this but still want to participate.

To help you get started with the project, our tutors will offer a demonstration of how to integrate STK with Python. This will take place in the regular tutorial slot next week, Tuesday, December 12, at 14:15 in E2 5, SR 4 (U.16).

Viele Grüße
Euer Space Team

Project 3 dGit Registration

Written on 30.11.23 by Gregory Stock

Liebe Studierende,

In the third (and last) project of this course, you will submit your solution by pushing it to a git repository. Therefore, we kindly ask you to complete the following steps until Thursday, December 7, 13:59.

  1. Register at our GitLab instance “dGit” (only if you do not have… Read more

Liebe Studierende,

In the third (and last) project of this course, you will submit your solution by pushing it to a git repository. Therefore, we kindly ask you to complete the following steps until Thursday, December 7, 13:59.

  1. Register at our GitLab instance “dGit” (only if you do not have an account yet).
  2. Enter your dGit username on your personal status page in dCMS.

Once the project starts, we will give you and your team partner access to a private repository initialized with a project template. More details will follow.

Viele Grüße
Euer Space Team

Guest Lecture by Gabriel Ruffini (INVAP) on Satellite Software Ecosystem

Written on 22.11.23 by Gregory Stock

Liebe Studierende,

Tomorrow (November 23) at 12:15 we are going to jointly enjoy a guest lecture by

Gabriel Ruffini, INVAP S.E., Argentina

He will talk about the “Software Ecosystem in the Life Cycle of a Satellite”. Gabriel Ruffini is lead engineer at INVAP and one of the masterminds behind… Read more

Liebe Studierende,

Tomorrow (November 23) at 12:15 we are going to jointly enjoy a guest lecture by

Gabriel Ruffini, INVAP S.E., Argentina

He will talk about the “Software Ecosystem in the Life Cycle of a Satellite”. Gabriel Ruffini is lead engineer at INVAP and one of the masterminds behind the recent launch of the SAOCOM-1B mission.

The presentation will take place in our usual lecture hall 0.01 in E1 3.

Do feel free to spread this information to your peers.

(Please note that this lecture will not be recorded.)

See you there!
Your Space Team

Project 2 Released

Written on 09.11.23 by Gregory Stock

Liebe Studierende,

We have released the second project. You can find the task description on the materials page. Please upload your submission to your personal status page before December 14, 11:59 (noon).

As already announced, this is a team project that should be solved by teams of two… Read more

Liebe Studierende,

We have released the second project. You can find the task description on the materials page. Please upload your submission to your personal status page before December 14, 11:59 (noon).

As already announced, this is a team project that should be solved by teams of two students each. You are invited to team up on your own via your personal status page under the section “Teams”: One person in your team needs to Create a new team. This person is then shown a secret token that the second person can use to join by clicking the Join button. Please create your teams by November 19, 23:59, and send us a message should you not be able to do so.

Viele Grüße
Euer Space Team

Update to Project 1

Written on 25.10.23 (last change on 25.10.23) by Gregory Stock

Liebe Studierende,

We have been informed that some students are having problems registering for the STK Level 1 Certification Test. They received the following text by email and then never received a response nor got access to the detailed certification exercises:

Thank you for your interest… Read more

Liebe Studierende,

We have been informed that some students are having problems registering for the STK Level 1 Certification Test. They received the following text by email and then never received a response nor got access to the detailed certification exercises:

Thank you for your interest in becoming STK Certified. We are required to obtain approval from your local representative. We have forwarded your request and are awaiting a response. If you are approved, we will let you know so that you can proceed with registration.

Therefore, we have made the following two changes to the project description:

  • The STK Level 1 Certification Exercises are now appended at the end of the project description.
  • You do not have to officially register at AGI for the certification and submit your solutions to them, but it suffices to only upload them to your personal status page in dCMS before November 9, 11:59 (noon).

Please note that these changes only affect the submission requirements but not the actual exercises. You can find the updated project description on the dCMS materials page.

Please let us know as soon as possible if you experience further issues.

Viele Grüße
Euer Space Team

Lecture B2 Postponed to Nov. 2

Written on 24.10.23 by Gregory Stock

Liebe Studierende,

Unfortunately, we have to postpone the first lecture scheduled for Thursday, October 26, due to an illness of our lecturer. The course will therefore resume on November 2. We are working on an update of the schedule, which will be incorporated into the dCMS… Read more

Liebe Studierende,

Unfortunately, we have to postpone the first lecture scheduled for Thursday, October 26, due to an illness of our lecturer. The course will therefore resume on November 2. We are working on an update of the schedule, which will be incorporated into the dCMS calendar ASAP.

Please keep in mind that some lectures have already taken place in early October as a block. If you were unable to attend or have just heard about this course, you can find the slides and recordings on the dCMS materials page. We recommend that you familiarize yourself with the course modalities presented in lecture A0. Please also note that the first practical project has already been released, with a submission deadline of November 9.

You are invited to use our discussion board to ask questions.

We all wish our lecturer a speedy recovery!

Viele Grüße
Euer Space Team

Welcome to Space!

Written on 05.10.23 (last change on 24.10.23) by Gregory Stock

Liebe Studierende,

Welcome to Space Informatics!

As we already announced on our main page, this lecture will start with a block already next week. The first lecture will take place on Monday, October 9, at 10:15 in lecture hall 0.01 of building E1 3. A provisional schedule can be found in the Read more

Liebe Studierende,

Welcome to Space Informatics!

As we already announced on our main page, this lecture will start with a block already next week. The first lecture will take place on Monday, October 9, at 10:15 in lecture hall 0.01 of building E1 3. A provisional schedule can be found in the dCMS calendar. Further details will be presented during the first lecture.

Please note that live remote participation will not be possible. However, for those who are unable to attend, we plan to record the lectures in the block part for subsequent upload to the materials page in dCMS.

Please feel free to contact us if you have any further questions.

Viele Grüße
Euer Space Team

Show all

Space Informatics

A module offered by the Chair of Dependable Systems and Software in winter 2023/24. It is worth 6 CP ECTS.

This course started with a block in early October.

We ramped up the course matters by means of a block of lectures and tutorials spanning October 9 to 12, 2023, so before the standard teaching period opened. The lectures have been recorded and are available to registered participants. This allows us all to have a more relaxed schedule during the official teaching period.

We do welcome new participants.

Lectures are on Thursdays at 12:15 in lecture hall 0.01 of building E1 3, starting from October 26. Check the dCMS calendar for details. Lectures will be recorded and be made available to our participants, on a best-effort basis.

Context

Space technology is experiencing an unprecedented expansion in what came to be known as the “new space”.

Massive mega-constellations comprised of thousands of satellites are being deployed in near-Earth orbit to provide worldwide Internet coverage and real-time imaging. This is enabled by lower cost and reusable rockets, which are launching more and cheaper spacecraft than ever before. Indeed, nanosatellite platforms of a few liters of volume are leveraging state-of-the-art miniaturization and electronics to pack capabilities traditionally exclusive of large satellites.

As a result, space is becoming more democratic, accessible to many academic actors, and open for start-ups to develop innovative commercial opportunities. Moreover, these advances spill to an increasing number of interplanetary robotic exploration missions, which in turn boost and motivate the possibility of manned missions to the Moon and Mars in the upcoming years.

Missions Image

Motivation

The amount and features of “new space” orbiting assets would simply fail to scale up without the proper support of automated, optimal, efficient, scalable, usable and robust computer sciences models and techniques combining both on-board as well as on-ground components.

Also, informatics can play a decisive role in facilitating a more sustainable space with accurate battery models, delay-tolerant data handling, trajectory optimization, debris collision avoidance, system verification and validation, online telemetry learning, among many other application opportunities.

Space is within reach, and future space professionals with this know-how at hand will become a valuable resource in the immediate future of the space industry.

Space Informatics

The Space Informatics course is framed in the new space context and motivated by the hypothesis that computer sciences will play a central role in future near-Earth and interplanetary space missions. To this end, we present a curricula layout organized in three axes:

  1. the fundamentals of space environment ranging from orbital dynamics to maneuvers and interplanetary trajectories design,
  2. the specifics of space technology comprising energy handling, computers, communications and networking, and
  3. the application of informatics to 1. and 2. including linear and dynamic programming, model checking, and scheduling techniques.

These axes are accompanied by practical exercises and hands-on projects involving state-of-the-art software toolchains such as Systems Toolkit (STK). We will exploit scriptable interfaces (Python) to control STK and evaluate and optimize distributed space missions using informatics modelling tools such as Gurobi and Uppaal.

Contents

STK Imge

  1. Fundamentals
    1. Space Applications
    2. New Space
    3. Physics and Orbits
    4. Propagation and Perturbation
    5. Launch and Maneuvers
    6. Trajectories Design
  2. Technology
    1. Satellite Technologies
    2. Basic Communications
    3. Link Budget and Multiplexing
    4. Space Networks
    5. Transport Layer
    6. Simulation and Analysis Tools
  3. Informatics
    1. Linear and Dynamic Programming Optimization
    2. Battery-Aware Scheduling
    3. Contact Plan Design
    4. Routing in LEO
    5. Machine Learning in Space

Organization

This course is offered by Juan Fraire, Holger Hermanns, and Andreas Schmidt.

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