Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildungund

Weitere Magazine

Empfehlungen

Info

Allgemeiner Hinweis Die in dieser Arbeit vorgestellten Sicherheits- und Zuverlässigkeitsuntersuchungen dienen der Darstellung neuer Analysemethoden an Hand von Beispielen. Dazu werden u. a. technische Funktionen und Daten in Anlehnung an reale Systeme verwendet. Diese lassen jedoch keine Aussagen über die Sicherheit und Zuverlässigkeit spezieller, real existierender Systeme zu.
Inhaltsverzeichnis Kurzfassung vii 1 Einleitung 1 1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Aufbau der Arbeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 Stand der Technik: Statische und dynamische Fehlerbaumanalyse 5 2.1 Hintergrund und Umfeld . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.1 Zuverlässigkeits- und Sicherheitsanalysen . . . . . . . . . . . . . . . . . . . 5 2.1.2 Statische und dynamische Analysen . . . . . . . . . . . . . . . . . . . . . 6 2.1.2.1 Dynamisches Systemverhalten . . . . . . . . . . . . . . . . . . . 6 2.1.2.2 Modellierungs-Arten . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Statische, klassische FTA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.3 Dynamische FTA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.3.1 Dynamik-Denition über die Reihenfolge . . . . . . . . . . . . . . . . . . . 8 2.3.2 Weitere Dynamik-Denitionen . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3.3 Dynamische FTA Verschiedene Umsetzungen . . . . . . . . . . . . . . . 10 2.3.4 Dynamische FTA mit temporaler Ausfalllogik . . . . . . . . . . . . . . . . 13 2.4 Zusammenfassung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3 Problemstellung: Ereignissequenzen in der FTA ohne Modularisierung 19 3.1 Bedarf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.1.1 Grundsätzlicher Bedarf an dynamischen FTA . . . . . . . . . . . . . . . . 19 3.1.2 Bedarf an besseren dynamischen FTA . . . . . . . . . . . . . . . . . . . . 19 3.1.3 Überlegungen zum praktischen Nutzen einer dynamischen FTA . . . . . . 20 3.2 Konzept . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.2.1 Anforderungen an die TFTA . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.2.2 Schematischer Ablauf der TFTA . . . . . . . . . . . . . . . . . . . . . . . 21 4 Temporale Fehlerbaumanalyse (TFTA): Ein neuer Ansatz der dynamischen FTA 23 4.1 Notation des TFTA-Ansatzes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 4.1.1 Boolesche Algebra und Ausfalllogik des Fehlerbaums . . . . . . . . . . . . 23 4.1.2 Operationen der temporalen Logik . . . . . . . . . . . . . . . . . . . . . . 24 4.1.3 Boolesche und temporale Operationen in Mengendarstellung . . . . . . . 25 4.1.4 Temporale Operationen: zeitlicher Ablauf . . . . . . . . . . . . . . . . . . 25 4.1.5 Syntax temporaler Terme . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 4.1.5.1 Temporale disjunktive Normalform . . . . . . . . . . . . . . . . . 29 4.1.5.2 Erweiterte temporale disjunktive Normalform . . . . . . . . . . . 30 4.1.6 Ereignisse als Teil eines Terms . . . . . . . . . . . . . . . . . . . . . . . . 31 4.1.7 Visualisierung mittels sequentieller Ausfallbäume . . . . . . . . . . . . . . 31 4.1.7.1 Einfache sequentielle Ausfallbäume (ohne SAND) . . . . . . . . . 32 xi
Seite 1 und 2: Beitrag zur dynamischen Fehlerbauma
Seite 3: Fuer Albert und Alexandra und Liese
Seite 7 und 8: Kurzfassung Hintergrund Die Fehlerb
Seite 9: Abstract Background Fault tree anal
Seite 13: Inhaltsverzeichnis xiii 5.4.2 Quant
Seite 16 und 17: 2 1 Einleitung Die Problematik eine
Seite 19 und 20: 2 Stand der Technik: Statische und
Seite 21 und 22: 2.2 Statische, klassische FTA 7 2.1
Seite 23 und 24: gleichzeitig 2.3 Dynamische FTA 9 A
Seite 25 und 26: 2.3 Dynamische FTA 11 Herkömmliche
Seite 27 und 28: 2.3 Dynamische FTA 13 2.3.4 Dynamis
Seite 29 und 30: 2.3 Dynamische FTA 15 wenn er nicht
Seite 31: 2.4 Zusammenfassung 17 Systemanalys
Seite 34 und 35: 20 3 Problemstellung: Ereignisseque
Seite 36 und 37: 22 3 Problemstellung: Ereignisseque
Seite 38 und 39: 24 4 Temporale Fehlerbaumanalyse (T
Seite 60 und 61:
46 4 Temporale Fehlerbaumanalyse (T
Seite 62 und 63:
Seite 64 und 65:
Seite 66 und 67:
Seite 68 und 69:
Seite 70 und 71:
Seite 72 und 73:
Seite 74 und 75:
Seite 77 und 78:
5 Quantizierung des TFTA Ansatzes P
Seite 79 und 80:
5.2 Quantitative TFTA: Zeitkonzept
Seite 81 und 82:
5.3 Quantizierung der PAND und SAND
Seite 83 und 84:
Seite 85 und 86:
Seite 87 und 88:
5.4 Quantizierung der temporalen Au
Seite 89 und 90:
5.4 Quantizierung der temporalen Au
Seite 91 und 92:
5.5 Ansatz mit minimiertem Rechenau
Seite 93:
5.5 Ansatz mit minimiertem Rechenau
Seite 96 und 97:
82 6 Vergleich der TFTA mit anderen
Seite 98 und 99:
Seite 100 und 101:
Seite 102 und 103:
Seite 105 und 106:
7 TFTA Modellierung einer typischen
Seite 107 und 108:
7.1 Das Beispiel 93 IC AMP. Der Mic
Seite 109 und 110:
7.2 Temporaler Fehlerbaum 95 Die Fe
Seite 111 und 112:
7.3 Qualitative Auswertung des temp
Seite 113 und 114:
Seite 115 und 116:
Seite 117 und 118:
Seite 119 und 120:
Seite 121 und 122:
7.4 Quantizierung und Berechnung de
Seite 123:
7.5 Diskussion 109 7.5 Diskussion D
Seite 126 und 127:
112 8 Zusammenfassung und Ausblick
Seite 129 und 130:
9 Literaturverzeichnis [1] Flöreck
Seite 131 und 132:
9 Literaturverzeichnis 117 [32] Lim
Seite 133 und 134:
9 Literaturverzeichnis 119 [59] Sch
Seite 135:
9 Literaturverzeichnis 121 [86] Sin
Seite 139 und 140:
A Vertiefende Erläuterungen A.1 Ke
Seite 141 und 142:
A.2 Umgang mit sequentiellen Ausfal
Seite 143 und 144:
A.3 Beispiele zur Disjunktheit temp
Seite 145:
A.3 Beispiele zur Disjunktheit temp
Seite 149 und 150:
C Notation Symbol Bedeutung .(t) Ze
Alle anzeigen

Beitrag zur dynamischen Fehlerbaumanalyse ohne Modulbildungund

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?