Operating System Group (OSG)

Bald ist es soweit! Das Wintersemester beginnt und damit auch eine weitere Runde der Lehrveranstaltung zum Thema Betriebssysteme: Betriebssystemtechnik. Auch dieses mal wollen wir in den Innereien unseres Lehrbetriebssystems herumstochern. Diesmal wollen wir uns ein Semester mit dem Thema "Speichervirtualisierung" und Privilegienisolation widmen. Am Ende wird unser Lehrbetriebssystem OOStuBS echte Prozesse haben, die sich mittels fork() vervielfältigen können. Kommunikation zwischen Prozessen findet dann durch effizientes Copy-on-Write statt.

Die Arbeitsgruppe sucht eine erste Wissenschaftlichen MitarbeiterIn, welche sich mit interessanten Themen aus den Betriebssystemfeld auseinandersetzt und in der Lehre tatkräftigt Unterstützung leistet. Die Stelle bietet die Möglichkeit zur wissenschaftlichen Qualifikation mit dem Ziel der Promotion und ist als 100% E13 auf 3 Jahre ausgeschrieben. Mehr Details gibt es in der Stellenausschreibung (Deadline: 29.09.2021).

Oskar Pusz presents Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults at the Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21).

In the paper, we describe Data-Flow–Sensitive Fault-Space Pruning (DFP), a new precise and fault-space–complete data-flow sensitive fault-space pruning method that extends on def/use-pruning by also considering the instructions’ semantics when deriving fault-equivalence sets. In our experimental evaluation, this already reduces the number of necessary injections by up to 18 percent compared to def/use pruning.

The DFP is the core element in the ISA level of our research project CLASSY-FI.

The source code and evaluation artifacts are available here: Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults.

Björn Fiedler presents our paper ARA: Static Initialization of Dynamically-Created System Objects at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS '21).

In the paper, we present ARA, a framework for static specialization of operating systems for embedded systems. ARA is capable to statically detect operating-system objects dynamically created during run-time and replace them by statically prepared equivalents. ARA is a major building block of our reserch project AHA towards the goal to fully automatically analyze and specialize applications and their system software.

The presentation videos, source code and evaluation artifacts are available at the paper's details page: ARA: Static Initialization of Dynamically-Created System Objects

In der Lehrveranstaltung Betriebssystembau lernen die Studierenden die konzeptionellen Grundlagen und wichtigen Techniken kennen, die für den Bau eines Betriebssystems erforderlich sind. In den vorlesungsbegleitenden Übungen werden diese Kenntnisse praktisch angewendet, indem ein kleines PC-Betriebssystem in kleinen Arbeitsgruppen von Grund auf neu entwickelt wird.

Christian Dietrich investigates principles, methods and techniques for the development of general- and special-purpose system software and operating systems. His teaching activities will focus on the topic of operating systems and the broader area of systems software development in general.

Auf dem virtuellen Frühjahrstreffen der GI/ITG Fachgruppe Betriebssysteme, hat Christian Dietrich den Promotionspreis für seine Dissertation Interaction-Aware Analysis and Optimization of Real-Time Application and Operating System erhalten. Der Promotionspreis wird jährlich von der Fachgruppe für hervorragende Promotionen auf dem Gebiet der Betriebssystemforschung vergeben.