Verfügbarkeit: Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken

Erforschung von Ausbreitungswegen von Softwarefehlern in softwarebasierter Leittechnik in Kernkraftwerken:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Gatz, Henriette (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Köln ; Garching b. München ; Berlin ; Braunschweig Gesellschaft für Anlagen- und Reaktorsicherheit (GRS) gGmbH Juli 2020
Schriftenreihe:	GRS 599
Online-Zugang:	Inhaltsverzeichnis Inhaltsverzeichnis
Beschreibung:	VII, 155 Seiten Illustrationen 30 cm
ISBN:	9783947685851

Internformat

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

Datensatz im Suchindex

_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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis
Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge