Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

act [Aktivitaet] S8 Nicht-funktionale Anforderungen ueberabeitenAblauf [ S8 ]
: Textfragmente aus externen Dokumenten erstellen/ueberarbeiten
: Menge der textlichen Requirements
: Nicht-funktionale Anforderungen erstellen/ueberarbeiten
: Menge der Beziehungen
: Beziehungen erstellen/ueberarbeiten
Abbildung 6.26.: Aktivitätsdiagramm Subprozess S8
Aktivität nicht auf vom Modellierer erstellte Anforderungen, sondern um unveränderliche
Passagen externer Dokumente, Vorgaben und Verordnungen.
• Beziehungen erstellen/überarbeiten - in dieser Aktivität wird geprüft, ob sich durch den
Fortschritt der Modellierung neue Beziehungen zwischen Elementen des funktionalen Modells
und den nicht-funktionalen Anforderungen ergeben haben, neue beispielsweise
- oder -Beziehungen. Wenn ja müssen sie in dieser Aktivität ergänzt
werden.
Abbildung 6.26 zeigt die beschriebenen Abläufe dieses Subprozesses als Aktivitätsdiagramm.
6.5. Dokumentation des funktionalen Modells
Nach Anwendung des in den vorherigen Kapiteln beschriebenen Prozesses liegt das funktionale
Anforderungsmodell inklusive Verknüpfungen zu externen Dokumenten und zu nicht-funktionalen
Anforderungen als Datei oder Datenbank des gewählten Modellierungswerkzeuges vor.
Auch wenn zu diesem Zeitpunkt die inhaltliche Arbeit am Modell - vorbehaltlich dessen Fortschreibung
- abgeschlossen ist, wird sich in vielen Anwendungsfällen als weiterer Arbeitsschritt
die Dokumentation des Modellinhalts anschließen. Diese ist üblicherweise aus den folgenden
Gründen sinnvoll und erforderlich:
(a) Wie viele andere Software auch, entwickeln sich UML- und SysML-Werkzeuge in kurzen
Zyklen weiter. Dies kann dazu führen, dass bereits nach einigen Jahren ein Modell
in einem bestimmten Datenformat nicht mehr gelesen werden kann. Erschwerend kommt
hinzu, dass im Bereich sicherheitskritischer Eisenbahnsysteme sehr lange Dokumentationsfristen
üblich sind. Auch der XMI-Standard [OMG07-4], der als Austauschformat für UML-
Modelle entwickelt wurde, löst auf Grund mangelnder Unterstützung durch die Werkzeughersteller
dieses Problem nur unzureichend.
(b) Der direkte Austausch von Modellen als Arbeitsgrundlage zwischen den Projektbeteiligten
setzt voraus, dass alle Partner die gleiche oder zumindest eine kompatible Werkzeugkette
verwenden. Davon ist auf Grund der Vielzahl an UML/SysML-Werkzeugen jedoch
142