Написание "надежного" софта для "надежных" устройств

Изучаем какие правил можно придерживаться чтобы написанный софт был более надежный и отказоустойчивый (10 правил Nasa и подобные), а так же разбираемся какие аппаратные методы применяют на критически важных электронных устройствах для минимизации вероятности сбоев