Anwendungsmodellierung und -abbildung auf Multiprozessor-System-on-Chip-Plattformen

Aufgrund der zunehmenden Größe，Komplexität und Heterogenität heutiger Hardware- /Software-Systeme benötigen Entwickler neuartige Methoden und Werkzeuge zur Validierung der korrekten Funktion einer Anwendung auf versedenen alternativen Plattformen.这种验证需要在Entwurfsprozess中找到理想的方法，通过Entwurfsraum analysieren können的Entwickler来分析，因为它们可以提供最好的Prozessorarchititektur或Hardwareimplementerung festlegen müssen。在先进的Antrag将是一个基于模型的Antrag，用于在多处理器片上系统平台上进行编译。Anwendungen sollen dabei als Menge nebenläufiger Aktoren modelliert und verzedene Ausführungssemantiken（Models of Computation）unterstützt韦尔登。UML-Diagramme sollen die Kommerkation und Synchronisation der Aktoren untereinander mittels zwei Konzepten regeln：Typisierung und Ordnung（im Sinne einer mathematischen Ordnungsrelation）. Zielplattform soll ebenfalls with Aktoren modelliert韦尔登，Typen aber zur Kennzeichnung der von jedem einzelnen Element bereitgestellten Funktionalität verwenden.芯片制造商对芯片制造商的批评影响和芯片网络系统的效率将使芯片制造商成为一个竞争对手。Ziel ist es deshalb，Entwickler dabei zu unterstützen，aus einer Reihe von staticchen und dynamischen Abbildungsheuristiken die für eine bestimmte Anwendung geeignetste auszuwählen. Anwendungs的类型系统和平台模型都是通用的韦尔登，它们是由一个平台元素的Aktoren构建的。这是一个很好的韦尔登测试，这个测试在Betracht中非常有效。Damit wird der Heterogenität zukünftiger Multiprozessor-Systems-on-Chip Rechnung getragen.因此，我们认为韦尔登的内部多态性是一个共同的概念，它可以增强系统的稳定性，并使其自适应于平台元件的稳定。

Aufgrund der zunehmenden Größe, Komplexität und Heterogenität heutiger Hardware- /Software-Systeme benötigen Entwickler neuartige Methoden und Werkzeuge zur Validierung der korrekten Funktion einer Anwendung auf verschiedenen alternativen Plattformen. Diese Validierung sollte idealerweise so früh im Entwurfsprozess wie möglich geschehen, damit die Entwickler den Entwurfsraum analysieren können, bevor sie sich auf eine bestimmte Prozessorarchitektur oder Hardwareimplementierung festlegen müssen. Im vorliegenden Antrag wird ein modellbasierter Ansatz zur Bewertung der Abbildung von Anwendungen auf Multiprozessor-System-on-Chip-Plattformen vorgestellt. Anwendungen sollen dabei als Menge nebenläufiger Aktoren modelliert und verschiedene Ausführungssemantiken (Models of Computation) unterstützt werden. UML-Diagramme sollen die Kommunikation und Synchronisation der Aktoren untereinander mittels zwei Konzepten regeln: Typisierung und Ordnung (im Sinne einer mathematischen Ordnungsrelation). Die Zielplattform soll ebenfalls mit Aktoren modelliert werden, Typen aber zur Kennzeichnung der von jedem einzelnen Element bereitgestellten Funktionalität verwenden. Angesichts des kritischen Einflusses des Abbildungsvorgangs auf den Durchsatz und die Effizienz des gesamten Network-on-Chip-Systems wird die Wahl geeigneter Abbildungsheuristiken selbst bereits als eine Entwurfsentscheidung betrachtet. Ziel ist es deshalb, Entwickler dabei zu unterstützen, aus einer Reihe von statischen und dynamischen Abbildungsheuristiken die für eine bestimmte Anwendung geeignetste auszuwählen. Das Typsystem des Anwendungs- und des Plattformmodells soll genutzt werden, um die Zuordnung von Aktoren an Plattformelemente einzuschränken. Es sollen Abbildungsheuristiken betrachtet werden, die diese Einschränkungen in Betracht ziehen können. Damit wird der Heterogenität zukünftiger Multiprozessor-Systems-on-Chip Rechnung getragen. Darüber hinaus soll das Konzept des Polymorphismus innerhalb des Typsystems genutzt werden, um einerseits fortgeschrittenere Abbildungsheuristiken, andererseits selbstadaptives Verhalten der Plattformelemente zu ermöglichen.