Zielsetzung dieses Projektes war die notwendigen methodischen Kenntnisse und Hilfsmittel zur Verfügung zu stellen um STPA erfolgreich zur Optimierung und Überprüfung der Auslegung von digitalen Leit- und Reaktorschutzsystemen einsetzen zu können. Zu diesem Zweck werden folgende Fragestellungen geklärt werden: Übertragung von LEFU und ähnlichen Spezifikationen in hierarchische STPA Kontrollstrukturen; Effektive Modellierung hochredundanter Systeme in STPA.