Zertifizierungsgerechter Entwurf betriebsmitteladäquater Automatisierungssysteme mit Sicherheitsverantwortung

Zusammenfassung

Programmierbare elektronische Systeme für sicherheitsgerichtete Anwendungen werden nach Prüfung durch Menschen sicherheitstechnisch abgenommen. Für den praktischen Einsatz können nur solche Systeme zertifiziert werden, die Menschen zuvor als weitestgehend frei von sicherheitskritischen Entwurfsfehlern befunden haben. Komplexität kommt hierbei eine besondere Bedeutung zu, da von ihr die Verstehbarkeit von Systementwürfen abhängt. Betriebsmitteladäquatheit ist ein essentielles Element zur Komplexitätsminimierung und hat darüber hinaus weitere, ausfalltolerierende Auswirkungen. Ziel dieser Arbeit ist daher, die im Entwurfslebenszyklus sicherheitsgerichteter programmierbarer elektronischer Systeme eingesetzten Methoden dahingehend zu verbessern, dass Komplexität durch konsequente Anwendung von Betriebsmitteladäquatheit reduziert wird. Dies führt zu verbesserter Prüfbarkeit und damit zu sichereren Systemen. Inhaltsverzeichnis 1 Einleitung 1 1.1 Ziele der Arbeit . . . . . . . . . . . . . . . . . . 1 1.2 Beispiele für sicherheitsrelevante Ausfälle . . . . . . 2 1.2.1 Mars Pathfinder . . . . . . . . . . . . . . . . . . . 2 1.2.2 Transienter Fehlereinfluss schneller Neutronen . . ....