Lehrstuhl für Informatik 4
Verteilte Systeme und Betriebssysteme

Dies ist eine archivierte Version der Lehrstuhlwebseite (mit Stand Februar 2022 bzw. Wintersemester 2021/22).
Diese Seite wird nicht mehr gepflegt und es ist somit möglich, dass Inhalte veraltet sind.
Die aktuelle Webseite ist über sys.cs.fau.de erreichbar.

Forschung und Lehre unserer Gruppe adressieren sowohl verschiedene Gebiete von Rechensystemen und Softwaretechnik als auch ihre Schnittmenge, und zwar in folgenden Aspekten:

• Sparsamkeit in Bezug auf Energieverbrauch beim ressourcengewahren Betrieb von Rechensystemen. Vgl. unsere ISORC '17, ACM TECS, RTAS '16, SBESC '15, ECRTS '15, USENIX TRIOS '14, and HotPower '11 Papiere.
• Zuverlässigkeit in vernetzten/verteilten Systemen (auf Basis betriebsmittelschonender Fehler- und Einbruchstoleranz) und Vertrauenswürdigkeit in kundenspezifischen Betriebssystemen. Vgl. unsere 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 Papiere.
• Rechtzeitigkeit in und Bereitstellung eines Migrationspfads zwischen zeit- und ereignisgesteuerten Echtzeitsystemen. Vgl. unsere SPE '11 und CASES '09 Papiere.
• Komponierbarkeit und Konfigurierbarkeit von anwendungsorientierter, variantenreicher und/oder typsicherer Systemsoftware. Vgl. unsere SPLC '12, CPE '12, ISORC '11, SPLC '10, und USENIX '09 Papiere.
• Spezialisierbarkeit von Systemsoftware am Beispiel dedizierter Betriebssysteme. Vgl. unsere AOSD '11, SFMA '11, RTSS '11, und RTSS '09 Papiere.
• Gleichzeitigkeit und die Koordinierung der Kooperation und Konkurrenz simultaner Prozesse. Vgl. unsere IPDPS '21, HotPar '11, PDCN '10, und SIES '09 Papiere.

In organisatorischer Hinsicht repräsentiert die Gruppe den Lehrstuhl für Verteilte Systeme und Betriebssysteme im Department Informatik der Technischen Fakultät der FAU. Etwa zwei Drittel des Personals der Gruppe sind drittmittelfinanziert, hauptsächlich durch die Deutsche Forschungsgemeinschaft (DFG). Darüberhinaus unterhalten wir Forschungskooperationen und laufende Projekte mit der Maschinenindustrie, wie zum Beispiel Siemens Automation & Drive, Siemens Corporate Technology und Elektrobit.

Die Gruppe wird geleitet von Wolfgang Schröder-Preikschat und umfasst derzeit zusätzlich 4 wiss. Assistenten, 24 wiss. Beschäftigte, 4 nichtwiss. Beschäftigte und 11 studentische Hilfskräfte (vgl. Leute bei CS 4).

Publikationen

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

Abschlussarbeiten

• Helene Gsänger erhielt einen Graduiertenpreis des GI-Fachausschusses Echtzeitsysteme für ihre Master-Arbeit zum Thema "Dynamische Migrationsentscheidungen in Multicore-Systemen" (2021).
• Phillip Raffeck erhielt einen Graduiertenpreis des GI-Fachausschusses Echtzeitsysteme für seine Master-Arbeit zum Thema "Microarchitecture-Aware Whole-System Resource Analysis" (2019).
• Simon Schuster erhielt einen Graduiertenpreis des GI-Fachausschusses Echtzeitsysteme für seine Master-Arbeit zum Thema "Systemgewahre statische Laufzeitanalyse von Universalbetriebssystemen" (2018).
• Martin Hoffmann erhielt den Dissertationspreis der GI-Fachgruppe Betriebssysteme für seine Dissertation zum Thema "Dependability by Design: A Methodology for Dependable System Software on Undependable Hardware" (2017).
• Christian Eichler erhielt einen Graduiertenpreis des GI-Fachausschusses Echtzeitsysteme für seine Master-Arbeit zum Thema "Benchmark Generation for WCET Analysis" (2017).
• Michael Eischer erhielt den ASQF-Förderpreis für seine Master-Arbeit zum Thema "Design of a Byzantine Fault-tolerant Protocol for Heterogeneous Environments" (2017).
• Rainer Schiekofer erhielt einen Siemens-Masterpreis für seine Master-Arbeit zum Thema "Consensus-oriented Parallelization of Infrastructure Services at the Example of ZooKeeper" (2017).
• Phillip Raffeck erhielt einen Graduiertenpreis des GI-Fachausschusses Echtzeitsysteme für seine Bachelor-Arbeit zum Thema "Design and Implementation of an Energy-Neutral Real-Time Operating System" (2016).
• Peter Wägemann erhielt einen Graduiertenpreis des GI-Fachausschusses Echtzeitsysteme für seine Master-Arbeit zum Thema "Assisting Analysis Based on Implicit Path Enumeration through Evolutionary Testing for Energy Awareness" (2015).
• Christian Dietrich erhielt den Abschlussarbeitspreis der GI-Fachgruppe Betriebssysteme für seine Master-Arbeit zum Thema "Global Optimization of Non Functional Properties in OSEK Real-Time Systems by Static Cross-Kernel Flow Analyses" (2015).
• Florian Lukas erhielt den Abschlussarbeitspreis der GI-Fachgruppe Betriebssysteme für seine Master-Arbeit zum Thema "Design and Implementation of a Soft-error Resilient OSEK Real-Time Operating System" (2014).
• Rainer Müller erhielt einen Graduiertenpreis des GI-Fachausschusses Echtzeitsysteme für seine Diplomarbeit zum Thema "Slothful Linux: An Efficient Hybrid Real-Time System by Hardware-Based Task Dispatching" (2013).
• Tobias Distler erhielt einen IBM Ph.D. Fellowship Award für das akademische Jahr 2012-2013.