Ziele

Die im Rahmen des Projekts erforschten Methoden adressierten die Herausforderungen im Entwurf verteilter mikroelektronischer Systeme oberhalb der Ebene von SoCs und NoCs (Systemverbünde aus vernetzten Subsystemen). Schwerpunkte bildeten dabei neue Spezifikationsmethoden für verteilte Systeme, Methoden zur automatisierten Ableitung von optimierten Verbindungstopologien für gegebene Applikationen sowie die Erforschung von Verfahren zur Performanz- und Kommunikationsanalyse für eine automatisierte Dimensionierung und Parametrierung der Verbindungsstruktur. Weitere Schwerpunkte lieferten die Berücksichtigung von Randbedingungen der Systemumgebung in der Modellierungsphase, die automatisierte Ableitung virtueller Prototypen aus abstrakten Systemmodellen sowie neue Ansätze zur Verifikation von Modellen über Domänen- und Abstraktionsgrenzen hinweg. Lösungsansätze für die genannten Fragestellungen werden zukünftig die Integration von Systemen in ihre vernetzte Umgebung deutlich erleichtern und so den Prozess des „System Engineering“ wesentlich vereinfachen.

Die im Projekt adressierten Defizite und daraus abgeleiteten wissenschaftlichen/technischen Ziele liessen sich in folgende Schwerpunktbereiche untergliedern:

• Es wurden Modellierungsansätze untersucht, die eine ganzheitliche Sicht auf die vernetzten Systeme bereits in frühen Entwurfsphasen unterstützen und so die Grundlage für Verfahren zur automatisierten Determinierung einer optimierten Kommunikationstopologie bilden.

• Es wurden Ansätze zur methodischen Analyse des Kommunikationsverhaltens verteilter mikroelektronischer Systeme erforscht, die eine Bewertung von Kommunikationstopologien in einer frühen Phase des Systementwurfsprozesses unterstützen.

• Es wurden Verfahren erforscht, die eine Verifikation von Implementierungsmodellen der beteiligten Subsysteme im abstrakten verteilten Gesamtsystemmodell ermöglichen, damit Integrationsfehler frühzeitig aufdecken und so die bestehende Verifikationslücke schließen.

• Die erforschten Ansätze zur ganzheitlichen Erfassung verteilter Szenarien wurden in eine Entwurfsmethodik integriert, der unter Ausnutzung der konkreten Kenntnis von Applikation und Anforderungen hochgradig anwendbare Designflows für verteilte mikroelektronische Systeme der deutschen Schlüsseltechnologien Automobil und Mobilkommunikation liefert.