Klausuraufgaben zur Vorlesung Automatisierung 2 1. Harel ...
Klausuraufgaben zur Vorlesung Automatisierung 2 1. Harel ...
Klausuraufgaben zur Vorlesung Automatisierung 2 1. Harel ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Klausur <strong>Automatisierung</strong> IB601 und I5D31 3<strong>1.</strong><strong>1.</strong>2006 Seite 1 von 3<br />
<strong>Klausuraufgaben</strong> <strong>zur</strong> <strong>Vorlesung</strong> <strong>Automatisierung</strong> 2<br />
Prüfung IB601 und I 5D31<br />
Prüfer: Link<br />
Termin: 3<strong>1.</strong><strong>1.</strong>2006<br />
Beginn: 14:00 Uhr<br />
Dauer: 90 min<br />
Erreichbare Gesamtpunktezahl 103. Bewertungsgrundlage: Maximum 75 Punkte<br />
Das Beispiel im Anhang ist Grundlage für die konstruktiven Aufgaben in den Bereichen<br />
<strong>Harel</strong>-Automaten, Petri-Netze und SA/RT.<br />
<strong>1.</strong> <strong>Harel</strong>-Automaten 33 Punkte<br />
<strong>1.</strong> In welcher Reihenfolge werden die Zustände im unten dargestellten Automaten<br />
durchlaufen, wenn nacheinander die folgenden Ereignisse auftreten?<br />
Ereignisfolge1: e0 e1 e2 e3 e4 e5 e6<br />
Ereignisfolge2: e0 e1 e3 e4 e5 e6 e5<br />
5 Punkte.<br />
2. Wandeln Sie den folgenden <strong>Harel</strong>-Automat in einen Mealy-Automaten um.<br />
3 Punkte
Klausur <strong>Automatisierung</strong> IB601 und I5D31 3<strong>1.</strong><strong>1.</strong>2006 Seite 2 von 3<br />
3. Geben Sie die Zustandsfolge des nachstehenden verfeinerten Automaten bei der<br />
gegebenen Ereignisreihenfolge an.<br />
5 Punkte<br />
4. Modellieren Sie die Dynamik des Softwaresystems „Schengenschleuse“ (Spezifikation<br />
siehe Anlage) als hierarchischen <strong>Harel</strong>-Zustandsautomaten.<br />
20 Punkte<br />
2. Petri-Netze 45 Punkte<br />
<strong>1.</strong> Das folgende S/T-Netz sei gegeben.<br />
a) Geben Sie das Netz in vektorieller Darstellung an. 8 Punkte<br />
b) Zeigen Sie, ob die Markierungen [2,2,4,1,4,0] und [4,1,4,2,4,0] erreichbar sind. 10<br />
Punkte<br />
2. Konstruieren Sie für den nebenstehenden<br />
Zustandsautomaten das entsprechende B/E-<br />
Petri-Netz:<br />
Tip: Mit der vektoriellen Darstellung als B/E-<br />
Netz ganz einfach. 10 Punkte<br />
Modellieren Sie die Dynamik des Softwaresystems „Schengenschleuse“ als Petri-Netz.
Klausur <strong>Automatisierung</strong> IB601 und I5D31 3<strong>1.</strong><strong>1.</strong>2006 Seite 3 von 3<br />
3. Modellieren Sie die Steuersoftware für eine Tür im Normalbetrieb. 14 Punkte<br />
4. Erweitern Sie die Tür-Steuersoftware so, dass im Falle eines Alarms AF1 oder AF2<br />
die Tür sofort geschlossen wird. 30<br />
Punkte<br />
3. SA/RT 25 Punkte<br />
Modellieren Sie das Softwaresystem für die in der Anlage beschriebene „Schengenschleuse“.<br />
3.1 Kontextdiagramm 10 Punkte<br />
3.2 FD0 10 Punkte<br />
3.3 CSpec für FD0 5 Punkte<br />
3.1<br />
3.3