Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Im Kontext des BMW-Prinzips lässt sich die augenblickliche Situation bei der Anforderungserstellung
durch die Grafik in Abbildung 3.5 darstellen. Die unterbrochenen Linien bei Beschreibungsmittel
und Werkzeug zeigen an, dass für diese Komponenten nur bedingt geeignete Lösungen
eingesetzt werden. Das Element „Methode” fehlt vollständig, was durch die hellgrauen Linien
angezeigt wird.
3.2. Fazit
Betrachtet man den Lebenszyklus eines Systems von der ersten Idee bis hin zum fertigen System,
so zeigt sich, dass sich die Anwendung alternativer, semi-formaler Beschreibungsmittel auf die
mittleren und späteren Zeitabschnitte konzentriert. Während im Bereich der Systementwicklung
das BMW-Prinzip mit geeigneten Beschreibungsmitteln, Methoden und Werkzeugen gut umgesetzt
wird, dominiert bei der Anforderungserstellung nach wie vor die natürlich-sprachliche Prosaform.
Setzt man diesen Sachverhalt in Beziehung zur Verteilung von Fehlerquellen in großen
Projekten (siehe Abbildung 2.1), so fällt auf, dass die besonders hohe Anzahl eingebrachter Fehler
und die Anwendung der natürlichen Sprache in dieser Phase zusammenfallen. Daher liegt der
Schluss nahe, dass die Verwendung dieses Beschreibungsmittels zumindest teilweise ursächlich
für die hohe Fehlerzahl 4 ist. Zur Optimierung des gesamten Lebenszyklus wäre es somit besonders
lohnenswert, auch für die Erstellung der Anforderungsspezifikation auf die bereits in der
Systementwicklung bewährten Beschreibungsmittel zurückzugreifen. Dies würde auch den momentan
vorhandenen Bruch der Beschreibungsmittel zwischen Anforderungsspezifikation und
Systementwicklung beseitigen.
Weiterhin fehlt für die Erstellung von Anforderungsspezifikationen ein geeignetes Prozessmodell.
Dieses ist auch insbesondere deshalb nötig, weil die Anforderungsspezifikation üblicherweise
eine Aufgabe von Fachexperten des betrachteten Systems ist und nicht von Softwareingenieuren.
Allerdings sind Fachexperten meist weniger erfahren in der Anwendung von Beschreibungsmitteln,
die ursprünglich aus dem Bereich der Softwareentwicklung stammen. Daher erscheint
es zwingend nötig, die Erstellung von semi-formalen Anforderungsspezifikationen durch
einen Prozess zu ergänzen und damit den Bearbeiter bei der Erstellung zu führen.
4 So ist eine natürlich-sprachliche Spezifikation beispielsweise per se nicht automatisiert test- und verifizierbar.
17