Zustandsautomat (endlicher Automat) ein Objekt, dessen Verhalten ...
Zustandsautomat (endlicher Automat) ein Objekt, dessen Verhalten ...
Zustandsautomat (endlicher Automat) ein Objekt, dessen Verhalten ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
<strong>Zustandsautomat</strong>en<br />
Übung 2<br />
Modellieren Sie folgende ver<strong>ein</strong>fachte Aufzugsteuerung als Harel-<strong>Automat</strong>:<br />
Der Aufzug fährt zwischen zwei Stockwerken S1 und S2. Dort gibt es jeweils<br />
<strong>ein</strong>en Druckknopf D1 und D2, mit dem der Aufzug angefordert werden kann<br />
sowie <strong>ein</strong>e Tür T1 bzw. T2 zum Betreten des Aufzugs mit jeweils <strong>ein</strong>er<br />
Lichtschranke L1 und L2, welche Menschen in der Tür detektieren, und den<br />
Sensoren T1z bzw. T2z und T1o bzw. T2o, der signalisiert, ob die jeweilige Tür<br />
zu oder offen ist. In jedem Stockwerk ist <strong>ein</strong> Niveausensor N1 bzw. N2, der <strong>ein</strong><br />
Signal gibt, wenn der Kabinen- und der Stockwerkboden auf gleicher Höhe sind.<br />
In der Aufzugkabine befindet sich <strong>ein</strong> Druckknopf F, mit dem die Fahrt veranlasst<br />
werden kann.<br />
In Bereitschaft steht der Aufzug mit geöffneter Tür in S1. Wird F gedrückt, wird<br />
die Tür geschlossen und der Aufzug fährt danach nach S2. Nach Erreichen von<br />
S2 wird die Tür geöffnet. Wird danach wiederum F gedrückt, läuft der Vorgang<br />
umgekehrt ab. Sonst wartet der Aufzug mit geöffneter Tür in S2.<br />
Steht der Aufzug mit geöffneter Tür in <strong>ein</strong>em Stockwerk und wird dann der<br />
Anforderungs-Druckknopf des anderen Stockwerks gedrückt, läuft der Vorgang<br />
analog wie oben ab.<br />
Wenn die Lichtschranke <strong>ein</strong>er schließenden Tür anspricht, wird der<br />
Schließvorgang abgebrochen und die Tür wieder geöffnet.<br />
<strong>Zustandsautomat</strong>en<br />
Übung 2<br />
Lösung:<br />
F gedrückt<br />
D2 gedrückt<br />
L1<br />
Tür1 schließt T1o Tür1 öffnet<br />
T1z<br />
Aufzug fährt<br />
nach S2<br />
N1<br />
Vorlesung <strong>Automat</strong>isierungsprojekte Seite 4/43<br />
Tür2 öffnet<br />
Wartet in S1<br />
T2o<br />
T1o<br />
Wartet in S2<br />
Tür 1 öffnet<br />
Aufzug fährt<br />
nach S1<br />
Tür2 öffnet T2o Tür2 schließt<br />
L2<br />
D1 gedrückt<br />
F gedrückt<br />
T2z<br />
Vorlesung <strong>Automat</strong>isierungsprojekte Seite 4/44<br />
N2
Change language