Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Weitere Magazine

Empfehlungen

Info

5.1.5.2. Konsistenz der Akteure . . . . . . . . . . . . . . . . . . . . . . . 81 5.1.5.3. Konsistenz der Informationsflüsse . . . . . . . . . . . . . . . . . 81 5.1.5.4. Konsistenz der Ports . . . . . . . . . . . . . . . . . . . . . . . . . 82 5.1.5.5. Konsistenz der Allokationen . . . . . . . . . . . . . . . . . . . . . 82 5.2. Nichtfunktionale Anforderungen und externe Dokumente . . . . . . . . . . . . . 84 5.2.1. Nicht funktionale Anforderungen . . . . . . . . . . . . . . . . . . . . . . . 84 5.2.2. Externe Dokumente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 5.2.3. Konzept zur Einbindung textbasierter Informationen . . . . . . . . . . . . 86 6. Inkrementell-iterativer Erstellungsprozess für <strong>Anforderungsspezifikation</strong>en 89 6.1. Wahl des Vorgehensmodells . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89 6.1.1. Anforderungen an das Vorgehensmodell . . . . . . . . . . . . . . . . . . . 90 6.1.2. Auswahl des Vorgehensmodells . . . . . . . . . . . . . . . . . . . . . . . . 91 6.1.3. Einordnung in den Gesamtlebenszyklus . . . . . . . . . . . . . . . . . . . 93 6.1.3.1. Wechselwirkungen mit dem Lebenszyklus nach DIN EN 50126 . 93 6.1.3.2. Einbindung der Risikoanalyse . . . . . . . . . . . . . . . . . . . . 95 6.2. Ableitung des Prozessmodells . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 6.2.1. Informeller Prozessvorlauf . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 6.2.2. Prozessstrukturierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 6.2.3. Aufgabenorientierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 6.2.4. rekursive Prozessanwendung . . . . . . . . . . . . . . . . . . . . . . . . . 101 6.2.5. Prozessmetamodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 6.2.6. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 6.3. Phasen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 6.3.1. P0 - Spezifikation des Systemkontextes . . . . . . . . . . . . . . . . . . . . 105 6.3.1.1. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 6.3.2. P1 - Spezifikation der Systemfunktionen . . . . . . . . . . . . . . . . . . . 108 6.3.2.1. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 6.3.3. P2 - Spezifikation des Systemverhaltens . . . . . . . . . . . . . . . . . . . 113 6.3.3.1. Prinzipielles Vorgehen . . . . . . . . . . . . . . . . . . . . . . . . 116 6.3.3.2. Ableitung der Szenarien . . . . . . . . . . . . . . . . . . . . . . . 118 6.3.3.3. Verhaltensmodellierung . . . . . . . . . . . . . . . . . . . . . . . 119 6.3.3.4. Testen des Systemverhaltens und Erzeugung neuer Testfälle . . . 119 6.3.3.5. Zusammenfassung . . . . . . . . . . . . . . . . . . . . . . . . . . 121 6.3.3.6. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 6.3.4. P3 - Spezifikation der Subsystemarchitektur . . . . . . . . . . . . . . . . . 125 6.3.4.1. Beispielmodell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128 6.3.5. P4 - Fortschreibung/Anpassung des Anforderungsmodells . . . . . . . . . 129 6.4. Subprozesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130 6.4.1. S1 - Systemabgrenzungssicht bearbeiten . . . . . . . . . . . . . . . . . . . 130 6.4.2. S2 - Systemfunktionssicht bearbeiten . . . . . . . . . . . . . . . . . . . . . 131 6.4.3. S3 - Szenariensicht bearbeiten . . . . . . . . . . . . . . . . . . . . . . . . . 131 6.4.4. S4 - Verhaltenssicht bearbeiten . . . . . . . . . . . . . . . . . . . . . . . . 131 6.4.5. S5 - Systemverhalten testen . . . . . . . . . . . . . . . . . . . . . . . . . . 133 6.4.5.1. Ziele des Testens in diesem Subprozess . . . . . . . . . . . . . . 134 6.4.5.2. Klassifizierung des Verfahrens zur Testfallgenerierung . . . . . . 135 6.4.5.3. Verfahren und Werkzeuge . . . . . . . . . . . . . . . . . . . . . . 136 6.4.5.4. Vorgehen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 6.4.6. S6 - Systemverhalten verifizieren . . . . . . . . . . . . . . . . . . . . . . . 138
6.4.7. S7 - Subsystemsicht bearbeiten . . . . . . . . . . . . . . . . . . . . . . . . 140 6.4.8. S8 - nicht-funktionale Anforderungen überarbeiten . . . . . . . . . . . . . 140 6.5. Dokumentation des funktionalen Modells . . . . . . . . . . . . . . . . . . . . . . 142 7. Zusammenfassung, Ergebnisse und Ausblick 145 A. Metamodell-Blockdiagramme des funktionalen Modells 154 B. Metamodell-Aktivitätsdiagramme des Prozessmodells 161 B.1. Phasen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161 B.2. Subprozesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
Seite 1: Modellbasierte Anforderungsspezifik
Seite 6 und 7: 1. Abstract In common with other te
Seite 8 und 9: 2. Einleitung Wie in anderen techni
Seite 10 und 11: 5 % der späteren Fehler aufgedeckt
Seite 12 und 13: 3. Bestandsaufnahme und Identifikat
Seite 14 und 15: dest |−> q, adr |−> msg.adr] :
Seite 16 und 17: Abbildung 3.1.: Das Verhältnis von
Seite 18 und 19: und Testmodell und erweitert somit
Seite 20 und 21: für LST-Modulverträge für die De
Seite 22 und 23: Im Kontext des BMW-Prinzips lässt
Seite 24 und 25: • Die zweite Unterklasse umfasst
Seite 26 und 27: Abbildung 4.1.: Herunterbrechen der
Seite 28 und 29: Insgesamt ergibt sich somit die in
Seite 30 und 31: Abbildung 5.1.: Einordnung des funk
Seite 32 und 33: 5.1.1.3. Objektorientierung im Eise
Seite 34 und 35: • Eignung für das Systems Engine
Seite 36 und 37: 5.1.2. Metamodell und Subset der Sy
Seite 38 und 39: Für die Anzahl der Ebenen gibt es
Seite 40 und 41: Modell_Ebene_Teilmodell_Sichten pac
Seite 42 und 43: (a) Das funktionale Konzept betrach
Seite 44 und 45: bdd [Modell] Data[ Kontexktkommunik
Seite 46 und 47: dd [Modell] Data[ Systemabgrenzungs
Seite 48 und 49: • die Folgen von Gefährdungen zu
Seite 50 und 51: uc [view] Systemfunktionssicht [ Te
Seite 52 und 53: dd [Modell] Data[ Systemfunktionssi
Seite 54 und 55:
Im Rahmen des Anforderungsmodells k
Seite 56 und 57:
Inhaltselement SysML-Sprachelement
Seite 58 und 59:
5.1.4.4. Systemverhaltenssicht Mit
Seite 60 und 61:
hat beispielsweise Arabestani in [A
Seite 62 und 63:
Abbildung 5.11.: Einordnung des Sys
Seite 64 und 65:
wird - sofern möglich - eben diese
Seite 66 und 67:
act [Aktivitaet] Druckluft erzeugen
Seite 68 und 69:
• Kontinuierliche Übertragung vo
Seite 70 und 71:
in einer Aktionssprache an den Kont
Seite 72 und 73:
der Subsystemarchitektur (siehe 5.1
Seite 74 und 75:
Verhaltensmuster Senden von Signale
Seite 76 und 77:
5.1.4.5. Subsystem-Struktur/Whitebo
Seite 78 und 79:
enthalten ist. So verfügt die beis
Seite 80 und 81:
Inhaltselement Diagrammart SuB Port
Seite 82 und 83:
77 Abbildung 5.22.: Beispielhafte E
Seite 84 und 85:
5.1.5. Konsistenzregeln Für die in
Seite 86 und 87:
5.1.5.2. Konsistenz der Akteure Die
Seite 88 und 89:
dd [Paket] Konsistenzen [ Allokatio
Seite 90 und 91:
Diese Aufstellung zeigt, dass es si
Seite 92 und 93:
87 Abbildung 5.29.: Prinzip der Ver
Seite 94 und 95:
6. Inkrementell-iterativer Erstellu
Seite 96 und 97:
zen, wenn die Arbeitsschritte durch
Seite 98 und 99:
6.1.3. Einordnung in den Gesamtlebe
Seite 100 und 101:
Von Nach Ausgetauschte Information
Seite 102 und 103:
Ein solches Anforderungsprofil best
Seite 104 und 105:
den könnte. Vielmehr soll diese ja
Seite 106 und 107:
Letztendlich lässt sich keine eind
Seite 108 und 109:
103 Abbildung 6.7.: Rekursive Anwen
Seite 110 und 111:
NoMagic in der Version 14.0 zum Ein
Seite 112 und 113:
Ideenskizzen, implizite Vorstellung
Seite 114 und 115:
bdd [Modell] Data[ Kontexktkommunik
Seite 116 und 117:
111 Abbildung 6.12.: Detaillierung
Seite 118 und 119:
vom BÜ die Anzeige des Befahrbarke
Seite 120 und 121:
bdd [Modell] Data[ Kontexktkommunik
Seite 122 und 123:
act [Aktivitaet] P2 Spezifikation S
Seite 124 und 125:
Entwicklungsziel angestrebt werden,
Seite 126 und 127:
Als Ergebnis liefert der Subprozess
Seite 128 und 129:
diagramm dargestellte Soll-Kommunik
Seite 130 und 131:
Testfallgenerierung ein bei der man
Seite 132 und 133:
Seite 134 und 135:
Weiterhin wird im Beispielmodell an
Seite 136 und 137:
6.4.2. S2 - Systemfunktionssicht be
Seite 138 und 139:
schriebene Vorgehen an: • Zunäch
Seite 140 und 141:
die Szenariensicht ist: Letztere ze
Seite 142 und 143:
act [Aktivitaet] S5 Systemverhalten
Seite 144 und 145:
Abbildung 6.24.: Automatisierter Ve
Seite 146 und 147:
act [Aktivitaet] S7 Subsystemsicht
Seite 148 und 149:
nicht auszugehen. Die zusätzliche,
Seite 150 und 151:
7. Zusammenfassung, Ergebnisse und
Seite 152 und 153:
de ein iterativ-inkrementelles Vorg
Seite 154 und 155:
Literaturverzeichnis [ALE02] ALEXAN
Seite 156 und 157:
[ISO19005] Norm ISO 19005-1. Docume
Seite 158 und 159:
[WES00] WEISSTEIN, Eric W.: Determi
Seite 160 und 161:
dd [Modell] Data[ Systemabgrenzungs
Seite 162 und 163:
dd [Modell] Data[ Szenariensicht ]
Seite 164 und 165:
dd [Modell] Data[ Subsystemsicht ]
Seite 166 und 167:
B. Metamodell-Aktivitätsdiagramme
Seite 168 und 169:
Seite 170 und 171:
Seite 172 und 173:
act [Aktivitaet] S1 Systemabgrenzun
Seite 174 und 175:
act [Aktivitaet] S3 Szenariensicht
Seite 176 und 177:
act [Aktivitaet] S5 Systemverhalten
Seite 178:
act [Aktivitaet] S8 Nicht-funktiona
Alle anzeigen

Modellbasierte Anforderungsspezifikation sicherheitskritischer ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?