Zustandsautomat (endlicher Automat) ein Objekt, dessen Verhalten ...

Zustandsautomaten
Harel-Automaten: Nebenläufige Zustände
Eigenschaft:
Ein Oberzustand kann aus Unterzuständen bestehen, in denen sich das
System gleichzeitig befindet.
Beispiel
Y
A D
B
a
c
(in G)
C
e
E
G
Nebenläufigkeitsmarkierung
Oberzustand Y mit nebenläufigen Komponenten A und D
Eintritt in Y: System befindet sich gleichzeitig in B und F: (B,F).
„a“: Simultane Übergänge B nach C und F nach G: (B,F) -> (C,G).
„b“: (B,F) -> (B,E)
„c“: (in G) Übergang nur, wenn Komponente D in Zustand G.
Synchr.
Zustandsautomaten
Beispiel DGS
Wartephase
Suchphase
entry/ ok anzeigen
do/ a/c suchen
Flugzeug det.
[nicht gemeldeter Typ]
Flugzeugtypfehler
Entry/ Fehlermeldung
do/ Stop anzeigen
Exit/Display Reset
Fehlerquittierung
Init
b
d
a
F
Vorlesung Automatisierungsprojekte Seite 4/39
Initialisierung
entry/ Display Reset
do/ Parameter laden
exit/ a/c-Typ anzeigen
Flugzeug det. [gemeldeter Typ]
t > sched.arr. time
Überfälligfehler
Entry/ Fehlermeldung
do/ Stop anzeigen
Exit/Display Reset
Parameter: a/c-Modell, sched. arr. Time, Gate Modell
Trackingfehler
v Flugzeug < 0
Parameter
geladen
Markenerkennung ok
Selbsttest
Trackingphase
do/ Pos messen
und anzeigen;
v messen;
Status anzeigen
(Stop, too short,
too far)
exit/ on-block
Meldung, Bild
a/c lost
Pushback-Detektion
do/ Pos. messen;
v messen
Exit/ Pushback melden
Markenerkennung
zu schlecht
Selbsttestfehler
Chocks on
On-block phase
do/ Stop
anzeigen;
Pos.messen;
v messen;
exit/ Display Reset
Chocks off
Vorlesung Automatisierungsprojekte Seite 4/40