Constraintbasierte Modelle und Algorithmen für Selbstdiagnose und -Planung in eingebetteten Systemen und Softwaresystemen

在汽车系统、互联网服务和网络服务的基础上，我们可以对汽车系统进行自我诊断和重新配置。他说：“我不会再做任何事情了，我不会再做任何事情了。”Ziel des vorgeschlagenen Projekts ist die Entwickung von Constraint Basierten Modellierungstechniken and算法mischen Verfahren am Schnittpenkt von künstlicher Intelligence enz，kombinator ischer Optimierung und Software Engineering，um die Programmierung komplexer eingebetteter eingebetteter system and Softwaredienste zu untertzen and zu Automatisieren.位于佛州弗莱堡的阿尔伯特-路德维希大学信息学院。

Angesichts der zunehmenden Zahl von Komponenten und Wechselwirkungen werden Verfahren f¨ur 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. Der Antragsteller schlägt hierzu den Aufbau einer Nachwuchsgruppe am Institut für Informatik der Albert-Ludwigs-Universität in Freiburg vor.