Klausuraufgaben zur Vorlesung Automatisierungsprojekte 1 ...

Klausur Automatisierungsprojekte I6B01, I6B03, I5D31 und I5D33 27.1.2009 Seite 2 von 3
4. Gegeben sei folgender Zustand:
a) Durch welche minimale Ereignisfolge (kleinste Anzahl an Ereignissen)
kann der Zustand 2.B eingenommen werden?
5 Punkte
Lösung: E3.2, E3.1, E1.2, E1.3, E1.1, E2.1, E2.2
b) Wie oft kann nach der Initialisierung der Zustand 3.B maximal durchlaufen werden,
bevor Ereignis E2.2 eintritt? Begründung.
3 Punkte
Lösung: Fünf mal. Der nebenläufige Automat links oben kann maximal drei mal
laufen, bis der Synch-Pseudozustand zum oberen rechten Automaten gefüllt ist und
dieser keinen weiteren Durchlauf erlaubt, bevor nicht E2.2 eintritt. Für jeden dieser
Durchläufe kann der untere Automat einmal laufe, ferner noch zwei mal, bevor der
Synch des unteren mit dem linken oberen Automaten gefüllt ist.
5. Modellieren Sie den nachfolgend beschriebenen Kaffee-Verkaufsautomaten
„Kaffomat“ als Harel-Zustandsautomat oder Statechart.
15 Punkte
In Bereitschaft wartet der „Kaffomat“ auf die Auswahl eines Getränks. Während des
Wartens eingeworfene Münzen werden sofort zurückgegeben. Die Auswahl erfolgt
durch Drücken einer der „Getränk-Tasten“. Dann kassiert der „Kaffomat“ den
entsprechenden Kaufpreis. Er nimmt dabei Münzen an, deren Wert von der
„Prüfeinrichtung“ hinter dem Münzeinwurf bestimmt wird. Der jeweils noch zu
bezahlende Betrag wird angezeigt. Sobald der Kaufpreis erreicht oder überschritten ist,
wird der Überzahlungsbetrag zurückgezahlt und das gewählte Getränk ausgegeben.
Wenn das Getränk entnommen wurde, soll der Kaffomat zur Auswahl zurückkehren.