Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

wird - sofern möglich - eben diese Strategie verfolgt und versucht, sämtliche zur Ausführung
nötigen Statements durch entsprechende UML-Aktionen abzubilden. Ist dies nicht möglich, so
werden die fehlenden Statements durch C++-Code ergänzt, der an das Rhapsody-Framework
angepasst ist.
5.1.4.4.5. Modellierung der Systemverhaltenssicht in der SysML
Entgegen dem Vorgehen in den anderen Kapiteln soll der Fokus dieses Unterabschnittes nicht
so sehr auf einer Diskussion der einzelnen Notationselemente liegen, sondern eher auf der Beschreibung
einzelner Modellierungsmuster (also von Gruppen einzelner Notationselemente) für
wichtige, immer wiederkehrende Problemstellungen. Dies liegt zum einen darin begründet, dass
sowohl Aktivitäts-, als auch Zustandsdiagramme eine Vielzahl von Notationselementen aufweisen.
Je nach Aufgabenstellung ist eine andere Untermenge dieser Notationselemente sinnvoll,
weswegen keine einfache Unterscheidung in geeignete und ungeeignete Sprachelemente möglich
ist. Daher enthält die Sprachdefinition der SysML(A) auch alle verhaltensspezifizierende
Elemente der UML bzw. SysML. Zum anderen ist es gerade auf Grund dieser Komplexität sinnvoll,
Hinweise zu geben, welche Entwurfsmuster sich in der Modellierungspraxis bewährt haben
und daher bei der Erstellung der Verhaltensmodelle bevorzugt werden sollten. Dabei wird berücksichtigt,
dass entsprechend den Aussagen aus dem vorherigen Kapitel möglichst viele der
UML/SysML-Aktionen verwendet werden, um den Einsatz einer Aktionssprache möglichst zu
vermeiden.
Senden von Signalen
Eine besondere Charakteristik reaktiver Systeme ist die Kommunikation zwischen Systembestandteilen
untereinander und von Systembestandteilen und der Systemumgebung. Wie bereits
bei der Beschreibung der Systemabgrenzung dargelegt, erfolgt die ereignisorientierte Kommunikation
dabei über Ports und Signale. Für jeden Signalempfang und jede Aussendung eines
Signals lässt sich genau ein diskreter Zeitpunkt bestimmen.
Das Aussenden von Signalen aus einem Verhaltensmodell heraus ist typischerweise dann erforderlich,
wenn in einem Umgebungsobjekt oder einer Systemkomponente eine Aktion ausgelöst
werden soll. Anwendungsfälle im Eisenbahnwesen für dieses Modellierungskonstrukt könnten
sein:
• Senden des Einschaltanstoßes vom Einschaltkontakt an die Bahnübergangssicherungsanlage
• Auslösen einer Zwangsbremsung durch die Zugbeeinflussung mittels Senden eines entsprechenden
Signals an die Bremseinwirkbaugruppe
• Auch möglich ist die Darstellung der Zustandsänderung von Komponenten. So ließe sich
beispielsweise die Fahrtstellung eines Hauptsignalbildes durch das Senden eines (UML-
Signals) vom Hauptsignal-Objekt zum Akteur des Triebfahrzeugführers mit dem Parameter
„Aktuelles Signalbild = Ks1” modellieren.
Nicht geeignet ist das hier beschriebene Modellierungsmuster jedoch für das kontinuierliche
Senden und Empfangen von Daten- oder Stoffströmen. Dies sollte über Flowports und eine
entsprechende Aktivitätsmodellierung mit Objektknoten oder SendObjectActions geschehen.
Modellierungselement für das Versenden von Signalen ist die in UML vordefinierte Aktion Send-
SignalAction [OMG07-2, S. 284]. Sie erwartet als Argumente das zu versendende Signal und das
Zielobjekt. Die spezielle pfeilförmige Notation dieser Aktion gibt einen Hinweis auf das Verhalten
der Aktion, wie Bild 5.12 zeigt.
59