Research
The operating systems group is engaged in approaches, models and methods for generic application support. This relates to properties such as mobility, timeliness, dependability, autonomy and power consumption.The research is organized in two core topic groups:
Modeling of non-functional properties
Current Projects
Past Projects
- Guaranteeing Meta-functional Aspects Through Correctness-by-construction
- Streamlined Development Processes through Design-by-Contract
- Optimizing Communication in Molecular Dynamics Simulation
- Optimizing the Automotive Security Development Process in Early Process Design Phases
- Development of an onboard weighing system of the load of an excavator via sensor fusion
- Fuzziness and uncertainty in dependability modeling and analysis
- Real-time scheduling for multicore processors
- Scalability of Molecular Dynamics Simulations on Heterogeneous Hardware
- Message Scheduled System
Modern run-time environments for dynamic systems
Current Projects
- Dimos - A distributed run-time system for cyberphysical systems
- Interpreted operating system kernels
Past Projects
- Efficient memory management for virtual machines
- High integration of software in dynamic vehicle environments
- Highly Deterministic PLC Plattform with Hart Realtime
- iBeam - Client for EnCom protocol
- Rebeca - Robust pub/sub middleware for distributed systems
- RT.NET - High Performance Automation System