In this lecture we introduce the basic principles of operating system design. The UNIX operating system family serves as an example to substantiate the illustrated principles. The lecture further covers fundamentals of cryptography and security.

This lecture continues and consolidates the topics of the basic course "Operating Systems and Security". The lecture covers scalability, fault tolerance, memory consistency and synchronization in parallel systems, security in distributed systems, and Trusted Computing.

This lecture teaches Real-Time Systems. Such systems interact with the real world. Their correctness depends on the timeliness of results.

This lecture introduces the basic functionality provided by a microkernel. Based on case studies, it then explores concepts and construction principles for building microkernel-based operating systems. Various aspects are covered, including resource management, device drivers, real-time and security architectures, virtualization, and reuse of existing software building blocks.

This lecture addresses the current development of 2nd-generation microkernels in a very practical manner. We start with a short introduction to the area of microkernel-based systems and then illustrate mechanisms of modern microkernels by means of example code and accompanied by practical exercises.

When designing a real-time system, a critical decision is how much computation time to assign to processes. This lecture teaches the basic terms, methods, and results of scheduling theory.

Information about session

We provide various topics for diploma, bachelor, master, and undergraduate (Beleg) theses. Students are also welcome to propose their own topics.