Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Abbildung 5.11.: Einordnung des Systemverhaltens in das funktionale Modell
Die hellgrau hinterlegten Modellelemente entstammen dabei den Prozessschritten zur Funktionsableitung.
Die dort erstellten Verhaltensdiagramme sind jedoch für die oben beschriebene
Ausführbarkeit der Anforderungsspezifikation üblicherweise zu wenig detailliert. Daher müssen
im weiteren Prozessablauf zum einen die bereits vorhandenen Diagramme überarbeitet 2 und
zum anderen weitere Verfeinerungsschritte hinzugefügt werden. Die neu hinzugefügten Modellelemente
gliedern sich dabei in den im Bild 5.11 dunkelgrau hinterlegten Bereich in das
Anforderungsmodell ein. Auf Grund des Prozessablaufs ist dabei immer sichergestellt, dass die
neu hinzugefügten Verhaltenskonstrukte jeweils einzelnen Systemfunktionen zugeordnet sind.
Das Gesamtverhalten des Systems wird letztendlich durch die folgenden Elemente determiniert:
• verfeinerte Verhaltensdiagramme aus der Prozessphase „Spezifikation der Systemfunktionen”
(hellgrau hinterlegt, Erstellung siehe 6.4.2)
• neue Diagramme aus der Prozessphase „Spezifikation des Systemverhaltens” (dunkelgrau
hinterlegt, Erstellung siehe 6.4.4)
Alle Verhaltensdiagramme zusammen bilden eine baumähnliche Struktur, die dem Konzept einer
schrittweisen Verfeinerung des Systemverhaltens entspricht. Ein geeignetes Modellierungswerkzeug
vorausgesetzt, lässt sich durch diese Struktur einfach hindurchnavigieren, um das
Systemverhalten auf unterschiedlichen Abstraktionsniveaus einzusehen.
2 Dabei muss durch den Prozess sichergestellt werden, dass die Verfeinerungen funktionserhaltend sind, also durch
die Überarbeitung keine Veränderung des modellierten Verhaltens eintritt.
57