?berblick

Selbstorganisierende, adaptive Systeme (SOAS) zeichnen sich dadurch aus, dass sie Entscheidungen bezüglich des Verhaltens und der Organisationsstruktur von der Entwurfs- in die Laufzeit verlagern. Sie sind somit in der Lage, sich von schlechten, ungeeigneten oder unerwünschten Zust?nden, die durch eine ver?nderliche Umwelt bedingt sind, mittels Adaptions- und Selbstorganisationsmechanismen zu erholen. Dies wird durch eine selbst?ndige Rekonfiguration von Agenten oder Gruppen von Agenten und die daraus resultierende Systemanpassung an neue Umweltsituationen erm?glicht. Eine Ver?nderung der Umwelt kann dabei vom Hinzukommen neuer Aufgaben und Agenten bis zum Wegfall von F?higkeiten reichen.

Das Projekt TeSOS widmet?sich dem Testen, d. h. der systematischen Aufdeckung von Fehlern, von SOAS. Klassischerweise liegt ein Fehler vor, wenn das Ist-Verhalten vom Soll-Verhalten abweicht; das Ziel des Testens ist es, solche Fehlerwirkungen nachzuweisen. Die adaptiven und selbstorganisierenden Systemen zugrundeliegenden Mechanismen sind nun wesentlich in das Testvorgehen einzubeziehen, da sie eine Abweichung zwischen gutem, geeignetem oder gewünschtem und tats?chlichem Verhalten registrieren k?nnen und in der Lage sind, das System danach so zu rekonfigurieren, dass wieder ein guter, geeigneter oder gewünschter Zustand vorliegt. Dazu baut?TeSOS auf dem Architekturprinzip “Corridor Enforcing Infrastructure” (CEI) auf. Diese macht den Raum der Soll-Zust?nde als Korridor korrekten Verhaltens (“Corridor of Correct Behaviour”, CCB) explizit, der zur Laufzeit überwacht wird und bei Abweichungen Mechanismen zur Wiederherstellung eines erlaubten Zustands ausl?st. TeSOS m?chte zeigen, dass durch die CEI das Testen von SOAS geradezu standardisiert werden kann, indem die CEI als das grundlegende Testobjekt eingeführt und testbar gemacht wird: Die Funktionalit?t der einzelnen Agenten in einem SOAS, welche meist durch einfache Regeln charakterisiert ist, kann vermutlich durch klassische Methoden getestet werden. Für die Adaptivit?t legt dagegen die CEI klar fest, was eine fehlerhaftes Rekonfigurationverhalten ist und welchen Teil des SOAS die Adaption und Selbstorganisation betreffen, und bietet so die M?glichkeit, auf Rekonfigurations- und Adaptionsfehler zu testen. Die Einschr?nkungen der Systemzust?nde zur Beschreibung des Korridors korrekten Verhaltens bilden die Basis für eine Ableitung eines automatischen Testorakels. Ein Ansatz zur Isolation der Rekonfigurationsverfahren führt darüberhinaus auf eine generische modellbasierte Testarchitektur, in der Testfallgenerierung, Testfallausführung und Testfallevaluation zusammengeführt werden und die dazu benutzt werden kann, sowohl das Gesamt-SOAS als auch Systemteile, also Agenten oder Agentgruppen, auf der Basis der CEI zu testen.

?

Das Isolationsinstrument für die Rekonfiguration ist die modellbasierte Simulation der Umwelt des Adaptions- bzw. Selbstorganisationsmechanismus sowie die Simulation der Umwelt der Agenten, die von dem Mechanismus kontrolliert werden. Die Umwelt stellt sich als ein stochastischer Prozess dar, welcher die Eingabe der Tests von Rekonfigurationsverfahren oder Agentenfunktionalit?t generiert und diskrete oder kontinuierliche Umgebungsvariablen umfasst. Die verschiedenen Umwelttypen auf Agenten-, Agentengruppen- oder Systemebene stellen im Test dann auch das Instrument zur Dekomposition des Gesamtsystems dar. TeSOS m?chte zudem zeigen,?dass es für das Testen?eines SOAS dennoch nicht notwendig ist, dass die CEI bereits zum Entwicklungszeitpunkt verbaut wurde; vielmehr kann sie als Leitprinzip des Testens unter Verwendung der Testarchitektur dienen. Die Ergebnisse von TeSOS werden an fünf SOAS-Fallstudien darunter an einem selbstorganisierenden Produktions- und einem adaptiven Energiesystem gezeigt.

F?rderung

?

Eckdaten

Start:

01.01.2016

Ende:

31.01.2020

Laufzeit:

3 Jahre

?