SPI-Workbench – Modellierung, Analyse und Optimierung eingebetteter Systeme

Abstract

Das SPI-Modell dient zur Repräsentation von heterogenen eingebetteten Systemen. Basierend auf diesem Modell wurde in einem Forschungsverbund zwischen der TU Braunschweig, der Universität Erlangen-Nürnberg und der ETH Zürich die systemweite Analyse und Optimierung eingebetteter Systeme untersucht und in der SPI-Workbench integriert. Besonderes Augenmerk wurde auf die domänenübergreifende Integration von Systemteilen gelegt. Dieser Beitrag wird die Ergebnisse dieses erfolgreichen Projektes zusammenfassen: Zunächst wird die SPI-Workbench sowie die Idee von SPI eingeführt. Anschließend wird die Analyse des Zeitverhaltens diskutiert. Zum Abschluss werden neue Ansätze zur Entwurfsraumexploration basierend auf dem SPI-Modell vorgestellt. Die in dem SPI-Projekt entstandenen Ergebnisse stellen über den Projektzeitraum hinaus eine wesentliche Grundlage für State-of-the-Art Forschung im Bereich Entwurf heterogener eingebetteter Systeme dar.