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
- Hybride Automaten
- Flexible, digitale Systeme für den schienengebunden Verkehr in Wachstumsregionen (FlexiDug)
Abgeschlossene Projekte
- Sicherstellung metafunktionaler Aspekte durch Correctness-by-construction
- Optimierte Entwicklungsprozesse durch Design-by-Contract
- Optimierung der Kommunikation in Molekulardynamik-Simulationen
- Optimierung des Entwicklungsprozesses für die Automobilsicherheit in frühen Phasen des Prozessdesigns
- 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
- Rebeca - Robuste Pub/Sub-Middleware für verteilte Systeme
- RT.NET - High Performance Automation System