TAILIEUCHUNG - Digitale Hardware/ Software-Systeme- P26

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 .

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.