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

Zusammenfassung
Im 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.
  • Vollständige Referenz
  • BibTeX
Seidel, F., (2004). Aspekte des Sicherheitsnachweises zum Einsatz rechnergestützter Leittechnik in kerntechnischen Anlagen. In: Dadam, P. & Reichert, M. (Hrsg.), Informatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. (S. 67-71).
@inproceedings{mci/Seidel2004,
author = {Seidel, Freddy},
title = {Aspekte des Sicherheitsnachweises zum Einsatz rechnergestützter Leittechnik in kerntechnischen Anlagen},
booktitle = {Informatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2004},
editor = {Dadam, Peter AND Reichert, Manfred} ,
pages = { 67-71 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.50-11.pdf341.7Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-379-2
ISSN: 1617-5468
Datum: 2004
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige