Wiederherstellung nach vorübergehender Inkonsistenz (B03)

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

Dieses Projekt zielt darauf ab, Mittel zum Umgang mit unvermeidlichen, vorübergehenden Inkonsistenzen zu entwickeln und Wege zu finden, wie man sie überwinden kann. Um die Wiederherstellung aus temporären Inkonsistenzen zu ermöglichen, ohne die tatsächlichen Entscheidungen der Nutzer während dieses Prozesses zu kennen, werden wir Optionen für die Wiederherstellung als "Operationsvorlagen'' darstellen, die Freiheitsgrade für die Entscheidungen der Nutzer lassen. Unsere zentrale Forschungsfrage ist daher, wie solche abstrakten Wiederherstellungsoperationen, die aus einer temporären Modellinkonsistenz herausführen, dargestellt und effizient durchsucht werden können.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme
• Antragstellende Institution: Karlsruher Institut für Technologie
• Teilprojektleiterinnen / Teilprojektleiter: Professorin Dr.-Ing. Anne Koziolek; Dr. Mattias Ulbrich