Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Im Rahmen des Anforderungsmodells können die Sequenzdiagramme dabei als situationsbezogene
Vorgabe der Interaktion zwischen SuB und den Akteuren verstanden werden. Die einzelnen
Diagramme der Szenarien werden dabei nicht notwendigerweise ausschließlich händisch
erstellt. Wie im entsprechenden Kapitel der Prozessbeschreibung dargelegt wird (siehe Abschnitt
6.4.5.4), bestehen die Szenarien üblicherweise aus einer Vereinigung von manuell erstellten und
durch ein Testfallgenerierungswerkzeug erzeugten Sequenzdiagrammen. Hintergrund für dieses
Vorgehen ist die Schaffung einer einheitlichen Testbasis, die für die Verifikation der Modellierung
des Systemverhaltens erforderlich ist. Es ist somit eine permanente Konsistenz zwischen Szenarien
und Systemverhalten gewährleistet, d.h. das modellierte Systemverhalten (siehe 5.1.4.4)
erfüllt immer die Vorgaben aus den Szenarien. Die Szenarien dienen somit nicht nur einer Darstellung
der System-Umwelt-Interaktion, sondern sind auch Testfälle sowohl für die Prozessschritte
innerhalb der Modellerstellung (siehe 6.4.5.1), als auch für die spätere Abnahme des
realen Systems.
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 5.9.: Darstellung eines Szenarios in einem Sequenzdiagramm
Bild 5.9 zeigt beispielhaft ein Sequenzdiagramm zur Beschreibung eines Ablaufs. Zu erkennen
sind die drei Lebenslinien, wobei die linke das SuB repräsentiert, die anderen beiden die am
Szenario beteiligten Akteure, mit denen das SuB im vorliegenden Fall Informationen austauscht.
49