Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Zur vollständigen Beschreibung fehlt nun noch die genaue Spezifikation der Informationsflüsse
zwischen dem SuB und den Akteuren. Dies erfolgt durch item flows (Objektflüsse) [OMG07-1,
S. 64] zwischen Akteur und entsprechendem Port des SuB. Die durch die Objektflüsse übertragenen
Informationen lassen sich durch signals (Signale) modellieren. Dabei handelt es sich
um eine stereotypisierte Klasse, die für den Austausch von Informationen zwischen Objekten
verwendet wird [OMG07-2, S. 447].
Ein Ausschnitt aus dem Struktur-Metamodell (Bild 5.6) definiert die in diesem Unterkapitel beschriebenen
strukturellen Eigenschaften der Systemabgrenzungssicht mit SysML-Sprachelementen.
Tabelle 5.2 auf Seite 46 zeigt zusammenfassend, welche SysML-Sprachelemente für die Systemabgrenzungssicht
verwendet werden.
Inhaltselement
SysML-
Sprachelement
Anmerkungen
Diagrammart BlockDefinitionDiagram Entspricht dem Klassendiagramm der UML
Festlegung des Systems unter
Betrachtung (SuB)
Andere Systeme in der Umgebung des
SuB
Inputs und Outputs über die
Systemgrenze
Durch die Ports übertragene
Informationen
Informationsflüsse
Ausgetauschte Informationen
Block
Akteur
FlowPort bzw. Port
FlowSpecification bzw.
Interfaces
Item Flows
Signals
Ausgezeichnet durch einen entsprechenden
Stereotypen, z.B. „SuB”. Nur ein solcher
Block kann im Teilmodell enthalten sein.
Auch technische Systeme im umgebenden
Supersystem werden durch Akteure
dargestellt.
Konsistenzkriterium: Die Menge der Akteure
muss der Menge der Akteure in der
Systemfunktionssicht und der Szenariensicht
entsprechen; die Systemverhaltenssicht
muss mindestens eine Teilmenge der Akteure
enthalten (siehe 5.1.5.2).
FlowPorts für kontinuierliche oder Stoffflüsse,
Ports für Service-orientierte Schnittstellen
Konsistenzkriterium: Die Menge der Ports
muss der Menge der Ports in der
Subsystemsicht entsprechen (siehe 5.1.5.4).
Die Spezifikation der Informationsflüsse kann
auch in separaten Diagrammen erfolgen
Konsistenzkriterium: Die Menge der
Informationsflüsse zwischen SuB und
Akteuren muss der Menge der
Informationsflüsse in der
Systemfunktionssicht entsprechen (siehe
5.1.5.3).
Nutzlast wird durch Attribute modelliert.
Konsistenzkriterium: Die Menge der Signale
muss der Menge der Signale in der
Systemfunktionssicht, der Szenariensicht, der
Verhaltenssicht und der Subsystemsicht
entsprechen (siehe 5.1.5.1).
Tabelle 5.1.: Modellierungselemente für die Systemabgrenzung
Zu berücksichtigen sind weiterhin die Konsistenzbedingungen zu anderen Sichten im Anforde-
40