Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

• Die Komponente ist von besonderer Bedeutung für das Gesamtsystem, beispielsweise weil
an sie herausragende Sicherheits- oder Leistungsfähigkeitsanforderungen gestellt werden
• Die Komponente repräsentiert ein physisch abgrenzbares Subsystem, dass beispielsweise
einbaufertig von Drittherstellern geliefert wird (COTS - component off the shelf), oder
vom Auftraggeber selbst bereitgestellt wird
• Die Komponente erfordert auf Grund ihrer Komplexität einen besonders hohen Spezifikationsaufwand
in tieferen Modellebenen
Bild 5.21 in Kapitel 4 zeigt die Subsystemarchitektur des Beispielmodells. In der Überarbeitung
der Verhaltenssicht in den Iterationen werden dann die einzelnen Verhaltenskonstrukte
auf die neu hinzugefügten Subsystemkomponenten zugeteilt. Dies kann entweder grafisch
durch Swimlanes erfolgen (siehe Bild 5.19) oder aber durch das Setzen entsprechender allocate-
Abhängigkeiten.
Eine Zusammenstellung der wesentlichen Kriterien für den Ablauf dieser Phase findet sich in
der nachfolgenden Tabelle 6.6.
Aspekt
Iteration
Iterationsendkriterium
Phasenendkriterium
In jedem Iterationsdurchlauf wird eine
Subsystemkomponente hinzugefügt und in die
Subsystemarchitektur integriert.
Es kann keine weitere Subsystemkomponente ermittelt
werden
Siehe oben
Tabelle 6.5.: Prozesskriterien Phase 3
6.3.4.1. Beispielmodell
Im Beispielmodell erfolgte die Zuteilung der einzelnen Funktionen auf die Subsystemkomponenten
entsprechend den im vorherigen Abschnitt aufgeführten Hilfestellungen. So wurden für
die Subsystemebene die folgenden Komponenten abgegrenzt, die eine Realisierung eines an der
Systemgrenze befindlichen Ports darstellen:
• ein Ausschaltsensor als Instanz des Blocks „Induktionsschleife”, der die Realisierung des
Ports „p_Ausschaltsensor” darstellt
• zwei bis vier Einschaltsensoren „ES” als Instanzen des Blocks „Radsensor”, als Realisierung
des Ports „p_Einschaltsensor”
• vier bis sechs „Lichtzeichenanlagen” als Instanzen des Blocks „LZA”, durch die der Port
„p_LZA” realisiert wird
• zwei bis vier „Schrankenanlagen” als Instanzen des Blocks „Schrankenanlage”, als Realisierung
des Ports „p_Schrankenanlage”
• zwei bis vier Überwachungssignale „UeS als Instanzen des Blocks „UeS”, zur Realisierung
des Ports „p_UeS”
• zwei bis vier Hilfseinschalttaster „HET” als Instanzen des Blocks „HET”, die den Port
„p_HET” realisieren
128