Selbst-Adaption: Modellbasierte automatisierte Konstruktion von Transitionslogiken (A04)

• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme ; Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2017
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 210487104

A4 erforscht automatisierte Konstruktionsansätze für Transitionslogiken in selbstadaptiven Kommunikationssystemen. Die für die Spezifikation von Transitionsoptionen verwendeten Kontext-Feature-Modelle werden hierfür um Annotationen für die Beschreibung von (nichtfunktionalen) Eigenschaften von Transitionen wie Zeitbedingungen, Transitionskosten und -wahrscheinlichkeiten erweitert. Diese Modelle erlauben die Verifikation missionsentscheidender Anforderungen an Transitionsfolgen miteinander kooperierender Transitionslogiken. Auf Basis der Modelle werden Architekturkonzepte entwickelt, um mithilfe eines Rahmenwerkes eine MAPE-Zyklus-basierte Laufzeitumgebung zu instanziieren.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1053: MAKI - Multi-Mechanismen-Adaption für das künftige Internet
• Antragstellende Institution: Technische Universität Darmstadt
• Teilprojektleiter: Professor Dr. Christian Becker; Professor Dr. Andreas Schürr