Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Zustandsautomaten beschrieben werden kann. Die zunächst universellen Relaisgruppen werden
dann bei der Verwendung in einem konkreten Stellwerk durch Codierstecker konfiguriert, z.B.
zur Definition der zulässigen Abzweiggeschwindigkeit von Weichen. Dies entspricht dem Setzen
von initialen Attributswerten im Konstruktur von Software-Klassen. Zur Abbildung des realen
Gleisplans werden die einzelnen Relaisgruppen im Stellwerk durch standardisierte Spurkabel
entsprechend der äußeren Topologie miteinander verbunden, über die sie auf Basis einfacher
Stromflüsse Informationen austauschen. Dies entspricht der Kommunikation unabhängiger Objekte
über Nachrichten, wie sie beispielsweise in Sequenzdiagrammen der UML dargestellt wird.
Wie dieses Beispiel zeigt, haben sich die Grundgedanken objektorientierter Konzepte im Eisenbahnwesen
sehr früh herausgebildet, weil sie die Charakteristik dieser Fachdomäne gut erfassen.
Um von Fachexperten akzeptiert zu werden, liegt es nahe, dass ein Beschreibungsmittel für die
Spezifikation eisenbahntechnischer Systeme daher ebenfalls diesen Ansatz unterstützen sollte.
Diese Erkenntnis findet sich auch in anderen Veröffentlichung, beispielsweise in [ARG00].
5.1.1.4. Sonstige Anforderungen und Zusammenfassung
Neben den inhaltlichen und strukturellen Anforderungen existieren noch weitere Randbedingungen
für das Beschreibungsmittel, die im folgenden hergeleitet werden. Sie beziehen sich
nicht direkt auf die Anforderungsspezifikation, sondern vielmehr auf deren Erstellungsprozess
und die Integration in den weiteren Systemlebenszyklus. Diese Anforderungen sind:
• Anwendbarkeit des Beschreibungsmittels durch die Zielgruppe - Anforderungsspezifikationen
sollten direkt von den Fachexperten für das jeweilige System erstellt werden. Daher
muss ein Beschreibungsmittel derart gewählt werden, dass es - eventuell nach einer angemessenen
Trainingsphase - von diesen Fachexperten direkt verwendet werden kann.
Dies setzt voraus, dass das Beschreibungsmittel in seiner grundlegenden Charakteristik
der Denk- und Kommunikationsweise der Fachexperten möglichst nahe kommt.
• Gute Unterstützung durch Werkzeuge - für das Beschreibungsmittel muss eine solide Unterstützung
durch Werkzeuge existieren. Diese muss zudem alle Anforderungen für einen
Produktiveinsatz hinsichtlich Funktionsumfang, Stabilität und Einbindung in die sonstige
Prozess- und Werkzeuglandschaft beim Anwender erfüllen. Idealerweise wird das Beschreibungsmittel
zudem durch eine unabhängige Organisation gepflegt und weiterentwickelt.
• Integration des Beschreibungsmittels in den weiteren Prozess - die Erstellung der Systemanforderungsspezifikation
steht ganz am Anfang des Systemlebenszyklus. Auf ihr bauen
alle weiteren Schritte von der Systementwicklung über die Inbetriebnahme des Systems,
dessen Modifikation bis hin zur Außerbetriebnahme auf. Daher sollte ein Beschreibungsmittel
gewählt werden, das auch in allen weiteren Lebenszyklusphasen ohne Brüche
angewendet werden kann.
• Eignung für die Fachdomäne des Eisenbahnwesens - das Beschreibungsmittel muss für die
typischen Charakteristiken von Aufgabenstellungen im Eisenbahnwesen geeignet sein. Wie
in Abschnitt 5.1.1.3 dargelegt, bietet sich dabei ein objektorientierter Ansatz an. Diesen
muss das Beschreibungsmittel unterstützen.
• Schnittstellen zu formalen Test- und Verifikationstechniken - für eine möglichst fehlerfreie
Anforderungsspezifikation bietet es sich an, deren Inhalt durch Test- und/oder Verifikationsverfahren
auf Fehler, Inkonsistenzen und Unvollständigkeiten zu prüfen. Das gewählte
Beschreibungsmittel soll eine Nutzung dieser Technologien prinzipiell ermöglichen.
28