Prof. Dr. Andreas Rausch

"Dynamisch Adaptive und Verlässliche Service-basierte Systeme"

Heutige softwarebasierte Systeme sind äußerst komplexe, hochgradig vernetzte, aber auch fragile Gebilde. Dabei hängt unsere Gesellschaft inzwischen zu einem großen Teil von der Funktionsfähigkeit dieser softwarebasierten Systeme ab. Der Vortrag zeigt auf, welche Herausforderungen sich für Softwarearchitekturen aus den kommenden Systemgenerationen ableiten lassen. Dabei gilt es insbesondere, mit der Softwarearchitektur erfolgreich die Brücke zwischen Verlässlichkeit und Adaptivität auf die sich fortlaufend verändernden Bedürfnisse zu schlagen.
Anhand eines mobilen Softwaresystems wird in dem Vortrag das Konzept von dynamisch adaptiven Systemen eingeführt. Es werden unterschiedliche Möglichkeiten und deren Grenzen vorgestellt, um Korrektheitsaspekte zur Laufzeit überprüfen zu können. Anhand des Beispiels wird ein konkreter Ansatz detaillierter vorgestellt, mit dem die Korrektheit von Service- bzw. Komponenten-Komposition zur Laufzeit überprüft werden kann.