Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Köln ; Garching b. München ; Berlin ; Braunschweig
Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH
Juli 2020
|
| Series: | GRS
599 |
| Online Access: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Physical Description: | VII, 155 Seiten Illustrationen 30 cm |
| ISBN: | 9783947685851 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV049662079 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 240423s2020 gw a||| |||| 00||| ger d | ||
| 015 | |a 21,B51 |2 dnb | ||
| 016 | 7 | |a 1237302919 |2 DE-101 | |
| 020 | |a 9783947685851 |c Broschur |9 978-3-947685-85-1 | ||
| 035 | |a (OCoLC)1267412187 | ||
| 035 | |a (DE-599)DNB1237302919 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-12 | ||
| 084 | |8 1\p |a 620 |2 23sdnb | ||
| 084 | |8 2\p |a 004 |2 23sdnb | ||
| 084 | |8 3\p |a 621.3 |2 23sdnb | ||
| 100 | 1 | |a Gatz, Henriette |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken |c Henriette Gatz [und 7 weitere] |
| 264 | 1 | |a Köln ; Garching b. München ; Berlin ; Braunschweig |b Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH |c Juli 2020 | |
| 300 | |a VII, 155 Seiten |b Illustrationen |c 30 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a GRS |v 599 | |
| 830 | 0 | |a GRS |v 599 |w (DE-604)BV008889593 |9 599 | |
| 856 | 4 | 2 | |m B:DE-101 |q application/pdf |u https://d-nb.info/1237302919/04 |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035005290&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 2 | |8 1\p |a dnb |d 20211217 |q DE-101 |u https://d-nb.info/provenance/plan#dnb | |
| 883 | 2 | |8 2\p |a dnb |d 20211217 |q DE-101 |u https://d-nb.info/provenance/plan#dnb | |
| 883 | 2 | |8 3\p |a dnb |d 20211217 |q DE-101 |u https://d-nb.info/provenance/plan#dnb | |
Record in the Search Index
| _version_ | 1805082185063989248 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
ABSTRACT
.
I
KURZFASSUNG
.
III
1
EINLEITUNG,
AUFGABENSTELLUNG
UND
ZIELSETZUNG
.
1
1.1
AUFARBEITUNG
DES
FUER
DAS
VORHABEN
RELEVANTEN
STANDES
VON
WISSENSCHAFT
UND
TECHNIK
(ARBEITSPAKET
1)
.
2
1.2
ENTWICKLUNG
EINES
KONZEPTES
ZUR
UNTERSUCHUNG
VON
SOFTWAREFEHLERN
IN
SOFTWAREBASIERTER
LEITTECHNIK
(ARBEITSPAKET
2)
.
3
1.3
ENTWICKLUNG
EINES
KONZEPTES
ZUR
VALIDIERUNG
DER
ANALYSEERGEBNISSE
ZU
DEN
AUSWIRKUNGEN
VON
SOFTWAREFEHLERN
AUF
SOFTWAREBASIERTE
LEITTECHNIKSYSTEME
(ARBEITSPAKET
3)
.
4
2
ERMITTLUNG
UND
AUFBEREITUNG
DES
FUER
DAS
VORHABEN
RELEVANTEN
STANDES
VON
WISSENSCHAFT
UND
TECHNIK
.
7
2.1
MODELLE
ZUR
BESCHREIBUNG
DER
FEHLERAUSBREITUNG
IN
SOFTWAREBASIERTEN
LEITTECHNIKSYSTEMEN
.
7
2.2
FUER
DAS
VORHABEN
RELEVANTE
REGELWERKSANFORDERUNGEN
AN
SOFTWAREBASIERTE
LEITTECHNIK
.
10
2.2.1
ANFORDERUNGEN
AN
DIE
SOFTWARE
IN
SOFTWAREBASIERTER
LEITTECHNIK
.
10
2.2.2
ANFORDERUNGEN
AN
DIE
DATENKOMMUNIKATIONSNETZWERKE
SOFTWAREBASIERTER
LEITTECHNIKSYSTEME
.
17
2.2.4
RELEVANTE
ASPEKTE
DER
ZUVERLAESSIGKEITSUNTERSUCHUNG
SOFTWAREBASIERTER
LEITTECHNIKSYSTEME
.
22
2.3
FEHLERTOLERANZ
IN
SOFTWAREBASIERTER
LEITTECHNIK
.
26
2.3.1
UEBERBLICK
UEBER
FEHLERTOLERANZVERFAHREN
.
26
2.3.2
FEHLERERKENNUNGSVERFAHREN
.
27
2.3.3
FEHLERBEHANDLUNGSVERFAHREN
.
29
2.4
ZUVERLAESSIGKEITSANALYSEMETHODEN
IN
SOFTWAREBASIERTER
LEITTECHNIK
.
36
2.4.1
SOFTWARE
FAILURE
MODES
AND
EFFECTS
ANALYSIS
.
38
2.4.2
SOFTWARE
FAULT
TREE
ANALYSIS
(SFTA)
.
43
2.4.3
EVENT
TREE
ANALYSIS
(ETA)
.
46
V
2.4.4
MARKOV-MODELL
.
47
2.4.5
PETRI-NETZE
.
49
2.4.6
SOFTWARE
FAULT
INJECTION
(SFI)
.52
2.4.7
SOFTWARE
HAZOP
.
57
2.4.9
SOFTWARESICHERHEITSANALYSE
AM
BEISPIEL
EINES
VOLLSTAENDIG
DIGITALEN
REAKTORSCHUTZSYSTEMS
AUS
KOREA
.
64
2.4.10
ZUSAMMENFASSUNG
UND
SCHLUSSFOLGERUNGEN
FUER
DAS
VORHABEN
.
72
2.5
BETRIEBSERFAHRUNG
ZUR
AUSBREITUNG
VON
SOFTWAREFEHLERN
IN
SOFTWAREBASIERTEN
LEITTECHNIKSYSTEMEN
.
76
2.5.1
FEHLERBEDINGTE
SEKUNDAERSEITIGE
LASTABSENKUNG
UND
NICHT
ERFOLGTER
STABEINWURF
.
76
2.5.2
BAUGRUPPENFEHLER
IN
EINER
BRANDMELDEZENTRALE
.
78
2.5.3
VORUEBERGEHENDE
UNVERFUEGBARKEIT
DER
BEDIENSTATIONEN
EINES
RECHNERBASIERTEN
INFORMATIONS
UND
STEUERUNGSSYSTEMS
.
80
3
ENTWICKLUNG
EINES
KONZEPTES
ZUR
UNTERSUCHUNG
VON
SOFTWAREFEHLERN
IN
SOFTWAREBASIERTER
LEITTECHNIK
.
83
3.1
EINLEITUNG
.
83
3.2
GENERISCHES
MODELL/GENERISCHE
BESCHREIBUNG
EINES
SOFTWAREBASIERTEN
LEITTECHNIKSYSTEMS
.
84
3.3
UNTERSUCHUNGSRAHMEN
FUER
DAS
ENTWICKELTE
KONZEPT
.
86
3.4
SPEZIFIKATION
DER
ANWENDUNGSSOFTWARE
SOFTWAREBASIERTER
LEITTECHNIKSYSTEME
.
87
3.5
KONZEPT
ZUR
UNTERSUCHUNG
VON
POTENZIELLEN
AUSFAELLEN
IN
SOFTWAREBASIERTER
LEITTECHNIK
.
90
3.5.1
UEBERBLICK
UEBER
DAS
ANALYSEKONZEPT
.
90
3.5.2
FMEA
AUF
EBENE
DER
ELEMENTAREN
FUNKTIONSBLOECKE
.
92
3.5.3
ANWENDUNGSBEISPIELE
.
96
VI
4
ENTWICKLUNG
EINES
KONZEPTS
ZUR
VALIDIERUNG
DER
ANALYSE
ERGEBNISSE
ZU
DEN
AUSWIRKUNGEN
VON
SOFTWAREFEHLERN
IN
SOFTWAREBASIERTEN
LEITTECHNIKSYSTEMEN
.
103
4.1
EINLEITUNG
.
103
4.2
DAS
ANALYSE
UND
TESTSYSTEM
DER
GRS
.104
4.3
DYNAMISCHE
SIMULATIONEN
ZUR
VALIDIERUNG
DES
SFMEA
ANALYSEKONZEPTES
.108
4.3.1
PRINZIP
DER
DYNAMISCHEN
SIMULATIONEN
.
108
4.3.2
AUTOMATISIERTE
SFMEA
EINES
AND-EFB
.
109
4.3.3
SFMEA
EINER
LEITTECHNIKFUNKTION
BESTEHEND
AUS
MEHREREN
EFB
.
113
4.3.4
ERGAENZENDE
ASPEKTE
ZUR
AUTOMATISIERUNG
DES
SFMEA-KONZEPTS
.
127
4.4
ZUSAMMENFASSUNG
.
128
5
ZUSAMMENFASSUNG
UND
SCHLUSSFOLGERUNG
.
131
LITERATUR
.
137
ABBILDUNGSVERZEICHNIS
.
147
TABELLENVERZEICHNIS
.
151
A
ANHANG:
ERGEBNISSE
VON
SIMULATIONEN
WEITERER
FUNKTIONS
BAUSTEINE
.
153
A.1
OR-EFB
.
153
A.2
LIMITER-EFB
.
154
VII |
| any_adam_object | 1 |
| author | Gatz, Henriette |
| author_facet | Gatz, Henriette |
| author_role | aut |
| author_sort | Gatz, Henriette |
| author_variant | h g hg |
| building | Verbundindex |
| bvnumber | BV049662079 |
| ctrlnum | (OCoLC)1267412187 (DE-599)DNB1237302919 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV049662079</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">240423s2020 gw a||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">21,B51</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1237302919</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783947685851</subfield><subfield code="c">Broschur</subfield><subfield code="9">978-3-947685-85-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1267412187</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1237302919</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">1\p</subfield><subfield code="a">620</subfield><subfield code="2">23sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">2\p</subfield><subfield code="a">004</subfield><subfield code="2">23sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">3\p</subfield><subfield code="a">621.3</subfield><subfield code="2">23sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gatz, Henriette</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken</subfield><subfield code="c">Henriette Gatz [und 7 weitere]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Köln ; Garching b. München ; Berlin ; Braunschweig</subfield><subfield code="b">Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH</subfield><subfield code="c">Juli 2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 155 Seiten</subfield><subfield code="b">Illustrationen</subfield><subfield code="c">30 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">GRS</subfield><subfield code="v">599</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">GRS</subfield><subfield code="v">599</subfield><subfield code="w">(DE-604)BV008889593</subfield><subfield code="9">599</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:DE-101</subfield><subfield code="q">application/pdf</subfield><subfield code="u">https://d-nb.info/1237302919/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035005290&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">dnb</subfield><subfield code="d">20211217</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#dnb</subfield></datafield><datafield tag="883" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">dnb</subfield><subfield code="d">20211217</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#dnb</subfield></datafield><datafield tag="883" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">dnb</subfield><subfield code="d">20211217</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#dnb</subfield></datafield></record></collection> |
| id | DE-604.BV049662079 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T07:28:38Z |
| institution | BVB |
| isbn | 9783947685851 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035005290 |
| oclc_num | 1267412187 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | VII, 155 Seiten Illustrationen 30 cm |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH |
| record_format | marc |
| series | GRS |
| series2 | GRS |
| spelling | Gatz, Henriette Verfasser aut Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken Henriette Gatz [und 7 weitere] Köln ; Garching b. München ; Berlin ; Braunschweig Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH Juli 2020 VII, 155 Seiten Illustrationen 30 cm txt rdacontent n rdamedia nc rdacarrier GRS 599 GRS 599 (DE-604)BV008889593 599 B:DE-101 application/pdf https://d-nb.info/1237302919/04 Inhaltsverzeichnis DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035005290&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p dnb 20211217 DE-101 https://d-nb.info/provenance/plan#dnb 2\p dnb 20211217 DE-101 https://d-nb.info/provenance/plan#dnb 3\p dnb 20211217 DE-101 https://d-nb.info/provenance/plan#dnb |
| spellingShingle | Gatz, Henriette Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken GRS |
| title | Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken |
| title_auth | Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken |
| title_exact_search | Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken |
| title_full | Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken Henriette Gatz [und 7 weitere] |
| title_fullStr | Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken Henriette Gatz [und 7 weitere] |
| title_full_unstemmed | Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken Henriette Gatz [und 7 weitere] |
| title_short | Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken |
| title_sort | erforschung von ausbreitungswegen von softwarefehlern in softwarebasierter leittechnik in kernkraftwerken |
| url | https://d-nb.info/1237302919/04 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035005290&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV008889593 |
| work_keys_str_mv | AT gatzhenriette erforschungvonausbreitungswegenvonsoftwarefehlerninsoftwarebasierterleittechnikinkernkraftwerken |
There is no print copy available.
Indexes