B02 Gleichzeitige Bearbeitung und Transaktionalität (B02)

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

Dieses Projekt untersucht transaktionale Garantien für gleichzeitige Änderungen von Views, die auf einem zugrunde liegenden Modell definiert sind, um die laufende Entwicklung durch verschiedene Parteien zu vereinfachen. Unsere zentrale Forschungsfrage lautet: Wie kann das Transaktionskonzept aus der Datenbankforschung auf V-SUMs übertragen werden, um zusätzlich die Konsistenz nach gleichzeitigen Editieroperationen zu bewahren, und was sind die Trade-offs zwischen optimistischen und pessimistischen Ansätzen bezüglich der Konsistenzbewahrung? Dieses Projekt trägt zum CRC bei, indem es transaktionale Konsistenzgarantien von Artefakten während der Entwicklung von CPS untersucht.

• 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. Maribel Acosta; Professor Dr. Ralf Heinrich Reussner