Rapid-Prototyping ereignisgesteuerter Systeme

Lösungsanktheht zunächst aus einem Ereignisflußmodell einem zugehörigen parallelen Architekturmodell. Das Ereignisflußmodell erlaubt es，die Systemfunction entsprechend den geforderten Reaktionszeiten und Ereignisabständen zerlegen und auf untermannedliche Komponenten abzubilden，die sich entweder für hohe Zeitanforderungen oder für komplexere Operationen eignen. Ereignisflußmodell gestattet den formalen Nachweis der Einhaltung der geforderten Ereignisabstände und Reaktionszeiten，sofern das Laufzeitverhalten der Einzelkomponenten vorliegt. Die Möglichkeit der Zerlegung einer reaktiven Systemfunktion unter verifizierbarem Zeitverhalten bildet nun im zweiten Schritt die Grundlage eines compositorischen Ansatzes. Dabei wird eine Bibliothek von gebräuchlichen Architekturkomponenten reaktiver Systeme angelegt，Bzw mit Zählern. "捕获和比较“功能）和Schieberegistern（串-并行-Umsetzung）由Schaltnetze和Schaltwerksautomaten组成，由一个寄存器传输-Beschreibung合成韦尔登，bis hin zu einfachen Mikrochern，wie dem PIC。这种建筑结构的部件可以通过韦尔登的方式得到综合和局部的效果，因此最大限度地提高了单个部件的效果。在时代批评的背景下，快速以太网-Schnittstelle技术可以被韦尔登使用，只需要使用这些组件。功能上，在Mikrokenern或der synthetisierten Schaltwerksautomaten implementiert韦尔登，können weitgehire unverändert auf die Architekturkomponenten abgebildet韦尔登，während an den zeitkritischen Stellen eine Anpassung an die generischen Bibliotheksmodule erforderlich ist.该Entwurfsaufwand konzentriert sich也auf the kritischen Stellen，wobei stets ein Systemmodell zusammenhängendes Systemmodell erhalten bleibt.作为一个重要的工具，我们使用MATLAB/SIMULINK-System开发了一个用于系统功能建模和仿真的软件系统。该项目将在资源共享的基础上建立一个综合图书馆，并对现有建筑进行优化。Zum Abschluß将在Zusammenarbeit与埃尔兰根大学和慕尼黑工业大学一起进行演示。

Der Lösungsansatz besteht zunächst aus einem Ereignisflußmodell einem zugehörigen parallelen Architekturmodell. Das Ereignisflußmodell erlaubt es, die Systemfunktion entsprechend den geforderten Reaktionszeiten und Ereignisabständen zu zerlegen und auf unterschiedliche Komponenten abzubilden, die sich entweder für hohe Zeitanforderungen oder für komplexere Operationen eignen. Das Ereignisflußmodell gestattet den formalen Nachweis der Einhaltung der geforderten Ereignisabstände und Reaktionszeiten, sofern das Laufzeitverhalten der Einzelkomponenten vorliegt. Die Möglichkeit der Zerlegung einer reaktiven Systemfunktion unter verifizierbarem Zeitverhalten bildet nun im zweiten Schritt die Grundlage eines kompositorischen Ansatzes. Dabei wird eine Bibliothek von gebräuchlichen Architekturkomponenten reaktiver Systeme angelegt, beginnend mit Zählern (bzw. ``Capture-and-Compare''- Funktionen) und Schieberegistern (seriell-parallel-Umsetzung) über Schaltnetze und Schaltwerksautomaten, die aus einer Register-Transfer-Beschreibung synthetisiert werden, bis hin zu einfachen Mikrocontrollern, wie dem PIC. Diese Architekturkomponenten können getrennt synthetisiert und lokal mit kurzen Verbindungswegen plaziert werden, so daß hohe maximale Taktraten vor allem der einfachen Komponenten resultieren. Dies konnte am Beispiel des zeitkritischen Teils einer Fast-Ethernet-Schnittstelle gezeigt werden, der nur mit diesen Komponenten erzeugt wurde. Funktionen, die auf Mikrocontrollern oder synthetisierten Schaltwerksautomaten implementiert werden, können weitgehend unverändert auf die Architekturkomponenten abgebildet werden, während an den zeitkritischen Stellen eine Anpassung an die generischen Bibliotheksmodule erforderlich ist. Der Entwurfsaufwand konzentriert sich also auf die kritischen Stellen, wobei stets ein Systemmodell zusammenhängendes Systemmodell erhalten bleibt. Als sehr vorteilhaft erweist sich die Möglichkeit, das verbreitete Entwurfssystem MATLAB/SIMULINK-System für die Eingabe und Simulation der Systemfunktion zu nutzen. Der kommende Projektzeitraum soll sich zum einen mit einem Ausbau der Komponentenbibliothek, zum anderen mit der Optimierung der entstehenden Architektur durch Resource-Sharing befassen. Zum Abschluß wird in Zusammenarbeit mit der Universität Erlangen und der TU München ein Demonstrator erstellt.