Forschungsschwerpunkte

• Security Engineering
• Embedded Automotive Systems
• Neue Paradigmen (AOSD, MDA)
• Testen / Rigorose Analysen

Projekte

• ASCOT - Formale, mechnaisch unterstützte Fundierung aspektorienteierter und kollaborations-basierter Sprachen
• ATESST - Advancing Traffic Efficiency and Safety through Software Technology
• Maschinelles Lernen zur Funktionsvorhersage für Proteine im großen Maßstab
• BCI III - Entwicklung von echtzeitfähigen Verfahren der Signalverarbeitung und des maschinellen Lernens (z.B. adaptive Version des CSP-Algorithmus, Merkmalskombination) sowie deren Implementierung in das bestehende Online Feddback System
• Teilvorhaben: Entwicklung neuer Analysemethoden für EEG-Signale in nichtstationärer Umgebung im Verbundvorhaben: Fahrer als Sensor - FaSor
• Galois Connection - Projektbezogener Personenaustausch mit Großbritannien (ARC)
• TOPPrax - Aspektorientierte Programmierung für die Praxis betrieblicher Softwareentwicklung
• VATES - Konstruktion und Verifikation eingebetteter Software am Beispiel des Echtzeit-Betriebssystems BOSS

Poster (A0, PDF)

Gedruckte Versionen der Poster sind bei den Büros von SWT und PES ausgehangen.