Logo des Repositoriums
 

Aspekte des Sicherheitsnachweises zum Einsatz rechnergestützter Leittechnik in kerntechnischen Anlagen

dc.contributor.authorSeidel, Freddy
dc.contributor.editorDadam, Peter
dc.contributor.editorReichert, Manfred
dc.date.accessioned2019-10-11T11:42:09Z
dc.date.available2019-10-11T11:42:09Z
dc.date.issued2004
dc.description.abstractIm Nachweisverfahren zum Einsatz rechnergestützter Sicherheitsleittechnik in Kernkraftwerken müssen systemtechnische und leittechnische Anforderungen sowie Anforderungen an die Softwareentwicklung berücksichtigt werden. Für Leittechnikfunktionen mit höchster Sicherheitsbedeutung (Reaktorschutz) ist dabei insbesondere nachzuweisen, dass der systematische Ausfall der Komponenten eines Leittechnikteilsystems – etwa infolge eines Softwarefehlers – vom Gesamtsystem beherrscht wird. Auf Aspekte des Sicherheitsnachweises wie Software-Fehlerpostulate, Bewertung von Software-Diversität und -Komplexität sowie Kriterien zur Akzeptanz der Betriebserfahrung bei früheren Applikationen wird eingegangen.de
dc.identifier.isbn3-88579-379-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/28818
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofInformatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-50
dc.titleAspekte des Sicherheitsnachweises zum Einsatz rechnergestützter Leittechnik in kerntechnischen Anlagende
dc.typeText/Conference Paper
gi.citation.endPage71
gi.citation.publisherPlaceBonn
gi.citation.startPage67
gi.conference.date20.-24. September 2004
gi.conference.locationUlm
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings.50-11.pdf
Größe:
341.74 KB
Format:
Adobe Portable Document Format