Navigation

Professur Betriebssysteme
Professur Betriebssysteme

Seminar Betriebssysteme

Lehrveranstaltung 500070, 500090, 500110, 500270

Aktuelles

    Kursinformationen

    Zuverlässige Betriebssysteme für verteilte Umgebungen

    Die Sicherstellung von Verlässlichkeit ist seit Jahrzehnten fester Bestandteil der Ingenieurwissenschaften. Neue und existierende Systeme werden dabei bzgl. ihrer Zuverlässigkeit, Verfügbarkeit, Wartbarkeit, Sicherheit oder Integrität untersucht und bewertet. Die entsprechenden Methoden zur Modellierung und Analyse sind in Forschung und Industrie seit langer Zeit etabliert und haben sich vielfach bewährt.

    Das Ziel dieses Seminars ist es, die Realisierung von zuverlässigen verteilten Umgebungen mit Hilfe von Betriebssystemen umfassend zu untersuchen. Dafür werden thematisch sowohl theoretische als auch praktische Aspekte abgedeckt:
    • Architektur und Mechanismen von Betriebssystemen für verteilte Umgebungen (QNX, VxWorks, Solaris, HP-UX, ...)
    • Fehlermodelle für verteilte IT-Umgebungen
    • Industriestandards für zuverlässige IT-Systeme (ISO26262, IEC61508, ...)
    • Techniken der Systemmodellierung (Petri-Netze, Markov-Ketten, Warteschlangensysteme, TLA, Zeit/Raum-Modellierung, ...)
    • Seminar
      • Seminarleiter: Dr. Peter Tröger
      • Zeit: Freitag, 11:30 - 13:00 Uhr
      • Ort: 1/208A
    Die konkreten Vortragstermine werden noch bekannt gegeben.

    Die Note für die Veranstaltung entsteht aus der Bewertung der Präsentation (50%) und der Ausarbeitung (50%). Die aktive Teilnahme an den Vorträgen 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