Quantitative Analyse von service-orientierten Echtzeit Systemen mit Strukturdynamik II (QUANTUM II)

• Antragsteller: Professor Dr. Holger Giese
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2013
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 241885098

Heutzutage ist Software ein wesentlicher Bestandteil komplexer verteilter eingebetteter Echtzeitsysteme geworden. Diese eingebetteten Echtzeitsysteme werden gegenwärtig häufig über komplexe Softwareteile und das service-orientierte Paradigma zu intelligenten Systemen von Systemen verbunden, wobei Gemeinschaften autonomer Agenten die lokalen und globalen Netzwerke nutzen, um gemeinsam ihre Funktionalität anzupassen und zu optimieren. Das Verhalten von solchen Systemen von Systemen ist daher durch Strukturdynamik gekennzeichnet, die sich aus dem komplexen Koordinationsverhalten ergibt, da sich die Struktur bzw. Architektur zur Laufzeit ändert. Daneben spielen hartes Echtzeitverhalten und probabilistische Aspekte des Verhaltens aufgrund von Fehlern oder Umgebungseinflüssen eine wesentliche Rolle. In Quantum I wurde eine Lösung entwickelt, die die Modellierung und Analyse all dieser drei Dimensionen abdeckt. Die Forschung zeigte jedoch auch, dass manchmal zusätzlich auch die Erfassung von kontinuierlichem Verhalten und stochastischen Verzögerungen von Vorteil wäre, um (präzisere) Qualitätsgarantien abzuleiten. Folglich wird für Quantum II vorgeschlagen, (a) die in Quantum I entwickelten Ergebnisse für die Modellierung und Analyse hinsichtlich dieser beiden zusätzlichen Dimensionen zu erweitern und (b) Verbesserungen der Skalierbarkeit der Analysetechniken zu untersuchen, um die Machbarkeit der Analysen trotz steigender Komplexität durch die Erweiterungen zu gewährleisten.

• DFG-Verfahren: Sachbeihilfen