Modelo de falla
Un modelo de falla es un modelo de ingeniería de algo que podría salir mal en la construcción o el funcionamiento de un equipo. A partir del modelo, el diseñador o el usuario pueden predecir las consecuencias de este fallo en particular. Los modelos de fallas se pueden utilizar en casi todas las ramas de la ingeniería.
Es posible que dos o más fallas produzcan el mismo comportamiento defectuoso para todos los patrones de entrada. Estas fallas se denominan fallas equivalentes. Cualquier falla individual del conjunto de fallas equivalentes puede representar el conjunto completo. En este caso, se requieren mucho menos de k × n pruebas de falla para un circuito con n línea de señal. La eliminación de fallas equivalentes de un conjunto completo de fallas se denomina colapso de fallas. el colapso de fallas reduce significativamente el número de fallas a verificar.
En el diagrama de ejemplo, las fallas rojas son equivalentes a las fallas señaladas con las flechas, por lo que esas fallas rojas se pueden eliminar del circuito. En este caso, la relación de colapso de la falla es 12/20.
La falla F se llama dominante a F' si todas las pruebas de F' detectan F. En este caso, F puede eliminarse de la lista de fallas. Si F domina a F' y F' domina a F, entonces estas dos fallas son equivalentes. [3]
En el ejemplo, se ha mostrado una puerta NAND, el conjunto de todos los valores de entrada que pueden probar el SA0 de la salida es {00,01,10}. el conjunto de todos los valores de entrada que pueden verificar el SA1 de la primera entrada es {01}. En este caso, la falla de salida SA0 es dominante y puede eliminarse de la lista de fallas.
Dos fallas son funcionalmente equivalentes si producen funciones defectuosas idénticas [4] o podemos decir que dos fallas son funcionalmente equivalentes si no podemos distinguirlas en las salidas primarias (PO) con ningún vector de prueba de entrada. [5]
