Крысбургеры

> увеличивает сложность всей системы и, соответственно, уменьшает ее надежность,

А вот это распространенное заблуждение. Верно только для последовательных систем без дублирования.

> Учитывая, что задача проверки надежности системы

Тоже неверно. У вас что - не было курса теории надежности?