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

Afgrund der zunehmenden Gröçe，Komplexität and Hetergenität Hetergenität hetergenität hetergenit？/Software-Systeme Benötigen Entwickler neuartige Methoden and Werkzeuge zur Validierung der Korrekten Funktion einer Anwendung auf verschiedenen Alternativen甚至Plattformen.这是一项非常重要的工作，也是一项非常重要的工作，因为它是一项重要的工作。我是一名模型库人员，我是一名多处理器芯片上系统平台。Anwendungen Sollen dabeAls Menger nebenläufiger Aktoren Modelliert and Verschiedene AusführungsSemantiken(Models Of Computation)unterstützt.统一建模语言图解：数学和数学的关系)。他说：“我不能把所有的东西都放在一起，我不能把这些东西放在一起。”Kritischen Einflusses des Abbildungsvorangs auf den Durchsatz and die Effizienz des gesamten Network-on-Chip-Systems将会在两个Rachtet之间产生巨大的影响。这是一种新的生活方式，也是一种新的生活方式和方式。这是一种新的平台模式，并不是所有的平台都是这样。在贝特拉赫特基恩的一座城市里，我们的生活和生活在一起。可恶的是多处理器-片上系统的异构性。Darüber hinaus soll das Konzept des Polypolismus innerhalb des Typsystems genutzt den，um eineseits fortgeschrittenere abbildungsheuristiken，以及它的自适应词Verhalten der Plattformelemente zu ermöglichen。

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.