Konsistenzgestützte inkrementelle Qualitätsanalyse von CPS (C03)

• Fachliche Zuordnung: Verkehrs- und Transportsysteme, Intelligenter und automatisierter Verkehr ; Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme ; Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 501798263

In diesem Projekt werden wir den V-SUM-Ansatz nutzen, um inkrementelle Analysen der Modelleigenschaften von cyber-physischen Systemen zu unterstützen. Unsere Idee ist es, Abhängigkeiten zwischen Sicherheitsergebnissen und Analysen zu modellieren. Darüber hinaus nutzen wir diese Abhängigkeiten (die im V-SUM-Metamodell definiert sind), um automatisch eine Modellteil der von einer Änderung betroffenen Modellteile des V-SUM zu erstellen und einen effizienten Ausführungsplan zur Wiederherstellung der vorherigen Sicherheitsergebnisse bereitzustellen.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme
• Antragstellende Institution: Karlsruher Institut für Technologie
• Teilprojektleiter: Professor Dr. Bernhard Beckert; Professor Dr. Ralf Heinrich Reussner; Professor Dr.-Ing. Eric Sax