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