Digitale Hardware/ Software-Systeme- P26:Getrieben durch neue Technologien und Anwendungen wird der Entwurf eingebetteter Systeme zunehmend komplexer. Dabei ist eine Umsetzung als Hardware/Software- System heutzutage der Stand der Technik. Die Minimierung von Fehlern im Entwurf dieser Systeme ist aufgrund deren Komplexit¨at eine der zentralen Herausforderungen unserer heutigen Zeit. | 494 8 Systemverifikation Beispiel . Die Funktionsweise einer VPC sowie die Kopplung mit einem Syste-MoC-Aktor ist in Abb. dargestellt. Auf der linken Seite in Abb. sieht man die Aktivierungen des SysteMoC-Aktors a0. Die Laufzeit der Simulation steigt dabei nach unten an. Man beachte dass in Abb. zwei Zeitskalen verwendet werden Zum einen die Laufzeit der Simulation zum anderen die simulierte Zeit. Es werden nacheinander die Funktionen f0 f1 f0 f3 und f2 aktiviert. Die Berechnung der Funktionen benötigt jeweils den grau schraffierten Bereich an Simulationszeit. Man sieht dass nach jeder Berechnung einer Funktion die VPC DSP aufgerufen wird und währenddessen die Ausführung des Aktors a0 blockiert ist. simulierte Zeit Laufzeit der Simulation 100 8 100 8 200 8 100 8 100 8 300 8 100 8 Abb. . Kombinierte Verhaltens- und Zeitsimülatiön Die VPC gibt den Aufruf an einen assoziierten Scheduler mit FCFS-Algorithmus engl. First Come First Served weiter. Der Scheduler kennt die geschatzten Ausführungszeiten des Aktors und simuliert die entsprechende Zeit durch eine wait-Anweisung in SystemC. Die simulierte Zeit wachst in Abb. ebenfalls nach unten an. Erst danach gibt der Scheduler über die VPC die Kontrolle an den Aktor a0 zurück. Hierdurch kann der Aktor seinen neuen Zustand einnehmen und die Daten von den Eingangsports konsumieren und auf den Ausgangsports produzieren. Anschließend kann der Aktor gegebenenfalls die nachste Funktion ausführen. Man beachte dass eine VPC so konfiguriert werden kann dass jede Funktion eine andere Ausführungszeit erhalt. Es ist sogar moglich dass diese Ausführungszeit abhangig von dem Berechnungspfad der Funktion dynamisch gesetzt wird. Weiterhin Zeitanalyse auf Systemebene 495 können die Verzogungszeiten von Wachterfunktionen engl. guards die als Bedingungen an Zustandsubergangen annotiert sind ebenfalls mit Hilfe von VPCs simuliert werden. Um die oben beschriebene Ausführungssemantik aber nicht unnotig .
