Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

NoMagic in der Version 14.0 zum Einsatz, zum Testen des Verhaltensmodells und zur Erzeugung
der Testfälle wurden Teile des Modells in IBM/telelogic Rhapsody UML Version 7.1 portiert,
da nur diese Software die erforderlichen Funktionen zu Modellausführung, Modelltest und
Testfallgenerierung zur Verfügung stellt.
Das Beispielmodell ist dabei so aufgebaut, dass jeder einzelne Prozessschritt archiviert wird,
wodurch die Entwicklung des Modells von Anfang bis Ende des Prozesses nachvollzogen werden
kann. In den nachfolgenden Unterabschnitten werden einzelne Diagramme des Beispielmodells
zur Verdeutlichung einzelner Prozessschritte genutzt.
6.3. Phasen
Der gesamte Erstellungsprozess des Anforderungsmodells ist in fünf wesentliche Phasen gegliedert.
Sie sind nach der jeweiligen Kernaufgabe benannt, die in der jeweiligen Phase abgearbeitet
wird. Die fünf Phasen sind:
• P0 - Spezifikation des Systemkontextes
• P1 - Spezifikation der Systemfunktionen
• P2 - Spezifikation des Systemverhaltens
• P3 - Spezifikation der Subsystemarchitektur
• P4 - Fortschreibung/Anpasssung des Anforderungsmodells
Die Phasen werden linear nacheinander abgearbeitet. Erst innerhalb der einzelnen Phasen werden
die nötigen Iterationsschleifen definiert. Von einer Phase in die nachfolgende Phase darf
erst dann gewechselt werden, wenn entsprechende Phasenendkriterien erreicht worden sind.
Die letzte Phase P4 nimmt eine Sonderstellung ein: Sie endet erst dann, wenn feststeht, dass am
Anforderungsmodell keinerlei Änderungen mehr vorgenommen werden. Diese Situation ergibt
sich gemäß Abschnitt 6.1.3 jedoch erst nach Ende der Lebensdauer des betrachteten Systems,
da auch jede Modifikation während des Betriebs, Änderungen durch neue Randbedingungen
oder neu hinzugefügte Funktionen zu einer Änderung des Anforderungsmodells führen müssen.
Daher ist die Phase P4 diejenige mit der größten Lebensdauer innerhalb des Prozesses.
In den folgenden Unterkapiteln werden die einzelnen Phasen detailliert beschrieben.
6.3.1. P0 - Spezifikation des Systemkontextes
Ziel der Phase P0 „Spezifikation des Systemkontextes” ist der Einstieg in die Modellierung. Entsprechend
den Festlegungen in Abschnitt 6.2.3 erfolgt dieser Einstieg durch die Erstellung einer
ersten, groben Abgrenzung des zukünftigen Systems von seiner Umwelt. Innerhalb der Phase 0
wird eine erste Fassung der Systemabgrenzungssicht erstellt. Der einzige durchlaufene Subprozess
in dieser Phase ist daher der Subprozess S1 „Systemabgrenzungssicht erstellen/überarbeiten”
(für dessen Definition siehe Abschnitt 6.4.1). Sinnvollerweise wird pro Iterationsdurchlauf
ein Akteur zur Systemabgrenzungssicht hinzugefügt. Wenn keine weiteren Akteure ermittelt
werden können, kann die Iteration und damit die gesamte Phase P0 beendet werden.
Die Prozessdefinition der Phase 0 zeigt die Grafik in Bild 6.9.
Ergebnis dieser ersten Prozessphase ist die Verdeutlichung des Systemkontextes und eine erste
Abschätzung, wie viele und welche externen Akteure mit dem zukünftigen System interagieren
werden. Daraus lässt sich beispielsweise ableiten, welche Fachabteilungen in den weiteren
105