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.