Der Lehrstuhl für Informatik 4 (Betriebssysteme und Verteilte Systeme) betreibt Forschung im Bereich Design von Betriebssystemen und Verteilten Systemen. Der Schwerpunkt liegt auf objektorientierten Systemen, Multiprozessoren, und Verteilten Systemen. Daneben, werden analytische Modelle für Multiprozessoren und Multicomputer entwickelt.

Der Lehrstuhl besteht aus mehreren Gruppen, die an einer Reihe von Projekten beteiligt sind. Einige werden in der folgenden Projektliste erwähnt; andere erscheinen nur auf den Webseiten der jeweiligen Gruppe.

Gruppen

• ergoo - Erlangen Research Group on Distributed Objects and Operating Systems
• RDSP - Research Group - Resource constrained Distributed Stream Processing

Projekte

• iRTSS: invasive Runtime Support System (SFB/TRR 89 Invasive Computing, Project C1)
• AORTA: Aspektorientierte Echtzeitsystemarchitekturen
• DanceOS: Depandability Aspects in configurable embedded Operating Systems (SPP 1500 Dependable Embedded Systems)
• VAMOS: Variability Management in Operating Systems
• CiAO: Eine aspektorientierte Betriebssystemfamilie
• KESO: An application-tailored JVM for statically-configured embedded systems
• REFIT: Resource-Efficient Fault and Intrusion Tolerance
• TCLOUDS: Trustworthy Clouds - Privacy and Resilience for Internet-scale Critical Infrastructure
• pCtrl: Entwurfsmuster zur Parallelisierung von Steuerungssystemen
• CoSa: Komponentenarchitektur für sicherheitskritische eingebettete Systeme
• I4Copter: Evaluationsplattform für eingebettete und sicherheitskritische Systemsoftware in Forschung und Lehre
• VM-FIT: Virtual Machine-based Fault and Intrusion Tolerance
• AOCI: An Aspect Oriented Component Infrastructure
• PLiC: Dekomposition und Komposition von Software-Produktlinien
• AutoMC: Automotive Multicore
• Sloth: A Minimal-Effort Kernel for Embedded Systems
• dragon: Improving distributed, reliable and anonymous storage systems for anonymity networks
• bst-kconfig: Alleinstehende Version der Linux Konfigurators

Ehemalige Projekte

• ABBs: Atomic Basic Blocks
• AspectC++: An aspect-oriented extension to the C++ programming language
• SAMProc: Middleware for Self-adaptive Mobile Processes
• FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery
• FAME-DBMS: Eine Familie eingebetteter Datenbankmanagementsysteme
• AspectIX: Middleware für aspektorientierte Programmierung
• JX: A Flexible Operating System Architecture
• MOSEL: Modeling Specification and Evaluation Language
• PURE: Portable Universal Runtime Executive - operating system family
• PUMA for C++: Ein Parser und Codetransformator für C++ Quelltext
• Energiegewahre Betriebssysteme
• Parallele SW-Aktualisierung im Automobil

Publikationen