136
2 Spezifikation und Modellierung
2.2: Warum könnte es bei der Ausführung unserer Spezifikation zu Verklemmungen
(engl. Deadlocks) kommen?
2.3: Was ist ein Berechnungsmodell (engl. Model of Computation (MoC))?
2.4: Was ist ein Job und was unterscheidet ihn von einer Task?
2.5: Welche beiden Schlüsseltechniken gibt es für die Kommunikation in Rechnern?
2.6: Welche Techniken können benutzt werden, um erste Ideen für ein zu entwerfendes System zu erfassen?
2.7: Simulieren Sie den Zugverkehr zwischen Paris, Brüssel, Amsterdam und Köln
mit der levi Simulationssoftware [498]! Modifizieren Sie die vorhandenen Beispiele
so, dass zwischen je zwei Bahnhöfen immer zwei Gleise existieren und zeigen Sie
einen beliebigen Ablaufplan (engl. Schedule) für zehn Züge!
2.8: Laden Sie die OpenModelica ™ Simulations-Software herunter. Entwickeln Sie
ein Simulationsmodell für Newton’s cradle (siehe z.B. https://en.wikipedia.org/wiki/
Newton%27s_cradle).
2.9: Modifizieren Sie den Anrufbeantworter aus Beispiel 2.8 so, dass der Eigentümer
jederzeit während des Abspielens der Ansage oder des Aufnehmens des Anrufers
den Anruf entgegennehmen kann.
2.10: Modellieren Sie Ihre täglichen Aktivitäten mit einem zeitbehafteten Automaten! Stunden sollen einer Variablen h entsprechen, Tage einer Variablen d, wobei
d = 1 der Montag sein soll und d = 7 der Sonntag.
An einem Wochenende verlassen Sie den schlafenden Zustand zwischen h = 10
und h = 11, verbringen 1-2 Stunden mit der Vorbereitung des Tages, bleiben bei
einem Freund bis zu einer Zeit zwischen h = 20 und h = 21, gehen nach Hause und
schlafen zwischen h = 22 und h = 23 ein. In der Woche (d ∈ [1..5]) wachen Sie
zwischen h = 7 und h = 8 auf, verbringen 1-2 Stunden mit der Vorbereitung des
Tages, studieren bis zu einer Zeit zwischen h = 20 und h = 21, gehen nach Hause
und schlafen zwischen h = 22 und h = 23 ein. d muss am Ende eines Tages erhöht
werden.
2.11: Gegeben sei das StateCharts-Modell von Abb. 2.77 (links). Weiterhin sei
folgende Sequenz von Eingaben gegeben: b c f h g h e a b c. Markieren Sie im
Diagramm von Abb. 2.77 (rechts) alle Zustände, in denen sich das StateChartsModell befindet, nachdem die angegebene Eingabe anliegt! H kennzeichnet hier den
History-Mechanismus.
2.12: Sind StateCharts unter Verwendung der StateMate-Semantik deterministisch?
Erklären Sie Ihre Antwort!
2.13: Ist die Sprache SDL deterministisch? Erklären Sie die Antwort!
2 Spezifikation und Modellierung
2.2: Warum könnte es bei der Ausführung unserer Spezifikation zu Verklemmungen
(engl. Deadlocks) kommen?
2.3: Was ist ein Berechnungsmodell (engl. Model of Computation (MoC))?
2.4: Was ist ein Job und was unterscheidet ihn von einer Task?
2.5: Welche beiden Schlüsseltechniken gibt es für die Kommunikation in Rechnern?
2.6: Welche Techniken können benutzt werden, um erste Ideen für ein zu entwerfendes System zu erfassen?
2.7: Simulieren Sie den Zugverkehr zwischen Paris, Brüssel, Amsterdam und Köln
mit der levi Simulationssoftware [498]! Modifizieren Sie die vorhandenen Beispiele
so, dass zwischen je zwei Bahnhöfen immer zwei Gleise existieren und zeigen Sie
einen beliebigen Ablaufplan (engl. Schedule) für zehn Züge!
2.8: Laden Sie die OpenModelica ™ Simulations-Software herunter. Entwickeln Sie
ein Simulationsmodell für Newton’s cradle (siehe z.B. https://en.wikipedia.org/wiki/
Newton%27s_cradle).
2.9: Modifizieren Sie den Anrufbeantworter aus Beispiel 2.8 so, dass der Eigentümer
jederzeit während des Abspielens der Ansage oder des Aufnehmens des Anrufers
den Anruf entgegennehmen kann.
2.10: Modellieren Sie Ihre täglichen Aktivitäten mit einem zeitbehafteten Automaten! Stunden sollen einer Variablen h entsprechen, Tage einer Variablen d, wobei
d = 1 der Montag sein soll und d = 7 der Sonntag.
An einem Wochenende verlassen Sie den schlafenden Zustand zwischen h = 10
und h = 11, verbringen 1-2 Stunden mit der Vorbereitung des Tages, bleiben bei
einem Freund bis zu einer Zeit zwischen h = 20 und h = 21, gehen nach Hause und
schlafen zwischen h = 22 und h = 23 ein. In der Woche (d ∈ [1..5]) wachen Sie
zwischen h = 7 und h = 8 auf, verbringen 1-2 Stunden mit der Vorbereitung des
Tages, studieren bis zu einer Zeit zwischen h = 20 und h = 21, gehen nach Hause
und schlafen zwischen h = 22 und h = 23 ein. d muss am Ende eines Tages erhöht
werden.
2.11: Gegeben sei das StateCharts-Modell von Abb. 2.77 (links). Weiterhin sei
folgende Sequenz von Eingaben gegeben: b c f h g h e a b c. Markieren Sie im
Diagramm von Abb. 2.77 (rechts) alle Zustände, in denen sich das StateChartsModell befindet, nachdem die angegebene Eingabe anliegt! H kennzeichnet hier den
History-Mechanismus.
2.12: Sind StateCharts unter Verwendung der StateMate-Semantik deterministisch?
Erklären Sie Ihre Antwort!
2.13: Ist die Sprache SDL deterministisch? Erklären Sie die Antwort!