CONFIRM

Automatisierter Firmware-Entwurf unter Berücksichtigung von Timing- und Power-Budgets für anwendungsspezifische Elektroniksysteme

01/01/2017 to 31/12/2019

In vielen Anwendungsdomänen erweist sich der Entwurf der Firmware als ein besonders kritischer Entwurfsfaktor. Die Vielzahl an Aufgaben der Firmware und die steigenden Anforderungen führen zu einer sehr hohen Entwurfskomplexität mit wachsenden Entwurfskosten. Die Firmware muss stets an sich ändernde Hardware-Parameter sowie Architektur- und Systemkonfiguration angepasst und zusätzlich hinsichtlich gegebener Anwendungs- bzw. Nutzungsszenarien ausgelegt werden. An dieser Stelle setzt CONFIRM an und erforscht notwendige Schlüsselaspekte zur späteren Realisierung eines durchgängigen, automatisierten Firmware-Entwurfsprozess bei den beteiligten Industriepartnern. Hierzu zählt die modellbasierte Firmware-Spezifikation mit der Fähigkeit zur automatisierten Komposition der Firmware aus Bibliothekselementen inklusive einer optimierten Auslegung im Hinblick auf Echtzeitfähigkeit, Energieverbrauch unter Berücksichtigung der Hardware- und Speicherarchitektur sowie von Anwendungsszenarien. An der Universität Tübingen sollen hierzu Methoden und Werkzeuge entwickelt werden, um einerseits auf Sprachebene und andererseits durch automatisierte Transformationsansätze das Zeitverhalten sowie die Leistungsaufnahme von Firmware-Programmen genauer vorhersagen zu können.