Fail-safe (estado seguro)
El principio de diseño según el cual un fallo debe llevar el sistema a un estado inofensivo, no simplemente a uno desconocido.
El ejemplo clásico es el freno de aire automático de Westinghouse, de 1872: la presión mantiene los frenos del tren sueltos, de modo que una manguera rota detiene el tren en vez de dejarlo sin frenos. Los sistemas embebidos siguen la misma lógica. Tras un reset, los pines de un microcontrolador son entradas de alta impedancia, así que el driver de un motor necesita una resistencia pull-down que lo mantenga apagado mientras el firmware reinicia; si no, cada reset del watchdog es un breve momento de motor sin control.
Qué es «seguro» depende de la aplicación. Un robot industrial se detiene; un avión no puede, y debe ser fail-operational: seguir funcionando pese al fallo, lo que exige redundancia. Normas como IEC 61508 obligan a definir explícitamente el estado seguro y a demostrar que el sistema lo alcanza.