Средства и методы разработки

По поводу реле и дефектов. По поводу дефектов могу задать вопросы. Цитирую:

Исследователи провели автоматическую проверку на наличие ошибок и уязвимостей порядка 300 миллионов строк кода 41-го проприетарного программного продукта

Во-вторых, не ясно сколько строк(дефектов) в коде программы автоматической проверки? Ну и в-первых что такое дефект? По поводу реле у меня есть практические данные по системах включения питания и терморегулирования изготовленных на реле. Современные реле довольно надежная штука, герметичный корпус платиновые контакты приближают их к идеалу программиста ;-). Есть небольшое "но", для управления реле нужен активный элемент управления и диод для защиты активного элемента от выброса напряжения. Так как в двоичной системе отказов диод имеет два вида отказа(пробой и обрыв), то для от выбросов каждого реле нужно 4 диода в последовательно-параллельном включении. Реле также имеет 2 вида отказов(обгорание и залипание контактов) В результаты контакты реле дублируются в параллель и последовательно. Ну и активный элемент управления тоже. В итоге, схема подачи питания и регулировки температуры на 4 дисретных значения разрастается на формат А2, и в конечном итоге гарантируется вероятность безотказной работы 0,98 в течении 5 лет плюс 2 года хранения на складе.