Я перестал верить в надежность этих электронных прибамбасов. Авионика это другое. А бытовой автомобиль… ну камон… если даже в мед оборудовании косячат https://en.m.wikipedia.org/wiki/Therac-25
Да и в авионике тоже самое - падали же боинги тогда... Так что да, везде есть косяки и доля добавленной стоимости в софте будет расти, поэтому и надо тестировать и добиваться отказоустойчивости