AURA Port – Sistema de Verificación Formal para Operaciones Portuarias

AURA Port es una extensión del marco AURA (Autonomous Uncertainty-Aware Resilience Architecture) diseñada para operaciones portuarias críticas. Combina fusión bayesiana multifuente, detección de anomalías contextualizadas y verificación formal mediante PVS para generar decisiones operativas matemáticamente certificadas.  

El sistema integra observaciones meteorológicas y oceanográficas (AEMET, NASA POWER, Copernicus, boyas REDEXT) para calcular índices de riesgo y emitir certificados auditables de seguridad.  

El informe presenta la arquitectura multicapa, validación operacional en Madrid-Chamartín, simulaciones para Puertos del Estado y una propuesta de implementación nacional, con fases, métricas de éxito y gobernanza.