Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Modellbasierte Anforderungsspezifikation sicherheitskritischer ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
dd [Modell] Data[ Anforderungsschnittstellensicht ]<br />
<br />
<br />
Requirement<br />
-wird abgebildet durch<br />
1<br />
-wird abgebildet durch<br />
1<br />
1<br />
<br />
<br />
Externe Anforderung<br />
1..*<br />
1<br />
<br />
<br />
Nicht-funktionale Anforderung<br />
-enthaelt<br />
1..*<br />
<br />
<br />
RequirementDiagram<br />
1..*<br />
-enth?lt<br />
1 1<br />
<br />
<br />
Anforderungsschnittstellensicht<br />
1<br />
-wird abgebildet durch<br />
1<br />
<br />
<br />
View<br />
Abbildung 5.23.: Metamodell-Definition der Anforderungsschnittstellensicht<br />
z.B. das EBA) kann somit gezeigt werden, dass die in den relevanten Richtlinien enthaltenen Informationen<br />
im Anforderungsmodell korrekt abgebildet wurden. Konkret handelt es sich dabei<br />
um Satz (1), Absatz 2 des Moduls 0032 der DB-Konzernrichtlinie 815 [KOR815], das die Ausstattung<br />
eines BÜ mit Lichtzeichenanlagen regelt und deren prinzipielles Verhalten definiert.<br />
Analysiert man den Textabschnitt, so zeigt sich, dass dieser eigentlich zwei atomare Anforderungen<br />
enthält: Einerseits, dass der BÜ über eine EBO-konforme Lichtzeichenanlage verfügen<br />
muss, andererseits, dass diese bei der BÜ-Sicherung eine bestimmte Signalfolge einhalten muss.<br />
Daher werden aus der Ursprungspassage in der Richtlinie zunächst die beiden enthaltenen Aussagen<br />
extrahiert und mit dem originalen Textfragment verknüpft. Dies geschieht außerhalb des<br />
funktionalen Modells, beispielsweise in IBM/telelogic DOORS während der Durchführung des<br />
entsprechenden Subprozesses S8, der in Abschnitt 6.4.8 beschrieben wird.<br />
Bei der Synchronisierung der textlichen Anforderungen mit dem funktionalen Modell werden<br />
die einzelnen Textelemente in SysML-Requirements umgesetzt, wobei die ermittelten Unter-<br />
Anforderungen über eine Containment-Beziehung verknüpft werden. Anschließend werden -<br />
innerhalb des funktionalen Modells - diejenigen Elemente mit den Requirements über eine<br />
-Beziehung verbunden, die das entsprechende Requirement erfüllen. Szenarien,<br />
die als Testfälle dienen, werden mit dem zugehörigen Requirement über eine -<br />
Beziehung verknüpft. Zur besseren Verständlichkeit erfolgt diese Verknüpfung im oben dargestellten<br />
Beispiel direkt innerhalb des Requirement-Diagramms.<br />
Die Spezifikation der Anforderungsschnittstellensicht im Metamodell kann Abbildung 5.23 entnommen<br />
werden.<br />
78