Cinco formas de buscar errores
- Comparación con otros programas: los mismos modelos, fijos y generados al azar cada noche, se resuelven con OpenSees, Code_Aster, Frame3DD, PyNite, MYSTRAN, Kratos y CalculiX, y cada diferencia se investiga.
- Referencias publicadas: casos con resultados publicados por sus autores, y verificaciones de diseño contrastadas con ejemplos resueltos publicados (INTI-CIRSOC, AISC y otros).
- Invariantes físicos: rotar, reflejar o renumerar un modelo, o cambiar sus unidades, tiene que cambiar la respuesta exactamente como dice la física.
- Derivaciones: las matrices de las barras se derivan simbólicamente y se comparan término a término con el código.
- Fuzzing y pruebas de mutación: millones de entradas generadas buscan fallas, y se introducen errores a propósito para comprobar que las pruebas los detectan.
Resultados con una cota de error
Para los resultados que lo admiten, Stabileo calcula con aritmética de intervalos una cota que contiene la solución exacta del sistema que resolvió; cuando no puede, el resultado se marca como no certificado, con el motivo. La matemática central está demostrada en Lean para el análisis lineal, las combinaciones, el análisis modal y el colapso plástico. Desde la 0.3.0, en el análisis lineal de pórticos y reticulados la cota se verifica además contra el modelo mismo, con un armado independiente.
Por qué publicamos los avisos de seguridad
Esta verificación encontró errores reales, muchos del lado inseguro. Publicamos los que pudieron afectar resultados ya usados, con cómo reconocer un modelo afectado y qué revisar, porque un error que no se informa sigue en los cálculos ya entregados.
- SA-2026-001 a 004 se corrigieron en la versión 0.2.0.
- SA-2026-005 a 020 se corrigieron en la versión 0.3.0.
- La aplicación avisa una vez cuando los resultados pueden haber cambiado, y los proyectos guardados antes de un cambio que los afecta piden revisión al abrirlos.
Lo que ninguna verificación garantiza
- Una cota de error acota el error numérico; no prueba que el modelo sea correcto ni acota el error de discretización de la malla.
- Todavía no hubo una revisión independiente de un ingeniero estructural matriculado, y los resultados de acero según CIRSOC 301 siguen rotulados como experimentales.
- El análisis no lineal de material es un modelo secante de barra completa.
- El módulo PRO, que incluye el diseño normativo, sigue en desarrollo.
- Los problemas de seguridad abiertos son públicos en GitHub, y el nivel de verificación de cada análisis, elemento y reglamento está en la matriz de madurez.
En resumen: Stabileo sirve para análisis que se pueden contrastar, para enseñar y para diseñar cuando un ingeniero revisa los resultados que gobiernan, como con cualquier programa. Si tu proceso exige un programa comercial revisado o certificado de forma independiente, Stabileo todavía no llegó ahí, y lo decimos.
Preguntas frecuentes
¿Stabileo es confiable para un cálculo estructural real?
Sus resultados se verifican de cinco maneras independientes, entre ellas la comparación con otros siete programas de elementos finitos y cotas de error demostradas en Lean, y los errores que pudieron afectar resultados ya usados se publican; los que siguen en evaluación son públicos en GitHub. Todavía no tuvo una revisión independiente de un ingeniero matriculado y el módulo PRO sigue en desarrollo, así que, como con cualquier programa, quien calcula revisa el modelo y los resultados que gobiernan.
¿Por qué Stabileo publica avisos de seguridad?
Porque su programa de verificación encontró errores reales, muchos del lado inseguro, y un error que no se informa sigue en los cálculos ya entregados. Cada aviso dice cómo reconocer un modelo afectado y qué revisar.
¿Los avisos publicados están corregidos?
Sí. SA-2026-001 a 004 se corrigieron en la versión 0.2.0 y SA-2026-005 a 020 en la 0.3.0.