Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Abbildung 6.8.: Lageplanskizze BÜ
zusammen. Da in jeder Ebene individuell entschieden werden kann, ob und ggf. welche Subsystemkomponenten
weiter ausspezifiziert werden, kann der Detaillierungsgrad des Gesamtmodells
sehr genau gesteuert werden.
6.2.5. Prozessmetamodell
Der Prozessablauf ist in einem SysML-Modell beschrieben, das ähnlich dem strukturellen Metamodell
(siehe Abschnitt 5.1.2) eine Vorgabe für eine konkrete Anwendung des Prozesses darstellt.
Im Wesentlichen besteht dieses Modell aus mehreren, ineinander verschachtelten Aktivitätsdiagrammen,
die die Abfolge der Phasen, Subprozesse und Aktivitäten definieren. In den
folgenden Abschnitten zu Phasen und Subprozessen werden einzelne Diagramme aus dem Metamodell
zur Veranschaulichung der Abläufe benutzt.
6.2.6. Beispielmodell
Das Vorgehensmodell wurde an einem durchgängigen Beispielmodell erprobt. Es handelt sich
dabei um ein Anforderungsmodell für eine fiktive Bahnübergangssteuerung. Diese wurde gegenüber
einem entsprechenden realen System modifiziert und lässt sich durch die folgenden
Eigenschaften charakterisieren:
• Eingleisige Strecke im Kreuzungsbereich Eisenbahn/Straße
• Maximal 4 zu- bzw. ablaufende Streckenäste
• Einschaltung über Radsensoren, Belegtmeldung/Ausschaltung über Induktionsschleifen
• Hilfseinschalttasten (HET) als Schlüsselschalter
• Sicherung mit Lichtzeichen und Halbschranken
• Überwachung durch Überwachungssignal
• Zusätzlich Meldung des Betriebszustandes an eine Betriebsleitzentrale
• Diagnose-, Konfigurations- und Wartungsschnittstelle vor Ort
Eine Lageplanskizze eines dieser Beschreibung entsprechenden BÜ zeigt Abbildung 6.8.
Auf Basis dieser Vorgaben wurde ein mit dem Struktur-Metamodell (siehe 5.1.2) konformes,
funktional orientiertes Anforderungsmodell erstellt, in dem alle im folgenden beschriebenen
Prozessschritte durchgeführt wurden. Als Modellierungswerkzeug kam MagicDraw UML von
104