Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

der Anforderungsspezifikation vorgesehen sind. Die Anforderungsschnittstellensicht repräsentiert
die Verknüpfungspunkte in Form von einzelnen SysML-Requirements [OMG07-1, S. 146] in
einem Requirement-Diagram, wobei diese innerhalb des funktionalen Modells nicht verändert
werden können. Sie dienen gewissermaßen als „Brückenköpfe” für die Verknüpfung der textbasierten
Informationen mit dem funktionalen Modell. Durch die Verwendung verschiedener
Arten von Beziehungen können verschiedene semantische Aussagen transportiert werden. So
kann beispielsweise ausgedrückt werden:
• welche nicht-funktionalen Anforderungen welchen Elementen des funktionalen Modells
zugeordnet sind
• welche Anforderungen aus externen Dokumenten im funktionalen Modell berücksichtigt
worden sind (Darstellung der Nachverfolgbarkeit externer Anforderungen)
• welche Szenarien der Szenariensicht als Testfälle für externe Anforderungen verwendet
werden können
Die folgende Tabelle zeigt die in der SysML(A) für die Anforderungsschnittstellensicht definierten
Beziehungen, ihre Verwendung und die zugehörige semantische Aussage.
Beziehung Beteiligte Elemente Erklärung
DeriveReqt [OMG07-1, S.
149 f.]
Zwischen Requirements
Zeigt an, dass ein Requirement von einem
anderen Requirement abgeleitet wurde, z.B.
ein detailliertes Requirement von einer
übergeordneten Vorschrift.
Containment Zwischen Requirements Zeigt an das ein Unter-Requirement in einem
Satisfy [OMG07-1, S. 151 f.]
Zwischen Requirement und Element
des funktionalen Modells (nicht bei
Szenarien)
übergeordneten Requirement enthalten ist.
Zeigt an, dass ein bestimmtes Modellelement
ein Requirement erfüllt.
Trace [OMG07-2, S. 691] Zwischen beliebigen Elementen Zeigt an, dass ein Element den gleichen
Sachverhalt ausdrückt wie ein Element an
anderer Stelle des gleichen oder eines
anderen Modells. Dadurch lässt sich
beispielsweise zeigen, dass sich eine externe
Anforderung in einem internen Requirement
wiederfindet. Dieser Stereotyp drückt keine
Erfüllung von Requirements aus.
Verify [OMG07-1, S. 152 f.] Zwischen Requirement und Szenario Zeigt an, dass ein Szenario als Testfall für
Dependency
Zwischen Requirement und Element
des funktionalen Modells
eine Anforderung dienen kann
Zeigt an, dass eine nicht-funktionale
Anforderung einem bestimmten Element des
funktionalen Modells zugeordnet ist, z.B. ein
Umgebungstemperaturbereich einer
Komponente des Systems
Tabelle 5.7.: Mögliche Beziehungen zwischen Requirements und Modellelementen
Die typische Nutzung einiger der dargestellten Beziehungen zeigt Abbildung 5.22.
Zu erkennen ist, wie sich die Inhalte einer Passage einer Konzernrichtlinie bis zu den entsprechenden
funktionalen Modellelementen nachverfolgen lassen. Für die zusichernde Behörde (wie
76