- Boosting Design Efficiency for Heterogeneous³ Systems SAFE4I - Sicherer Automatischer Software-Entwurf für Industrieanlagen (BMBF) CurlDat - Erarbeitung einer wissenschaftlich fundierten Datenbasis als [...] certification for medium- to high-assurance COTS-based systems (EU) CONFIRM - Automatisierter Firmware-Entwurf unter Berücksichtigung von Timing- und Power-Budgets für anwendungsspezifische Elektroniksysteme [...] Verteilte Inferenz-Algorithmen auf Multi-Sensor-Plattformen (BMBF) Kommunikations-Infrastrukturen - Entwurf von integrierten dezentralisierten Kommunikations-Infrastrukturen KOSMOS – Konstruktion und Organisation
https://www.imd.uni-rostock.de/forschung/projektarchiv/