Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Die drei wesentlichen Tätigkeiten innerhalb der Phase werden in den folgenden Unterabschnitten
näher beschrieben.
6.3.3.1. Prinzipielles Vorgehen
Die Spezifikation des Systemverhaltens erfolgt iterativ in zwei ineinander geschachtelten Schleifen.
Die äußere Schleife läuft über alle Systemfunktionen aus der vorhergehenden Phase P1,
wobei pro Schleifendurchlauf die Szenarien und das gewünschte Verhalten der Funktion modelliert
werden.
Die einzelnen Interaktionsszenarien für jede Systemfunktion und die dazu nötigen Verhaltensmodellelemente
werden dann innerhalb der inneren Schleife erstellt. Jeder neue Schleifendurchlauf
ergänzt dabei ein Szenario durch Ausführung des Subprozess „S3 - Szenariensicht
erstellen/überarbeiten” gemäß dessen Definition in Abschnitt 6.4.3. Im Subprozess „S4 - Systemverhaltenssicht
erstellen/überarbeiten” wird anschließend das Systemverhalten mit Aktivitätsdiagrammen
oder Zustandsautomaten so modelliert, dass alle zu diesem Zeitpunkt existierenden
Interaktionsszenarien erfüllt werden. Die Überprüfung, ob Interaktion und modelliertes
Verhalten tatsächlich übereinstimmen, erfolgt im anschließenden Subprozess „S5 - Systemverhalten
testen”, in welchem die Interaktionsszenarien als Testfälle für das Systemverhalten herangezogen
werden. Wird es für das Modell als erforderlich angesehen, kann zusätzlich auch
eine formale Verifikation des Modells gemäß Subprozess „S6 - Systemverhalten verifizieren”
durchgeführt werden. Diesen prinzipiellen Ablauf zeigt das Aktivitätsdiagramm der Phase in
Bild 6.15.
116