Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

der natürlichen Sprache erhöhten Schulungs- und Einarbeitungsaufwand
• Der höhere Grad an Formalismus und die Test- und Verifikationsphasen zwingen den Bearbeiter
zu einer höheren Präzision und vergrößert durch den Zwang zu expliziten Systembeschreibungen
den Arbeitsaufwand.
Durch Betrachtung der Folgekosten von Fehlern (siehe Abbildung 2.1) lässt sich dieses Argument
jedoch durch die folgenden theoretischen Überlegungen entkräften: Zwar wird der Aufwand zu
Beginn des Lebenszyklus eines Systems höher, die zu erwartende Qualitätsverbesserung der Anforderungsspezifikation
führt aber potenziell zu weniger Fehlern in späteren Phasen, die dort
durch ungleich höhere Aufwände wieder korrigiert werden müssten. Bildlich ausgedrückt besteht
die Hoffnung, dass sich der Aufwand, der in frühen Lebenszyklusphasen investiert wird,
sich in späteren Lebenszyklusphasen mit Zins und Zinseszins wieder auszahlt 2 . Dennoch wird
sich ein neues Vorgehen bei der Anforderungsspezifikation nur dann durchsetzen, wenn es sich
praktikabel einsetzten lässt. Und dies ist nur dann der Fall, wenn ein Beschreibungsmittel und
ein Prozessmodell geeignet kombiniert werden. Im Rahmen dieser Arbeit wird dies erstmalig für
Anforderungsspezifikationen im Eisenbahnwesen beschrieben.
Abbildung 4.2.: Konkrete Umsetzung des BMW-Konzeptes
Das verwendete Prozessmodell wird dabei aus einem geeigneten, allgemeinen Vorgehensmodell
abgeleitet. Berücksichtigt werden muss dabei, dass sich die Erstellung einer Anforderungsspezifikation
deutlich von der Entwicklung eines Systems unterscheidet. Im Rahmen dieser Arbeit
geschieht dies durch die Wahl eines möglichst flexiblen Vorgehensmodells (dynamischer,
iterativ-inkrementeller Ansatz), das zudem durch eine Aufgabenorientierung an die bei der Anforderungsspezifikation
nur allmählich wachsende Informationsdichte angepasst wird. Der Fokus
des Prozesses liegt insgesamt auf der möglichst frühen Ausführbarkeit und Prüfbarkeit der
Anforderungsspezifikation. Weiterhin sind in die Prozessbeschreibung Angaben zur Durchführung
von Test- und Verifikationsläufen integriert. Letztere sind auf Grund bestimmter genereller
Probleme und der daraus resultierenden momentanen Praxisuntauglichkeit im Rahmen dieser
Arbeit nur als Platzhalter für zukünftige wissenschaftliche und technische Entwicklungen anzusehen.
Dennoch wird bereits durch die Testverfahren eine weitaus intensivere Prüfung des
spezifizierten Verhaltens möglich, wodurch sich ein deutlicher Vorteil gegenüber textlichen Anforderungsspezifikationen
ergibt. Ergebnis ist ein in vier Phasen gegliederter Prozess, der durch
die entsprechende Verwendung von acht Subprozessen und einem iterativ-inkrementellen Prozessablauf
eine schrittweise Erstellung des funktionalen Modells erlaubt und dieses nach und
nach mit Informationen anreichert.
2 Diese theoretische Vermutung müsste nach Einführung eines solchen Konzepts empirisch untersucht werden. Eine
solche Analyse bietet Raum für interessante weitere Forschungsarbeiten.
22