Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

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