Diese Vorlesung behandelt die grundlegenden Designprinzipien von Betriebssystemen. Dabei wird besonders das UNIX Betriebssystem zur Illustration von Designentscheidungen und Beispielen verwendet.

Diese Vorlesung gibt einen Überblick über die grundlegende Funktionalität eines Mikrokerns. Darauf aufbauend und anhand von Fallbeispielen werden dann Konzepte zur Konstruktion mikrokernbasierter Betriebssysteme vermittelt. Behandelte Themen sind unter anderem Ressourcenmanagement, Gerätetreiber, Systemarchitekturen für Echtzeit und Sicherheit, Virtualisierung sowie Wiederverwendung existierender Softwarebausteine.

In diesem Komplexpraktikum werden fortgeschrittene Fertigkeiten der systemnahen Programmierung in einem Blockpraktikum vor Semesterbeginn vermittelt. Dabei werden Themen wie C++-, Rust- und Assemblerprogrammierung, Multithreading, Entwicklungswerkzeuge und Bare-Metal-Systementwicklung behandelt. Die Veranstaltung kann als Vorbereitung für praktisch orientierte Lehrveranstaltungen und Forschungs- und Abschlussarbeiten am Lehrstuhl genutzt werden.

In dieser Vorlesung behandeln wir Echtzeitsysteme. Diese Systeme interagieren mit der realen Welt, daher hängt ihre Korrektheit von der Rechtzeitigkeit ihrer Ergebnisse ab.