TAILIEUCHUNG - Digitale Hardware/ Software-Systeme- Part 5

Digitale Hardware/ Software-Systeme- P5: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. | Ausführbare Verhaltensmodelle 71 drei unterschiedlichen Aktionen copyStore copyInput und copyApprox und einem endlichen Automaten M mit zwei Zuständen start und stop . Mit Hilfe der Funktion copyStore wird ein neuer Wert von dem FIFO-Kanal der Quelle src gelesen und in der Variablen tmp_i0 gespeichert. Weiterhin wird dieser Wert auf den Ausgangsport geschrieben welcher mit dem approx-Aktor verbunden ist. Die Funktion copyInput kopiert für den approx-Aktor den gespeicherten Wert aus der Variablen tmp_i0. Schließlich kopiert die Funktion copyApprox das Ergebnis vom dup-Aktor zum sink-Aktor. Die Aktionen copyStore copyInput und copyApprox können auf die angeschlossenen Kanale zugreifen. Die Verbindungen zu den Ports sind nicht eingezeichnet. Die Zustandsübergange werden im Konstruktor des Aktors definiert wobei im Gegensatz zu FunState auch geprüft werden kann ob ein Speicherelement genügend freie Speicherplatze zum Schreiben besitzt sollten diese beschrankt sein. So kann beispielsweise vom Zustand start in den Zustand loop gewechselt werden sofern von der Quelle src mindestens ein Datum zur Verfügung gestellt wurde i0 1 und ein Datum in den FIFO-Kanalen zum approx-Aktor geschrieben werden kann o1 1 . Bei diesem Zustandsübergang wird die Funktion copyStore ausgeführt. Neben der Anzahl der Marken bzw. freien Speicherplatze konnen auch sog. Wächterfunktionen engl. guards Funktionen mit einem Booleschen Rückgabewert die den Zustand eines SysteMoC-Modells nicht andern als Bedingung berücksichtigt werden. Die Wachterfunktionen konnen somit die mit Marken assoziierten Werte beziehungsweise einen internen Aktorzustand überprüfen. Eine Wachterfunktion im SqrRoot-Aktor ist die Funktion check welcher die Genauigkeit des Ergebnisses überprüft. Ist das Ergebnis zu ungenau verbleibt der Aktor im Zustand loop und wartet auf eine neue genauere Approximation. Ist jedoch die Abweichung der Berechnung von der tatsachlichen Quadratwurzel kleiner als eine vorgegebene Schranke so wird

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.