Runtime Verification von Simulationen eines selbst-adaptiven Systems zur Variantenpriorisierung

Poggenberg, Stefan (2020) Runtime Verification von Simulationen eines selbst-adaptiven Systems zur Variantenpriorisierung. Masters thesis, Institute for Visual and Analytic Computing, University of Rostock.

Text Abschlussarbeit_Poggenberg.pdf - Published Version Restricted to Registered users only Download (1MB)

Abstract

In der Arbeit werden zunächst Informationen über Variantenpriorisierung und Genvarianz erläutert. Des Weiteren wird der Aufbau einer adaptiven Software erläutert und anschließend eine Realisierung anhand eines selbst erstellten Konzeptes vorgestellt. Dabei werden unter anderem die Unterschiede zwischen dem momentan existierenden Ansatz und der entwickelten adaptiven Software usgearbeitet. Folgend werden verschiedene Runtime-Verification-Methoden vorgestellt und die adaptive Software auf die gestellten Anforderungen geprüft. Um der aufkommenden Frage nachzugehen, wird das erstellte System durch Simulation anhand vorbereiteter Szenarien untersucht. Es wird überprüft, ob die definierten Anforderungen durch die Runtime-Verification erfüllt wurden. Abschließend wird über die ermittelten Erkenntnisse und über weitere mögliche Schritte diskutiert.