Modelo de avería
Un modelo de falla es un modelo de ingeniería de algo que podría salir mal en la construcción u operación de un equipo. A partir del modelo, el diseñador o el usuario pueden predecir las consecuencias de esta falla 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 muchas menos de k × n pruebas de fallas para un circuito con n líneas de señal. eliminar fallas equivalentes de todo el conjunto de fallas se denomina colapso de fallas. el colapso de fallas disminuye significativamente el número de fallas a verificar.
En el diagrama de ejemplo, las fallas rojas son equivalentes a las fallas que se señalan con las flechas, por lo que esas fallas rojas se pueden eliminar del circuito. En este caso, la tasa de colapso de fallas 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 SA0 de 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 se puede eliminar de la lista de fallas.
Dos fallas son funcionalmente equivalentes si producen funciones defectuosas idénticas [4] o podemos decir, dos fallas son funcionalmente equivalentes si no podemos distinguirlas en las salidas primarias (PO) con cualquier vector de prueba de entrada. [5]
