Navigation

Professur Betriebssysteme
Professur Betriebssysteme

Seminar Betriebssysteme

Lehrveranstaltung 500070, 500090, 500110, 500270

Aktuelles

    Kursinformationen

    Modellierung und Analyse von Echtzeitsystemen

    Echtzeitsysteme sind Systeme welche die Ergebnisse ihrer Verarbeitung innerhalb einer spezifizierten Zeit fertiggestellt haben müssen. Neue und bereits existierende Systeme müssen deshalb hinsichtlich ihrer Zeitanforderungen untersucht werden. Der Trend von Updates in eingebetteten Echtzeitsystemen verändert die Annahme einer geschlossenen Welt zu einem System mit der Annahme einer offenen und dynamischen Welt. Deshalb ist es nötig neue Wege der Modellierung zu finden, um diese dynamischen Systeme analysieren zu können.

    Das Ziel dieses Seminars ist es bereits existierende Modellierungsansätze für Echtzeitsysteme zu analysieren:
    • UML basierte Ansätze (SysML, MARTE)
    • Markov-Ketten
    • Timed Petri-Nets
    • π-Kalkül
    • Timed Automata
    • AADL
    • ...

    Der erste Termin des Seminars ist am 13.10.2017 um 11:30 Uhr in Raum 1/208A. Dort findet auch die Vorstellung der Themen statt.

    Die folgenden Themen sind vergeben:

    NameThemaVortragstermin
    Maximilian KränertSystemC
    Yan ShiMitre Tara
    André BöhleTimed Automata
    Johannes Götzeπ-calculus
    Justin FörsterMarkov-Ketten
    Sebastian KratzschAADL
    Martin Römerzeitbehaftete Petri-Netze
    Christian StecherSysML

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

    Einführungsfolien
    Informationen zum Seminar (englisch, PDF, version 1.0)

    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