Department of Computer Science 4
Distributed Systems and Operating Systems

This is an archived version of the chair's website (as of February 2022 or winter term 2021/22).
This page is no longer maintained and it is therefore possible that the content is outdated.
The current website is located at sys.cs.fau.de.

Both our group's research and our lectures target several areas of computing systems and software engineering as well as their intersections in the following aspects:

• Economy with regard to energy consumption by means of a resource-aware operation of computing systems. See our ROSS '18, ISORC '17, ACM TECS, RTAS '16, SBESC '15, ECRTS '15, USENIX TRIOS '14, and HotPower '11 papers.
• Reliability in networked/distributed systems (on the basis of resource-efficient fault and intrusion tolerance) and trustability in customized operating systems. See our DSN '17, EuroSys '17, IEEE TC, Middleware '15, EuroSys '15, CASES '14, LCTES '13, HotDep '12, EDCC '12, EuroSys '12, EuroSys '11, and NDSS '11 papers.
• Timeliness in and provision of a migration path between time- and event-triggered real-time systems. See our SPE '11 and CASES '09 papers.
• Composability and configurability of application-oriented, versatile and/or type-safe system software. See our SPLC '12, CPE '12, ISORC '11, SPLC '10, and USENIX '09 papers.
• Specialization of system software using the example of dedicated operating systems. See our AOSD '11, SFMA '11, RTSS '11, and RTSS '09 papers.
• Concurrency and the coordination of cooperation and competition of simultaneous processes. See our IPDPS '21, HotPar '11, PDCN '10, and SIES '09 papers.

In organizational respects, the group incorporates the Chair in Distributed Systems and Operating Systems in the Computer Science Department of the School of Engineering at FAU. About two-thirds of the group's staff is supported through third-party funds, mainly by the German Research Foundation (DFG). Furthermore, we maintain research cooperations and ongoing projects with engineering industry such as Siemens Automation & Drive, Siemens Corporate Technology, and Elektrobit, amongst others.

The group is headed by Wolfgang Schröder-Preikschat and additionally comprises 4 assistant professors, 24 postgraduates (scientific staff), 4 staff members, and 11 research students, currently (see People at CS 4).

Papers

• Our paper "Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems" received an Outstanding Paper Award at the 30th Euromicro Conference on Real-Time Systems (ECRTS '18).
• Our paper "Strome: Energy-Aware Data-Stream Processing" received a Best Paper Award at the 18th International Conference on Distributed Applications and Interoperable Systems (DAIS '18).
• Our paper "cHash: Detection of Redundant Compilations via AST Hashing" received a Best Paper Award at the 2017 USENIX Annual Technical Conference (ATC '17).
• Our paper "An End-To-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis" received the Best Paper Award at the 20th International Symposium on Real-Time Distributed Computing (ISORC '17).
• Our paper "SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems" received an Outstanding Paper Award at the 23rd Real-Time and Embedded Technology and Applications Symposium (RTAS '17).
• Our paper "dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel" received the Best Paper Award at the 21st Real-Time and Embedded Technology and Applications Symposium (RTAS '15).
• Our paper "Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study" received a Distinguished Paper Award at the 22nd International Symposium on Foundations of Software Engineering (FSE '14).

Theses

• Helene Gsänger received a Thesis Award from the GI-Fachausschuss Echtzeitsysteme for her Master thesis on "Dynamische Migrationsentscheidungen in Multicore-Systemen" (2021).
• Phillip Raffeck received a Thesis Award from the GI-Fachausschuss Echtzeitsysteme for his Master thesis on "Microarchitecture-Aware Whole-System Resource Analysis" (2019).
• Simon Schuster received a Thesis Award from the GI-Fachausschuss Echtzeitsysteme for his Master thesis on "Systemgewahre statische Laufzeitanalyse von Universalbetriebssystemen" (System-aware static run-time analysis of generic operating systems, 2018).
• Martin Hoffmann received the Dissertation Award from the GI-Fachgruppe Betriebssysteme for his dissertation on "Dependability by Design: A Methodology for Dependable System Software on Undependable Hardware" (2017).
• Christian Eichler received a Thesis Award from the GI-Fachausschuss Echtzeitsysteme for his Master thesis on "Benchmark Generation for WCET Analysis" (2017).
• Michael Eischer received the ASQF Advancement Award for his Master thesis on the "Design of a Byzantine Fault-tolerant Protocol for Heterogeneous Environments" (2017).
• Rainer Schiekofer received a Siemens Master Thesis Award for his Master thesis on the "Consensus-oriented Parallelization of Infrastructure Services at the Example of ZooKeeper" (2017).
• Phillip Raffeck received a Thesis Award from the GI-Fachausschuss Echtzeitsysteme for his Bachelor thesis on the "Design and Implementation of an Energy-Neutral Real-Time Operating System" (2016).
• Peter Wägemann received a Thesis Award from the GI-Fachausschuss Echtzeitsysteme for his Master thesis on "Assisting Analysis Based on Implicit Path Enumeration through Evolutionary Testing for Energy Awareness" (2015).
• Christian Dietrich received the Thesis Award from the GI-Fachgruppe Betriebssysteme for his Master thesis on the "Global Optimization of Non Functional Properties in OSEK Real-Time Systems by Static Cross-Kernel Flow Analyses" (2015).
• Florian Lukas received the Thesis Award from the GI-Fachgruppe Betriebssysteme for his Master thesis on the "Design and Implementation of a Soft-error Resilient OSEK Real-Time Operating System" (2014).
• Rainer Müller received a Thesis Award from the GI-Fachausschuss Echtzeitsysteme for his Diploma thesis "Slothful Linux: An Efficient Hybrid Real-Time System by Hardware-Based Task Dispatching" (2013).
• Tobias Distler received an IBM Ph.D. Fellowship Award for the 2012-2013 academic year.