Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

• Kontinuierliche Übertragung von Informationen über das LZB-Kabel zwischen Streckenzentrale
und Fahrzeug
• Signal eines Dopplerradars zur Geschwindigkeitsmessung
• Ölflüsse in einem Federspeicherbremssystem
• Modellierung von Bauteilen der Druckluftbremsanlage (siehe obiges Beispiel)
Das Senden von Objekten muss sich konsistent in das übrige Anforderungsmodell einfügen. Es
gelten daher sinngemäß die gleichen Bedingungen wie beim Versenden von Signalen.
Empfang von Signalen
Das Gegenstück zum Signalversand ist der Empfang von Signalen, für dessen Modellierung sich
die AcceptEventAction [OMG07-2, S. 309 ff.] eignet. Diese Aktion erwartet einen oder mehrere
Events und setzt die Ausführung entlang der wegführenden Kontroll- oder Objektflüsse erst
dann fort, wenn das zugeordnete Ereignis eingegangen ist. Durch dieses Konstrukt kann somit
die weitere Aktivitätsausführung vom Eingang eines bestimmten Signals abhängig gemacht
werden. Eine AcceptSignalAction lässt sich über eine Allocate-Beziehung einem Port oder einem
Block zuordnen, wodurch ausgedrückt wird, dass das entsprechende Ereignis am bezeichneten
Port oder von der referenzierten Komponente als Quelle erwartet wird. Analog zu der SendSignalAction
repräsentiert dieses Konstrukt den zeitdiskreten Empfang von Signalen.
Syntaktisch bildet die Schwalbenschwanz-ähnliche Form der AcceptSignalAction ein Gegenstück
zur pfeilförmigen SendSignalAction, was der Lesbarkeit der Diagramme entgegen kommt. Das
folgende Bildbeispiel zeigt die Verwendung der AcceptSignalAction im Kontext einer Bahnübergangssicherungsanlage.
Diese erwartet den Eingang des Signals „Sicherungsanstoss” und setzt
dann erst den Ablauf entlang der ausgehenden Kontrollflusskante fort. Damit wird modelliert,
dass die Aktivität „BÜ sichern” erst dann ausgeführt wird, wenn das Signal zum Sicherungsanstoß
eingegangen ist.
Abbildung 5.15.: Beispiel für Signalempfang
Auch für das Empfangen von Signalen gelten Konsistenzbedingungen gegenüber den übrigen
Modellelementen. Diese sind ähnlich den Bedingungen beim Versenden von Signalen, nur dass
die Kommunikationsrichtung umgekehrt ist (von der Umgebung zum System).
Timer
Dem Empfang von Signalen sehr ähnlich ist das Abwarten einer bestimmten Zeitbedingung
63