CONFIRM: Automatisierter Firmware-Entwurf für anwendungsspezifische Elektroniksysteme

Im Projekt werden neue Methoden zur Verifikation von Firmwarebasierten Powermanagement-Strategien entwickelt.

Weitere Informationen:
https://www.edacentrum.de/confirm/

Kontakt: Prof. Dr. Rolf Drechsler, Dr. Daniel Große

In CONFIRM erforschen sieben Forschungseinrichtungen Schlüsselaspekte für einen effizienten, automatisierten Entwurf von Firmware, die speziell für die Hardwaregegebenheiten des Systems, aber auch die angestrebten Anwendungsszenarien ausgelegt ist. Hierfür werden gemeinsame Hardware-Firmware-Modelle entwickelt, die eine abstrakte Optimierung bezüglich verschiedener Parameter zulassen. Darauf aufbauend wird eine neue Entwurfsmethode erarbeitet, mit deren Hilfe eine an die Systemkonfiguration und das Nutzungsprofil angepasste Firmware automatisiert erstellt werden kann.

---