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
- Optimizing the Automotive Security Development Process in Early Process Design Phases
- Hybrid Automata
- Optimizing Communication in Molecular Dynamics Simulation
- Flexible, digital systems for rail-based transport in growth regions (FlexiDug)
- Streamlined Development Processes through Design-by-Contract
- Guaranteeing Meta-functional Aspects Through Correctness-by-construction
Past Projects
- 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
- RT.NET - High Performance Automation System
- Rebeca - Robust pub/sub middleware for distributed systems