Selbstorganisierende Systeme
Die Komplexit?t von zukünftigen Softwaresystemen in dynamischen Umgebungen stellt den traditionellen Software- und Systementwurf vor Herausforderungen. Es ist schier unm?glich, die sich st?ndig ?ndernden Anforderungen und unvorhergeshenene Ereignisse zur Laufzeit bereits zur Designzeit zu spezifizieren. Unser Fokus liegt im systematischen Entwurf zuverl?ssiger autonomer Systeme mit anschaulicher Modellierung, Test und formaler Verifikation, um die Korrektheit trotz Autonomie zu gew?hrleisten. Desweitern entwickeln wir selbst-*-Algorithmen zur Laufzeitadaption und -optimierung sowie Techniken, um Unsicherheiten in der Umgebung in die Entscheidungen des Systems zu integrieren. Anwendungsgebiete sind flexible Produktionsanlagen, smarte Energieanwendungen, Schw?rme von Quadrocoptern für Umweltmonitoring und viele weitere.?
?
- Telefon: +49 821 598 2176
- E-Mail:
- Raum 3041 (Geb?ude N)
AKTUELLE THEMEN
Softwaretechnik für SO-Systeme
Die systematische Konstruktion selbstorganisierender Systeme ist eine gro?e Herausforderung, jedoch notwendig, um deren Korrektheit zu zeigen und ungewünschtes emergentes Verhalten zu vermeiden.
Qualit?tssicherung für SO-Systeme
Intelligente und autonome Systems bestehen oftmals aus sehr vielen autonomen Teilnehmern. Wir ben?tigen erweiterte Konzepte der Dekomposition und der Hierarchien, um selbstorganisierende Systeme in die richtige Richtung zu lenken. Zudem brauchen wir Testmethoden und Performanzkriterien, um die ?berlegenheit der Systeme gegenüber herk?mmlichen L?sungen zeigen zu k?nnen.
Schwarmintelligenz
Schw?rme heterogener Einheiten, wie unterschiedlichste mobile Roboter, werden Teil unseres Alltags werden.
Wie k?nnen wir sicherstellen, dass diese Schw?rme sich so verhalten, wie es gewünscht ist?
SO in industriellen Anwendungen
Intelligente, flexible Produktion, Industrie 4.0 Anwendungen etc. werden stark von Selbstorganisation profitieren, um die gewünschte Flexibilit?t zu erreichen. Wir ben?tigen deshalb Techniken um deren Qualit?t sicherzustellen und zu garantieren, dass sich die Systeme den Anforderungen entsprechend verhalten.
Projekte
COMBO
Kombination von Planung, Selbst-Organisation und Rekonfiguration in einem Roboterensemble zur Ausführung von ScORe Missionen.
Dienstleistungen
- Entwurf innovativer, adaptiver Produktionssysteme
- L?sungen für dezentrales, autonomes Energiemanagement
- Erweiterung existierender Systeme um die Vorteile adaptiven Verhaltens
- Analyse und Verifikation adaptiver Systeme
Abgeschlossene Projekte
SAVE ORCA
Eine Vorgehensweise für das systematische, top-down Entwickeln von h?chst zuverl?ssigen selbstorganisierenden, adaptiven Systemen.
OC-Trust
Koordination der DFG Forschergruppe, die sich zum Ziel gesetzt hat, soziale Konzepte (wie Vertrauen und Reputation) in selbstorganisierende Systeme zu integrieren, um deren Zuverl?ssigkeit als auch das Vertrauen des Nutzers in solche Systeme zu erh?hen.
ForSa@OC-Trust
In ForSa@OC-Trust werden formale Methoden, Software-Engineering-Ans?tze und Algorithmen für vertrauenskritische selbstorganisierende Systeme entwickelt. Dabei steht die Gew?hrleistung funktionaler Korrektheit und Safety im Vordergrund.
Team
- Telefon: +49 821 598 2215
- Telefon: +49 821 598 2217
Institut für Software & Systems Engineering
Das Institut für Software & Systems Engineering, geleitet von Prof. Dr. Wolfgang Reif, ist eine wissenschaftliche Einrichtung in der Fakult?t für Angewandte Informatik an der Universit?t Augsburg. Das Institut unterstützt sowohl Grundlagen- als auch angewandte Forschung in allen Bereichen der Software & Systems Engineering. In der Lehre erm?glicht es die weitere Entwicklung des relevanten Kursangebots von Fakult?t und Universit?t.