Безопасность - это новое свойство систем, а не компонентное свойство.
То, что [программное обеспечение] не должно делать, это не обратное из того, что оно должно делать. Полем
Справочные аварии обычно вызваны ошибочными требованиями.
Инженеры по надежности часто предполагают, что надежность и безопасность являются синонимичными, но это предположение верно только в особых случаях.
Полность требования: требований достаточно, чтобы отличить желаемое поведение программного обеспечения от поведения любой другой нежелательной программы, которая может быть разработана. Полем
Высоко надежные компоненты не обязательно безопасны. Полем
