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