Kursinformation

Lehrinhalte
Grundlegende und fortgeschrittene Konzepte für den Entwurf und die Bewertung von zuverlässigen (vertrauenswürdigen) Software- und Betriebssystemen.
Der Kurs behandelt konzeptionelle, praktische und wissenschaftliche Aspekte.
- Konzepte der Software-Zuverlässigkeit (z.B. robuste Programmierung, Replikation, Checkpointing, Software-Ageing etc.)
- Software-Testing
- Software Verifikation & Validierung (experimentelle und formale Ansätze)
- Verteilte Systemsoftware
- Aktuelle Forschungstrends

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

Online-Angebote
Moodle