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

Ваши рассуждения созвучны с фразой "чуть-чуть беременна".  А вы сами - выгодная жертва для торговцев всякой эзотерической шнягой, они вас в два счета убедят, что именно этого вам не хватало, для увеличения надежности. fk0 все чотко расписал, если нету возможности добиться необходимого тестового покрытия (за счет архитектуры ПО и тестлабов с их оборудованием), а так же нет культуры написания ПО - все эти "надежные" контроллеры - мертвому припарка. Т.е. сначала код и испытания, а уже потом ECC, а не наоборот.