Konsistenz unter Ungewissheit (A03)

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

Das Vorhandensein von Unsicherheit in CPS wirkt sich auf verschiedene Aspekte des Systems aus, insbesondere Modellkonsistenz. Aktuelle Ansätze zur Erhaltung der Konsistenz wie V-SUM gehen von korrekten Informationen in einem Modell aus und übertragen diese entsprechend auf andere Modelle (und deren Sichten). Entwickler könnten durch Ignorieren von Ungewissheiten falsche Schlussfolgerungen über das System ziehen. Ziel dieses Projekts ist es, Unsicherheit in V-SUMs zu verwalten und Auswirkungen von Unsicherheit auf die Konsistenz des CPS zu analysieren. So können potenziell negative Auswirkungen der Unsicherheit gemildert und das Sicherheitsniveau des CPS erhöht werden.

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