Hochzuverlässige Komponenten sind nicht unbedingt sicher. .
Unfälle im Zusammenhang mit Software werden in der Regel durch fehlerhafte Anforderungen verursacht.
Sicherheit ist eine emergente Eigenschaft von Systemen, keine Komponenteneigenschaft.
Was [Software] nicht tun darf, ist nicht das Gegenteil von dem, was sie tun muss. .
Zuverlässigkeitsingenieure gehen oft davon aus, dass Zuverlässigkeit und Sicherheit gleichbedeutend sind, diese Annahme trifft jedoch nur in Sonderfällen zu.
Vollständigkeit der Anforderungen: Die Anforderungen reichen aus, um das gewünschte Verhalten der Software von dem eines anderen unerwünschten Programms zu unterscheiden, das möglicherweise entwickelt wird. .