Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Diese Aufstellung zeigt, dass es sich dabei üblicherweise um Informationen handelt (mitunter
nur um einzelne Zahlenwerte), die sich inhaltlich nur schwierig durch eine modellbasierte Sprache
wie die SysML ausdrücken lassen. Vielmehr scheint dazu die Nutzung kurzer Textfragmente
sinnvoll, zumal die in Abschnitt 3.1 aufgeführten Mängel der natürlichen Sprache wegen der geringen
Komplexität kaum zu Tage treten. Allerdings muss es möglich sein, die nicht-funktionalen
Anforderungen (beispielsweise Angaben zu THRs oder Umgebungsbedingungen) einzelnen Elementen
des funktionalen Modells zuzuordnen, beispielsweise einem Subsystem oder einer Systemfunktion.
Daher muss eine Methode gefunden werden, die nicht-funktionalen Anforderungen
zwar inhaltlich textlich abzubilden, sie aber dennoch mit den Mitteln der SysML an eine
Entität des funktionalen Modells anzukoppeln und in das funktionale Modell zu integrieren.
5.2.2. Externe Dokumente
Eine ähnliche Problemstellung wie für die nicht-funktionalen Anforderungen ergibt sich für die
Nachverfolgbarkeit von Anforderungen, die in externen Dokumenten 7 enthalten sind. Im Eisenbahnwesen,
aber auch in vielen anderen Fachdomänen, existieren für die Entwicklung sicherheitskritischer
Systeme zahlreiche Randbedingungen in Form von Normen, Gesetzen und
Verordnungen sowie unternehmensinternen Richtlinien. Ein durch das Anforderungsmodell beschriebenes
System muss diesen Randbedingungen genügen, was gegenüber der zulassenden
Stelle (beispielsweise dem Eisenbahnbundesamt) nachgewiesen werden muss. Die oben genannten
Randbedingungen liegen dabei meist in Form natürlich-sprachlicher Dokumente vor und bilden
eine Ebene externer, unbeeinflussbarer Anforderungen. Das Anforderungsmodell muss Mechanismen
aufweisen, durch die die Erfüllung der in Textform beschriebenen Randbedingungen
dargestellt werden kann. Weiterhin existieren oftmals schon vor Beginn der eigentlichen Modellierung
informelle Sammlungen von Informationen, deren Nachverfolgbarkeit und korrekte
Umsetzung ebenfalls nachgewiesen werden muss. Wie in Abschnitt beschrieben wird,
lassen sich auch diese Informationen wie die oben genannten externe Dokumente behandeln.
Bei beiden Arten von externen Dokumenten zeigen sich deutliche Analogien zu den in Abschnitt
5.2.1 beschriebenen nicht-funktionalen Anforderungen: Diese Informationsmengen können inhaltlich
nicht sinnvoll durch die SysML abgebildet werden, weisen aber dennoch Beziehungen
zum funktionalen Modell auf. Unterschiedlich ist nur die Herkunft der Informationen: Während
die nicht-funktionalen Anforderungen und die Informationen aus dem Modellierungsvorlauf
durch den Ersteller der Anforderungsspezifikation beeinflusst werden können, sind die Inhalte
externer Dokumente meist unveränderbar. Prinzipiell ist die Berücksichtigung externer
Anforderungen nur ein Spezialfall der nicht-funktionalen Anforderungen.
Im folgenden Abschnitt soll daher ein Konzept vorgestellt werden, wie nicht-funktionale Anforderungen
und Fragmente externer Dokumente mit dem funktionalen Modell verknüpft werden
können. Die gewählte Lösung soll sich dabei gut in das funktionale Modell integrieren. Diese
Integration soll dabei so weitreichend sein, dass der Ersteller der Anforderungsspezifikation
einem Auftragnehmer lediglich das funktionale Modell übergeben muss, um sowohl alle funktionalen,
als auch alle nicht-funktionalen Anforderungen abzudecken. Dies bedeutet, dass die
text-basierten Informationen ins funktionale Modell gespiegelt werden müssen, auch wenn sie
außerhalb des Modells verwaltet werden.
Beschrieben wird im folgenden Kapitel ein grobes Konzept. Die tatsächliche Umsetzung und
technische Ausgestaltung dieses Konzeptes kann dann Gegenstand weiterführender Arbeiten
sein.
7 Gemeint sind damit Dokumente, deren Inhalt nicht im Verantwortungsbreich des Erstellers der Anforderungsspezifikation
liegt
85