Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

interaction
BUe Sichern Ablaeufe [ Regelablauf ]
: BUe
: Triebfahrzeugfuehrer
: Strassenverkehrsteilnehmer
{3 Sek..3 Sek}
1: Aktuelles LzA-Signalbild(gelb leuchtet)
2: Aktuelles LzA-Signalbild(rot leuchtet)
{12 Sek..15 Sek}
3: [rot leuchtet]Aktuelles UeS-Signalbild(BUe1)
4: Aktuelle Schrankenposition(schliessend)
{5 Sek..12 Sek}
5: Aktuelle Schrankenposition(geschlossen)
Abbildung 6.18.: Szenariensicht nach Ende der Phase 2
6.3.3.6. Beispielmodell
Im Folgenden wird der gesamte Durchlauf der Phase P2 für das Beispielmodell beschrieben, wobei
das in den vorherigen Unterkapiteln vorgestellte, generelle Vorgehen konkret nachvollzogen
werden kann.
Um in dieser Phase die Szenarien und die Systemverhaltenskonstrukte zu erstellen, wird zunächst
eine Liste aller in der vorherigen Prozessphase P1 identifizierten Systemfunktionen erstellt.
Auf jedes Element dieser Liste (also auf jede Systemfunktion) wird daraufhin der nachfolgend
beschriebene Prozess angewendet.
Als erster Schritt wird dabei für die jeweils aktuelle Systemfunktion der Regelablauf in einem
Sequenzdiagramm modelliert, wodurch sich eine Ablaufbeschreibung entsprechend Bild 6.18
ergibt. Im dargestellten Beispiel der Sicherung des BÜ zeigt das Sequenzdiagramm dabei als Lebenslinien
das „SuB” - hier also die Bahnübergangssicherungsanlage - sowie die an der Systemfunktion
beteiligten Akteure „Triebfahrzeugführer” und „Strassenverkehrsteilnehmer”, die über
entsprechende Nachrichten miteinander kommunizieren. Gemäß den Prozessvorgaben muss als
nächster Schritt nun ein Verhaltensdiagramm im Modell erstellt werden, dass die im Sequenz-
122