Systeme hoher Sicherheit und Qualität

In diesem Übungsblatt betrachten wir SysML Diagramme welche aus dem Buch "SysML for Systems Engineering" stammen. Alle Beispiele sind Kapitel 5 ("The SysML Notation") entnommen und können bei Bedarf hier im Kontext betrachtet werden.

Aufgabe 1: Block Definition Diagram

Welche Aussagen sind wahr?

• Alle Handcuffs bestehen (Komposition) aus jeweils zwei Wrist Cuff und einer Hand Linkage.
• Jede Leg Linkage ist Teil einer Connecting Linkage.
• Eine Connecting Linkage gehört (Aggregation) jeweils zu 1 Handcuffs und 1 Leg Irons.
• Jeder Leg Linkage können auf eindeutige Weise 2 Wrist Cuff zugeordnet werden.
• Es gibt genau zwei Ankle Cuffs.

Aufgabe 2: State Diagram

Welche Aussagen sind wahr?

• Die Pumpe ist initial im Zustand starting
• Wenn im Zustand starting das Ereignis start auftritt, geht die Pumpe in den Zustand working über.
• Immer wenn das Ereignis reverse Auftritt, wird die Pumpenrichtung auf Reverse gewechselt.
• Immer wenn die Pumpenrichtung (CurrentDirection) geändert wird, wird die Pumpe vorher gestoppt (stopPump).
• Das System kann ohne das Ereignis flush in den Endzustand übergehen.

Aufgabe 3: Activity Diagram

Welche Aussagen sind wahr?

• Der Assistent fängt an, wenn das externe Signal Start escape empfangen wird.
• Der Assistent startet den Timer in jedem Fall nachdem er das Signal Start escape empfangen hat.
• In Jedem Fall wird, nachdem der Timer gestartet wurde, der Sarg beobachtet.
• Die Aktivität Watch coffin kann beliebig oft oder gar nicht ausgeführt werden.
• Am Ende wird immer entweder Angeklatscht (Encourage applause) oder das Signal Emergency versendet.

Aufgabe 4: Sequence Diagram

Welche Aussagen sind wahr?

• Der Assistent startet zunächst den Pump Controller indem er die Nachricht start sendet.
• Nachdem der Pump Controller gestartet wurde, wird irgendwann die Pumpenrichtung umgedreht (pumpReverse).
• Nachdem der Pump Controller gestartet wurde, wird irgendwann die Pumpe gestoppt (stopPump).
• Wenn die Aussage "Emergency = FALSE" wahr ist, wird immer im nächsten Schritt der Sequenz die Pumpe gestoppt.
• Der Pump Controller leitet die Signale stop und reverse an die Pumpe weiter.

Abgabe

Es werden keine Daten übertragen. Per Klick auf "Ergebnis speichern" kann eine Datei gespeichert werden, welche die eingegebenen Ergebnisse enthält. Diese Datei sendet ihr bitte rechtzeitig bis Dienstag 23:59:59 an martin (punkt) ring (klammeraffe) dfki (punkt) de. Ihr könnt eure Abgabe später auch wieder laden und ansehen indem ihr auf "Ergebnis laden" klickt.