Forschung
Die Professur "Betriebssysteme" beschäftigt sich mit Ansätzen, Modellen und Methoden zur generischen Anwendungsunterstützung. Dabei spielen verschiedene Eigenschaften wie z.B. Mobilität, Echtzeitfähigkeit, Verlässlichkeit, Autonomie und Energieverbrauch eine wichtige Rolle.Die Forschungsarbeiten werden in zwei Themengruppen unterteilt:
Modellierung von nicht-funktionalen Eigenschaften
Laufende Projekte
- Optimierung des Entwicklungsprozesses für die Automobilsicherheit in frühen Phasen des Prozessdesigns
- Hybride Automaten
- Optimierung der Kommunikation in Molekulardynamik-Simulationen
- Flexible, digitale Systeme für den schienengebunden Verkehr in Wachstumsregionen (FlexiDug)
- Optimierte Entwicklungsprozesse durch Design-by-Contract
- Sicherstellung metafunktionaler Aspekte durch Correctness-by-construction
Abgeschlossene Projekte
- Entwicklung einer OnBoard-Verwiegung der Traglast eines Baggers mittels Sensorfusion
- Unschärfe und Unsicherheit bei Verlässlichkeitsmodellierung und -analyse
- Echtzeit-Scheduling für Multicore-Prozessoren
- Skalierbarkeit von Molekulardynamiksimulationen auf heterogener Hardware
- Message Scheduled System
Moderne Laufzeitumgebungen für dynamische Systeme
Laufende Projekte
Abgeschlossene Projekte
- Effiziente Speicherverwaltung für virtuelle Maschinen
- Hochintegration von Software in dynamischen Fahrzeugsystemen
- Hochdeterministische Automatisierungsplattform mit harter Echtzeit
- iBeam - Klient für EnCom Protokoll
- RT.NET - High Performance Automation System
- Rebeca - Robuste Pub/Sub-Middleware für verteilte Systeme