Research at CS 4 at FAU
The Department of Computer Science 4 (Distributed Systems and Operating Systems) does research on the design of operating and distributed systems. A separate page lists our group's publications.
Research Groups
- ergoo: Erlangen Research Group on Distributed Objects and Operating Systems
- RDSP: Research Group for Resource-Constrained Distributed Stream Processing
Research Projects
- iRTSS: invasive Runtime Support System (SFB/TRR 89 Invasive Computing, Project C1)
- AORTA: Aspect-Oriented Real-Time Architecture
- danceOS: Dependability Aspects in configurable embedded Operating Systems (SPP 1500 Dependable Embedded Systems)
- VAMOS: Variability Management in Operating Systems
- CiAO: An Aspect-Oriented Operating-System Family
- 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
- CoSa: Component architecture for Safety-critical embedded systems
- I4Copter: Platform for evaluation and education of embedded and safety-critical system software
- VM-FIT: Virtual Machine-based Fault and Intrusion Tolerance
- AOCI: An Aspect Oriented Component Infrastructure
- AutoMC: Automotive Multicore
- SEEP: Proactive Methodology for Energy-Aware Programming
- Sloth: A Minimal-Effort Kernel for Embedded Systems
- dragon: Improving distributed, reliable and anonymous storage systems for anonymity networks
- bst-kconfig: Standalone Version of the Linux KConfig Tool
- LAOS: Latency Aware Operating Systems
- BATS: Dynamic Adaptable Applications for Bats Tracking by Embedded Communicating Systems
Former Research Projects
- 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: A Family of Embedded Database Management Systems
- AspectIX: A Middleware for Aspect-Oriented Programming
- JX: A Flexible Operating System Architecture
- MOSEL: Modeling Specification and Evaluation Language
- pCtrl: Design Patterns for Parallelize Control Systems
- PLiC: Decomposition and Composition of Software Product Lines
- PURE: Portable Universal Runtime Executive - operating system family
- PUMA for C++: A Parser and Manipulator for C++ Source Code
- OS-Directed Power Management
- Parallel Software Update in Automotive Networks




