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