Resumen

La robustez es una propiedad clave para los sistemas críticos que se ejecutan en entornos inciertos, para asegurar que pequeñas perturbaciones en la entrada solo puedan causar pequeños cambios en la salida. Los sistemas críticos actuales a menudo involucran muchas operaciones de punto flotante que son inexactas. El análisis de la robustez de programas de punto flotante necesita considerar tanto las entradas inciertas como la computación inexacta. En este artículo, proponemos aprovechar la idea de auto-composición para transformar el problema de análisis de robustez en un problema de alcanzabilidad, lo que permite el uso de técnicas estándar de análisis de alcanzabilidad como la verificación de modelos de software y la ejecución simbólica para el análisis de robustez. Para manejar la aritmética de punto flotante, empleamos una abstracción que abarca el efecto del redondeo y que puede abarcar todos los modos de redondeo. Convierte las expresiones de punto flotante en expresiones lineales con coeficientes de intervalo en aritm

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Robustez; Cálculos de punto flotante; Entradas inciertas; Cálculo inexacto; Auto-composición; Problema de alcanzabilidad
• Keywords:Robustness; Floating-point computations; Uncertain inputs; Inexact computation; Self-composition; Reachability problem