Güvenli arıza (fail-safe)
Bir arızanın sistemi yalnızca bilinmeyen bir duruma değil, zararsız bir duruma sürüklemesi gerektiği tasarım ilkesi.
Ders kitabı örneği, Westinghouse’un 1872 tarihli otomatik hava frenidir: hava basıncı trenin frenlerini açık tutar, yani patlayan bir hortum treni frensiz bırakmak yerine durdurur. Gömülü sistemler de aynı mantığı izler. Sıfırlamadan sonra mikrodenetleyicinin bacakları yüksek empedanslı girişlerdir; bu yüzden bir motor sürücüsünün, yazılım yeniden başlarken kapalı kalması için pull-down direncine ihtiyacı vardır — aksi hâlde her watchdog sıfırlaması motorun kısa süreliğine denetimsiz çalışması demektir.
Neyin güvenli sayılacağı uygulamaya bağlıdır. Bir endüstriyel robot durur; bir uçak duramaz ve bunun yerine fail-operational olmalıdır — arızaya rağmen çalışmayı sürdürmeli, bu da yedeklilik demektir. IEC 61508 gibi standartlar güvenli durumun açıkça tanımlanmasını ve sistemin ona ulaştığının gösterilmesini şart koşar.