2.4 Kommunizierende endliche Automaten
73
sich bereits dort befinden sollte. Zu Beginn der Ausführung von SET wird implizit
ein RESET ausgeführt.
Beispiel 2.18: Abb. 2.34 zeigt die Verwendung eines Zeitgebers Z. Das Diagramm
entspricht dem in Abb. 2.26, mit dem Unterschied, dass der Zeitgeber Z beim Übergang von Zustand D in Zustand E auf den Wert der aktuellen Zeit now + T gesetzt
wird. Für die Transition von E nach A ist damit ein Timeout von T Zeiteinheiten
RESET(Z)
SET(now+T,Z)
Z
Timer Z;
Process S
A
g
w
B
E
x
h
B
C
i
y
D
E
j
D
E
f
v
A
A
Abb. 2.34 Benutzung des Zeitgebers Z
definiert. Wenn diese Zeit verstrichen ist, bevor das Signal f eintrifft, findet ein
Übergang in den Zustand A statt, bei dem kein Ausgabesignal v erzeugt wird. Eine
streng periodische Verarbeitung mit einer Periode T ist auf diese Weise schwer zu
erreichen, weil die anderen Einträge in der Eingabewarteschlange die Ausführung
verzögern können.
∇
Beispiel 2.19: SDL kann verwendet werden, um Protokollstapel in Rechnernetzwerken zu beschreiben. Abb. 2.35 zeigt drei Prozessoren, die durch einen Router verbunden werden. Die Kommunikation zwischen Prozessoren und dem Router basiert
Abb. 2.35 Kleines
Rechnernetz,
beschrieben
in SDL
Prozessor C
Prozessor B
Router
Prozessor A
System
C1
C3
C2
auf FIFO-Warteschlangen. Damit bietet SDL einen eingebauten Kommunikationsmechanismus, der realen Netzwerkprotokollen entspricht.