Navigation

Professur Betriebssysteme
Professur Betriebssysteme

Seminar Betriebssysteme

Lehrveranstaltung 500070, 500090, 500110, 500270

Aktuelles

Kursinformationen

Anwendung von Hybriden Automaten in frühen Evaluierung der Raumfahrtmissionen

Komplexe verteilte Systeme (wie Swarms, Konstellationen, Formationsflüge usw.) werden immer öfter in der Raumfahrtindustrie entwickelt. Die Anwendungen dafür sind sehr unterschiedlich, von Überwachung der Planetenoberfläche und interplanetaren Forschung bis zu bemannten Raumflüge. Neue Raumfahrtmissionen stellen wegen ihrer Komplexität große Herausforderungen dar. Jedoch werden die nichtfunktionale Eigenschaten, mit der Ausnahme von Fehleranalyse, ziemlich oft übersehen. Als ein Beispiel kann man die fehlende Synchronisation von Boardrechner am Testflug von (noch) unbemannten Spaceshuttles nennen, was zum Versagen der gesamten Mission führte. Es ist daher sinnvoll, formale Methoden einzusetzten, die die Ingineuere von Raumfahrtsystemen unterstützten und entlasten, indem bestimmte Verifikationsschritte für nichtfunktionale Eigenschaften automatisiert werden. Formale Verifikation der Raumfahrtmissionen in den frühen Phasen mithilfe von hybriden Automaten soll die Gesamtosten der Projekte minimieren.

Die Einführungsveranstaltung findet am Donnerstag, den 25.10.2018, um 11:30 Uhr im Raum 1/309 statt.

Alle wesentlichen Informationen zu den Seminarthemen und den Literaturverweisen sind im folgenden Dokument zusammengefasst.

Einführungsfolien und Themen

Die Note für die Veranstaltung entsteht aus der Bewertung einer individuellen Präsentation (50%) und Ausarbeitung (50%). Die aktive Teilnahme an der Präsentationsblockveranstaltung ist Pflicht.

Das Seminar kann in folgenden Varianten belegt werden:
  • Proseminar:
    Gefordert wird eine Präsentation (30 Minuten) und eine Hausarbeit (5-10 Seiten)
    • Bachelor Angewandte Informatik
    • Bachelor Informatik
    • Bachelor Informatik und Kommunikationswissenschaften
    • Master Informatik für Geistes- und Sozialwissenschaftler
  • Hauptseminar:
    Gefordert wird eine Präsentation (45 Minuten) und eine Hausarbeit (8-15 Seiten)
    • Bachelor Angewandte Informatik
    • Bachelor Informatik
    • Bachelor Informatik und Kommunikationswissenschaften
  • Forschungsseminar:
    Gefordert wird eine Präsentation (45 Minuten) und eine Hausarbeit (8-15 Seiten)
    • Master Angewandte Informatik
    • Master Informatik
    • Master Informatik und Kommunikationswissenschaften
    • Master Automative Software Engineering
    • Master Informatik für Geistes- und Sozialwissenschaftler