Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

vermeiden. Der Model-Checker verwendet diese Eingangsdaten und führt damit die formale
Verifikation durch. Stellt er dabei eine Verletzung der Randbedingungen fest, muss der Subprozess
abgebrochen und - ähnlich zum Subprozess S5 - in der übergeordneten Phase P2 der zur
Verletzung der Randbedingungen führende Modellierungsfehler ermittelt werden.
6.4.7. S7 - Subsystemsicht bearbeiten
Der Subprozess S7 umfasst alle Aktivitäten, die zur Modellierung der Subsystemsicht erforderlich
sind. Pro Ausführung des Subprozesses wird eine Subsystemkomponente spezifiziert und in
die Subsystemarchitektur eingeführt. Dazu sind im Subprozess S7 zwei Gruppen von Aktivitäten
definiert. Die erste Gruppe umfasst Tätigkeiten, die direkt die Modellierung der Subsystemkomponenten
und der Subsystemarchitketur definieren. Die zweite Gruppe umfasst gegebenenfalls
erforderliche Anpassungstätigkeiten in anderen Inhaltselementen der Subsystemsicht. Zur ersten
Gruppe gehören:
• Erstellung/Überarbeitung der Subsystemkomponenten (auf Blockebene, die konkrete Verwendung
der Komponente erfolgt in der Aktivitität „Subsystemverwendung erstellen/-
überarbeiten”)
• Subsystemverwendung erstellen/überarbeiten (integriert die einzelnen Subsystemkomponenten
in der Subsystemarchitektur)
• Konnektoren erstellen/überarbeiten (diese Aktivitäten verbinden die einzelnen Subsystemkomponenten
miteinander)
Zur zweiten Gruppe gehören:
• Portdefinitionen erstellen/überarbeiten
• Signale erstellen/überarbeiten
• Informationsflüsse erstellen/überarbeiten
Bild 6.25 zeigt das Aktivitätsdiagramm für den Subprozess S7 mit den oben aufgeführten Aktivitäten.
6.4.8. S8 - nicht-funktionale Anforderungen überarbeiten
In diesem Subprozess sind alle Aktivitäten gebündelt, die die nicht-funktionalen Anteile der Anforderungsspezifikation
betreffen. Ziel dieses Subprozesses ist die Anpassung der nicht-funktionalen
Anforderungen an den Fortschritt der funktionalen Modellierung und die Aktualisierung der Beziehungen
zwischen beiden Teilen der Anforderungsspezifikation. Dieser wird in allen Phasen
des Prozesses aufgerufen, damit die Auswirkung von Änderungen an einem der beiden Bestandteile
des Anforderungsmodells möglichst schnell berücksichtigt werden können. Dazu sind innerhalb
des Subprozesses die folgenden drei Aktivitäten definiert:
• Nicht-funktionale Anforderungen erstellen/überarbeiten - hierbei werden neue relevante
nicht-funktionale Anforderungen erfasst und ggf. bestehende Anforderungen überarbeitet.
Dies geschieht gemäß dem in Abschnitt 5.2.3 beschriebenen Konzept zwar außerhalb
des funktionalen Modells, die erfassten natürlich-sprachlichen Informationen werden allerdings
automatisiert als SysML-Requirements in dieses übernommen.
• Textfragmente aus externen Dokumenten erstellen/überarbeiten - hierbei handelt es prinzipiell
um das gleiche Vorgehen wie im vorherigen Arbeitsschritt, jedoch bezieht sich diese
140