Emmy Noether-Nachwuchsgruppe: Constraintbasierte Modelle und Algorithmen für Selbstdiagnose und -Planung in eingebetteten Systemen und Softwaresystemen

Projekt: DFG-ProjekteDFG-Stipendien: Emmy Noether-Programm

Projektdetails

Projektbeschreibung

Angesichts der zunehmenden Zahl von Komponenten und Wechselwirkungen werden Verfahren für die selbständige Diagnose und Rekonfigurierung vernetzter Systeme, beispielsweise eingebettete Systeme im Automobil, oder Web Services im Internet immer wichtiger.
Die auftretenden, riesigen Zustandsräume sowie Präferenzen (Wahrscheinlichkeiten, Kosten, Bevorzugung durch den Benutzer) und Dynamik (zeitlich veränderliche Beobachtungen, Benutzerinteraktion) stellen dabei jedoch besondere Anforderungen an geeignete Modellbeschreibungen und Algorithmen. Ziel des vorgeschlagenen Projekts ist die Entwicklung von constraintbasierten Modellierungstechniken und algorithmischen Verfahren am Schnittpunkt von künstlicher Intelligenz, kombinatorischer Optimierung und Software Engineering, um die Programmierung komplexer eingebetteter Systeme und Softwaredienste zu unterstützen und zu automatisieren.
Statusabgeschlossen
Tatsächlicher Beginn/ -es Ende01.01.0631.12.14

UN-Ziele für nachhaltige Entwicklung

2015 einigten sich UN-Mitgliedstaaten auf 17 globale Ziele für nachhaltige Entwicklung (Sustainable Development Goals, SDGs) zur Beendigung der Armut, zum Schutz des Planeten und zur Förderung des allgemeinen Wohlstands. Die Arbeit dieses Projekts leistet einen Beitrag zu folgendem(n) SDG(s):

  • SDG 9 – Industrie, Innovation und Infrastruktur