Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

welche Aufgaben einer Anforderungsspezifikation zugeschrieben werden. Dies sind die
Modellierung der Datenstrukturen, der Systemfunktionen, der Datenbewegungen (entspricht
den Interaktionen) und von Zeitanforderungen.
Als Schnittmenge dieser Aussagen lässt sich ableiten, dass eine Systemanforderungsspezifikation
Aussagen zur Struktur bzw. zum Kontext des Systems, zu den Systemfunktionen, der Interaktion
des Systems mit der Umwelt und zum Systemverhalten enthalten muss. Anforderungsspezifikationen
im Eisenbahnwesen unterscheiden sich dabei nicht wesentlich von Anforderungsspezifikationen
in anderen technischen Bereichen, weswegen sich die allgemeinen Aussagen in
oben genannter Literatur auch auf die Fachdomäne der Eisenbahntechnik übertragen lassen.
Weiterhin wurde bei der Erstellung der Modelle im Forschungsvorhaben OPRAIL und bei der
Bearbeitung des hier verwendeten Beispielmodells eine sehr ähnliche Menge an Aspekten berücksichtigt.
Für eine Systemanforderungsspezifikation ist basierend auf diesen Überlegungen somit die Beschreibung
der folgenden funktionalen Aspekte erforderlich:
• Systemabgrenzung - die Abgrenzung des Systems gegen seine Umwelt
• Systemfunktionen - die Darstellung der Systemfunktionen bzw. Systemanwendungsfälle
• Systemverhalten - die Spezifikation des gewünschten Systemverhaltens
• Subsystemarchitektur - je nach Erfordernis eine Spezifikation der Subsystem-Architektur
Weiter muss zur Umsetzung des Gesamtkonzeptes nach 4 im funktionalen Modell eine Schnittstelle
zu den nicht-funktionalen Anforderungen und zu externen Dokumenten vorgesehen werden.
Dies geschieht gemäß dem in Abschnitt 5.2.3 beschriebenen Prinzip und erfordert eine
spezielle Sicht zur Darstellung der extern verwalteten textlichen Anforderungen, die im Rahmen
dieser Arbeit Anforderungsschnittstellensicht genannt wird.
5.1.1.2. Strukturelle Aspekte
Damit eine funktionale Systemanforderungsspezifikation sinnvoll eingesetzt werden kann, muss
nicht nur deren Inhalt, sondern auch deren Struktur bestimmten Anforderungen genügen. Komplexe
Systeme erzeugen eine Vielzahl von Spezifikationsartefakten, die ohne eine praktikable
Struktur und Organisation zu einer unübersehbaren Datenmenge anwachsen können. Der prinzipielle
Vorteil der angestrebten modellbasierten Spezifikation kann durch strukturelle Mängel
leicht aufgezehrt werden, wenn die hinterlegten Informationen nicht auf einfache Weise der Spezifikation
entnommen werden können. Daher ist es zwingend erforderlich, eine Anforderungsspezifikation
sauber zu gliedern und den Nutzern eine praktikable Möglichkeit zur Navigation
durch die Spezifikation anzubieten.
Im hier vorgestellten Konzept wird eine zweidimensionale Gliederung der Anforderungsspezifikation
vorgeschlagen. Die eine Gliederungsdimension ist der durch Ebenen ausgedrückte Detaillierungsgrad,
der die Spezifikation in unterschiedliche Betrachtungsebenen unterteilt. Die
oberste Betrachtungsebene zeigt das Gesamtsystem, alle untergeordneten Betrachtungsebenen
zeigen hierarchisch gegliedert Ausschnitte aus der Subsystemarchitektur. Damit wird die in 4.1
aufgestellte Forderung erfüllt, dass komplexe Systeme zur Anforderungsspezifikation in hierarchisch
abhängige Subsysteme gegliedert werden sollen. Die zweite Gliederungsdimension wird
durch einzelne Sichten gebildet, die jeweils auf einen spezifischen Aspekt des Gesamtsystems fokussieren,
beispielsweise auf den Systemkontext oder das Systemverhalten. Beide Dimensionen
müssen durch das gewählte Beschreibungsmittel abgebildet werden können.
26