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.
Requirements und dem rechts gezeigten Aktivitätsdiagramm zu erkennen. So werden die<br />
Anforderungen aus externen Dokumenten durch<br />
-Beziehungen angekoppelt<br />
(um anzuzeigen, dass im Anforderungsmodell die externen Anforderungen berücksichtigt<br />
wurden) und die nicht-funktionalen Anforderungen über eine einfache Dependency-<br />
Relation an eine Komponente des funktionalen Modells angebunden (womit beschrieben<br />
wird, dass sich die nicht-funktionale Anforderung nur auf diese Komponente bezieht).<br />
Prototypisch kann eine solche Werkzeugkette beispielsweise durch IBM/telelogic Rhapsody Gateway<br />
und IBM/telelogic DOORS zusammen mit IBM/telelogic Rhapsody UML realisiert werden.<br />
Ein anderes Produkt zur Umsetzung dieser Funktionalität ist MagicRQ für MagicDraw UML von<br />
No Magic, Inc.<br />
Im funktionalen Modell wird die Schnittstelle zu den extern verwalteten textlichen Anforderungen<br />
dabei durch die Anforderungsschnittstellensicht repräsentiert, die in Abschnitt 5.1.4.6 näher<br />
beschrieben wurde. Diese besteht im Wesentlichen aus einer untereinander und mit den Komponenten<br />
des funktionalen Modells verknüpften Menge von SysML-Requirements, die außerhalb<br />
des funktionalen Modells verwaltet wird.<br />
88