CONVIDE: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme

Moderne cyber-physische Systeme (CPS), wie Autos oder Produktionsanlagen, sind voll von elektronischen und mechanischen Komponenten, die von Software gesteuert werden. Das System als Ganzes kann nur funktionieren, wenn all diese Teile perfekt zusammenspielen. Das Entwerfen solcher Systeme stellt die Herausforderung dar, die Systemarchitektur jederzeit konsistent zu halten.

Projektziele

Neue Methoden werden im Sonderforschungsbereich "Consistency in the View-Based Development of Cyber-Physical Systems" (Convide) am KIT mit einem Budget von 11 Millionen Euro über vier Jahre entwickelt. Erforscht werden Softwaremethoden zur Strukturierung und Organisation der Arbeit bei der Entwicklung von CPS. Sie sollen für schnellere Entwicklungszyklen in der Industrie sorgen.

Anteil des ITIV im Projekt

Das ITIV wird im Projekt neue konsistenz-basierte Methoden und Prozesse für inkrementelle Sicherheitsanalysen und Validierung von Cyber-physischen Systemen, wie z. B. automatisierten Fahrzeugen, erforschen.