Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Verhaltensmuster
Senden von Signalen
Senden von Objekten
Empfangen von Signalen
Timer
Entscheidungskonstrukte
Zuteilung von
Verhaltenskonstrukten auf
Strukturartefakte
SysML-
Sprachelemente
SendSignalAction
SendObjectAction
Objektknoten und
Allocations auf
Strukturartefakte
AcceptEventAction
AcceptTimeEventAction
Decision Node und
Guards oder Conditional
Nodes
AllocateActivityPartition
Anmerkungen
Geeignet für zeitdiskretes Versenden von Signalen. Die
Aktion wird durch Input-Pins parametrisiert, um den
Empfänger der Nachricht und etwaige Attribute
festzulegen.
Die Menge der versendeten und empfangenen Signale
muss der Menge der Signale in der
Systemabgrenzungssicht, der Systemfunktionssicht, und
der Szenariensicht enthalten sein (siehe 5.1.5.1)
Wenn keine Subsystemarchitektur vorliegt, muss dieses
Element einem Port oder FlowPort des Systems
zugeordnet werden, ansonsten einem Teil der
Subsystemarchitektur (siehe 5.1.5.5).
Die SendObjectAction ist geeignet für das zeitdiskrete
Versenden von Objekten. Kontinuierliche Ströme von
Objekten können über Aktivitätsparameter bzw.
Objektknoten und eine Zuordnung auf Strukturartefakte
modelliert werden.
Es gelten sinngemäß die gleichen
Konsistenzbedingungen wie beim Nachrichtenversand.
Die AcceptEventAction hält den Kontrollfluss bis zum
Eintreffen eines bestimmten Signals an. Dadurch kann
die Reaktivität eines Systems auf Signaleingang
modelliert werden.
Die Menge der versendeten und empfangenen Signale
muss der Menge der Signale in der
Systemabgrenzungssicht, der Systemfunktionssicht, und
der Szenariensicht enthalten sein (siehe 5.1.5.1)
Wenn keine Subsystemarchitektur vorliegt, muss dieses
Element einem Port oder FlowPort des Systems
zugeordnet werden, ansonsten einem Teil der
Subsystemarchitektur (siehe 5.1.5.5).
Die AccpetTimeEventAction hält den Kontrollfluss bis
zum Erreichen eines absoluten Zeitpunktes oder bis zum
Ablauf einer Zeitspanne an. Es kann somit das
Zeitverhalten eines Systems abgebildet werden.
Beide Modellierungsmuster erlauben die Modellierung
von Verzweigungen im Aktivitätsablauf. Bei einfachen
Verzweigungen oder Verzicht auf Ausführbarkeit sind
Decision Nodes mit Guards das geeignetere
Beschreibungsmittel. Conditional Nodes kommen ohne
Ausdrücke in Aktionssprache aus, erlauben aber nur
Entscheidungspfade, die wieder auf einen ausgehenden
Zweig konvergieren.
Jede AllocateAcitvityPartition repräsentiert ein
Strukturartefakt. Ist eine Subsystemarchitektur
vorhanden, müssen alle Aktivitäten einem Subsystem
zugeordnet werden. Andernfalls müssen
SendSignalActions, AcceptSignalEvents und
Objektknoten einem Port des SuB zugeordnet werden.
Tabelle 5.5.: Modellierungselemente für die Verhaltensmodellierung
69