Download Volltext
Transcript
6.4 Framer 200 R² = 0,9954 Laufzeit in Sekunden 160 120 80 40 R² = 0,9937 0 6000 12000 18000 24000 30000 Rahmenlänge in Takten Automatenkonstruktion Gesamtlaufzeit y = 0,3968x - 313,79 y = 6,1921x + 15828 Abbildung 6.8: Laufzeit der Synthese des Framers mit unterschiedlichen Rahmenlängen. 6.4.4 Verbesserungen In dieser Fallstudie ist es ein Nachteil von Beschreibungen mittels ITLEigenschaften, dass gleiches oder ähnliches Verhalten in allen Operationen, die dieses Verhalten auslösen, immer wieder beschrieben werden muss. Zur Verminderung dieses Problems werden Makros eingesetzt, die durch mehrmaligen Aufruf sowohl den Beschreibungs- als auch Wartungsaufwand des Kodes verringern. Eine weitere Möglichkeit sind temporale Makros, die es erlauben mehrere Signalzuweisungen zu gruppieren. In vhisyn sind temporale Makros allerdings nicht implementiert, sodass dieses Feature im Framer nicht verwendet werden kann. Eine dritte Möglichkeit eine besser wartbare und kompaktere Beschreibung zu erstellen, wären abstrakte Eigenschaften, die mit Hilfe von Ableitung anderen Eigenschaften Funktionalität bereitstellen können. Sowohl Ableitungen, als auch temporale Makros können synthetisiert werden, ohne dass die grundlegenden Algorithmen in vhisyn davon beeinflusst werden. 171
Related documents