20-00-0990-iv Reliable Software and Operating Systems

Lehrende: Prof. Ph. D. Neeraj Suri; Stefan Winter

Veranstaltungsart: Integrierte Veranstaltung

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: RSWOS

Fach:

Anrechenbar für:

Semesterwochenstunden: 4

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Grundlegende und fortgeschrittene Konzepte verlässlicher, vertrauenswürdiger und fehlertoleranter Softwaresysteme mit Relevanz für Betriebssysteme und verteilte Systeme
- Grundlagen von Software-Verlässlichkeit
- Robuste Programmierung
- Software Aging und Rejuvenation, Micro-Reboots
- Recovery Blocks, N-Version Programming, Design & Data Diversity
- Test-Techniken mit Anwendung auf Treiber/Betriebssysteme
- Fault Injection und Betriebssystem Hardening
- Verifikation
- Fehlertolerante verteilte Systeme

Voraussetzungen:
Veranstaltungen "Algorithmen und Datenstrukturen", "Betriebssysteme" oder vergleichbare