Aufrechterhaltung der Konsistenz zwischen Varianten und Versionen (B04)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 501798263

Um die Entwicklung variabler CPS, die an unterschiedliche Anwendungskontexte und -anforderungen anpassbar sind, zu unterstützen, muss das V-SUM variabilitätsbewusst werden. Dazu muss das V-SUM verschiedene gekoppelte Modelle sowie deren Varianten und Versionen beschreiben und konsistent halten. Unser Ziel ist es, die Variabilität einheitlich durch Deltas zu repräsentieren und die Konsistenz- und Sichttypspezifikationen zu erweitern. Dazu nutzen wir eine Änderungs- und Wirkungsanalyse, um betroffene Varianten und Versionen zu identifizieren und Deltas höherer Ordnung zu generieren, um alle Varianten und Versionen gekoppelter Modelle konsistent anzupassen.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme
• Antragstellende Institution: Karlsruher Institut für Technologie
• Teilprojektleiterinnen / Teilprojektleiter: Professor Dr. Uwe Aßmann; Dr.-Ing. Erik Burger; Professorin Dr.-Ing. Ina Schaefer