Aktuell (2018) laufende geförderte Projekte am Lehrstuhl  

GENIAL! (BMBF, 2018-2023)

Das Projekt zielt auf die schnellere und agilere Integration von Innovationen aus Mikroelektronik und Software in Automotive-Systeme ab. Hierzu wird am Lehrstuhl an Methoden und einem Werkzeug zur schnellen und frühen Konsistenzprüfung bereits in der Spezifikationsphase gearbeitet. 

https://www.elektronikforschung.de/projekte/genial-1

Arrowhead Tools (ECSEL, 2019-2023)

Das Projekt befasst sich mit Methoden zur Digitalisierung Cyber-Physikalischer Systeme. Hierzu wird eine "Digital Twin" verwendet, der Daten aus dem Betrieb sammelt und analysiert. Ziele sind kurzfristig die Intelligente Diagnose im laufenden Betrieb, längerfristig darüber hinaus auch das Lernen von Modellen für die Entwicklung mit engerer Verzahnung von Development und Operation (DevOps Integration) auf für sicherheitsrelevante Systemfunktionen.

KvUiCPS (Kompositionalität von Unsicherheiten in Cyber-Physikalischen Systemen; rein industriefinanzierte Drittmittelforschung, 2016-2019)

Es wird untersucht, wie sich Unsicherheiten - unscharfes Wissen, Kontextwissen, ungenaue Modelle, mögliche Fehlerursachen, etc. - formalisieren und im Modellbasierten Entwicklungsprozess (MBSE) einführen lassen und wie aus diesen Informationen Software zur Selbstdiagnose (OBD) generiert werden kann.  

VICINITY (EU H2020, Koordination Gesamtprojekt, 2016-2020)

Es wird an Methoden gearbeitet, die im Internet der Dinge (IoT) die Interoperabilität über Hersteller- und Standardschranken hinweg verbessern. Hierzu wird "Interoperability as a Service" auf semantischer Ebene (M2M) entwickelt. Das Projekt ist Teil der EPI (European Platform Initiative), die auf Standardisierung für das IoT abzielt. 

http://www.vicinity-h2020.eu/vicinity/