Tabla de GRC intrínseco
El riesgo en tierra de partida: cada combinación de escenario operacional y características del UAS del motor, comparada contra la tabla oficial de GRC intrínseco de SORA 2.5.
«Celda a celda»
no es un eslogan
En la home y en la comparativa decimos que el motor SORA 2.5 está verificado celda a celda contra las tablas JARUS/EASA. Un claim así no se afirma: se documenta. Esta página cuenta qué se comparó, contra qué, qué encontramos y dónde están los límites.
[ LA METODOLOGÍA ]
Contra qué se verificó
La fuente de verdad no fue un resumen, un curso ni la implementación de otro software: fueron los documentos oficiales. Por el lado de JARUS, la metodología SORA v2.5 publicada en 2024 — el Main Body y sus anexos, que definen las tablas de riesgo en tierra, las mitigaciones y los niveles de integridad. Por el lado de EASA, las AMC/GM al Reglamento (UE) 2019/947 que adoptan SORA 2.5 en la Unión Europea mediante la ED Decision 2025/018/R, aplicable desde el 29 de septiembre de 2025.
El método es tan poco glamuroso como suena: abrir el documento oficial y el código del motor en paralelo y recorrer cada tabla celda a celda — cada valor de GRC, cada crédito de mitigación, cada mapeo de AEC a ARC, cada celda de la matriz SAIL y cada OSO con su robustez — comprobando que el motor devuelve exactamente lo que el documento dice. Donde hay reglas de decisión en texto en lugar de tablas, se contrastó la lógica implementada contra el párrafo que la define.
Si quieres entender la metodología en sí, tienes la guía completa de SORA 2.5 y la página de la función de compliance SORA.
[ La verificación de un vistazo ]
- Objeto
- Motor SORA 2.5 de AeroCopi (GRC → ARC → SAIL → OSO)
- Método
- Comparación celda a celda de tablas y reglas de decisión
- Fuente JARUS
- SORA v2.5 — Main Body y anexos (2024)
- Fuente EASA
- AMC/GM al Reglamento (UE) 2019/947 · ED Decision 2025/018/R
- Aplicable en la UE
- Desde el 29 de septiembre de 2025
- Hallazgos
- 1 discrepancia detectada y corregida (mapeo AEC → ARC)
- Anti-regresión
- Batería de golden cases en cada cambio del motor
- Naturaleza
- Verificación interna — no es un sello de EASA/AESA
[ EL ALCANCE ]
Qué se comparó, bloque a bloque
El flujo SORA 2.5 son seis bloques de tablas y reglas encadenados. Los seis pasaron por la comparación contra el documento oficial. Ninguno se dio por bueno «porque ya funcionaba».
Mitigaciones M1/M2
Los créditos de reducción del GRC y las condiciones para aplicarlos. Verificamos que el motor concede exactamente la reducción que la metodología permite, ni un punto más.
Mapeo AEC → ARC inicial
La asignación de cada categoría de encuentro aéreo (AEC) a su clase de riesgo aire (ARC). Aquí apareció la única discrepancia de toda la verificación — la contamos más abajo.
Mitigaciones estratégicas del ARC
Las reglas que permiten bajar del ARC inicial al ARC residual, con las condiciones y los topes que la metodología impone a cada reducción.
Matriz SAIL
El cruce de GRC final y ARC residual que determina el SAIL (I–VI). Cada celda de la matriz del motor, contrastada una a una contra la matriz oficial.
Lista de OSO por SAIL
Qué objetivos de seguridad operacional aplican a cada SAIL y con qué nivel de robustez exigido. La lista completa del motor, comparada contra la tabla oficial.
[ LO QUE ENCONTRAMOS ]
Una discrepancia real, corregida
Una verificación que no encuentra nada da un poco de desconfianza. Esta encontró una cosa: en el mapeo de categorías de encuentro aéreo, el AEC 3 no estaba asignado al ARC que le corresponde según la tabla oficial (ARC-c). El resto del flujo — GRC, mitigaciones, matriz SAIL, OSO — salió limpio de la comparación.
Se corrigió el mapeo, se re-verificó el bloque completo de ARC y ese caso quedó congelado como golden case: si alguna vez un cambio en el motor vuelve a romper esa asignación, la batería de pruebas lo bloquea antes de que llegue a ninguna evaluación.
Lo contamos porque es la parte del claim que más cuesta decir en una web de producto y la que más vale: la verificación no fue un trámite para poner una frase bonita en la home. Miró de verdad, encontró un error de verdad y lo arregló antes de que afectara a ningún expediente.
[ ANTI-REGRESIÓN ]
Golden cases: la verificación que no caduca
Verificar una vez y confiar para siempre no sirve: el motor evoluciona, y cada cambio es una oportunidad de romper algo que ya estaba bien. Por eso la verificación quedó fijada en una batería de golden cases — escenarios de prueba con resultado esperado conocido — que se ejecuta en cada cambio del motor.
Resultado esperado conocido
Cada golden case es un escenario SORA completo — entradas concretas y el GRC, ARC, SAIL y OSO que deben salir según los documentos oficiales. El resultado correcto se fija por adelantado, no se deduce del código.
Corren en cada cambio del motor
La batería se ejecuta automáticamente cada vez que se toca el motor SORA. No depende de que alguien se acuerde de comprobar: comprueba sola.
Si un resultado se desvía, el cambio no sale
Cualquier modificación que altere un resultado esperado falla la batería y se bloquea. Una regresión en una tabla no puede llegar a tu evaluación sin que salte antes.
La batería cubre escenarios del flujo completo, incluido el caso de AEC corregido durante la verificación. Cuando JARUS o EASA publiquen cambios que afecten a tablas o reglas, motor y golden cases se actualizan a la vez.
[ LÍMITES ]
Lo que esta verificación no es
Un claim honesto incluye sus límites. Estos son los de este, sin letra pequeña.
No es un sello oficial
La verificación es interna: la hicimos nosotros, contra documentos públicos. Ni EASA ni AESA han certificado, auditado ni avalado el motor de AeroCopi. No existe hoy un sello oficial para software SORA.
AESA valida cada expediente
Que el motor calcule bien no significa que tu operación esté autorizada. AESA evalúa cada solicitud individualmente y puede pedir cambios, aclaraciones o evidencia adicional.
El operador sigue siendo responsable
El motor calcula con las tablas correctas, pero calcula sobre los datos que tú introduces. La caracterización de tu operación, tus mitigaciones reales y lo que presentas a la autoridad son responsabilidad tuya.
No es asesoramiento legal
Esta página y el motor son herramientas de cálculo y documentación. El contenido es informativo; la fuente oficial y vinculante es siempre AESA y la normativa en vigor.
Documento generado por AeroCopi como herramienta de apoyo. No sustituye la verificación del operador ni la validación de AESA/ENAIRE. El operador es el único responsable de la operación, de los datos introducidos y de la documentación que presenta a la autoridad. Contenido informativo; verifica siempre la versión vigente de la normativa y de la metodología SORA antes de operar.
[ PREGUNTAS ]
Sobre la verificación
No. Es una verificación interna: comparamos cada tabla y cada regla de decisión del motor SORA 2.5 de AeroCopi contra los documentos oficiales de JARUS y EASA, que son públicos. Ni EASA ni AESA certifican ni avalan software SORA de terceros, así que ningún competidor puede tener ese sello tampoco. Lo que sí puedes hacer es reproducir la comprobación tú mismo: las tablas oficiales están publicadas y cualquier resultado del motor se puede contrastar contra ellas.
SORA 2.5, la versión vigente: la publicada por JARUS en 2024 (Main Body y anexos) y adoptada por EASA como AMC/GM al Reglamento (UE) 2019/947 mediante la ED Decision 2025/018/R, aplicable en la UE desde el 29 de septiembre de 2025. Cada Estado miembro puede mantener un periodo de transición para expedientes preparados con SORA 2.0; en España la referencia es AESA.
Los revisamos y, si tocan tablas o reglas de decisión, actualizamos el motor y los golden cases a la vez. Ejemplo real: EASA publicó un Corrigendum a la ED Decision 2025/018/R; lo revisamos y era solo editorial — no cambia ningún resultado del motor. Ese es el proceso: cada publicación oficial se contrasta contra lo implementado antes de decidir si hay que tocar algo.
Hoy no están publicados como documento descargable: son la batería de pruebas interna del motor. Lo que sí es verificable por cualquiera es el resultado: las tablas oficiales de JARUS y EASA son públicas, y puedes contrastar cualquier evaluación de AeroCopi contra ellas celda a celda. Si eres operador y necesitas detalle de la verificación para tu expediente, escríbenos a hola@aerocopi.com y te contamos qué cubre.
No, y desconfía de quien te lo garantice. La verificación asegura que el cálculo GRC → ARC → SAIL → OSO sigue fielmente la metodología oficial; no sustituye la evaluación individual que AESA hace de cada expediente ni la calidad de los datos que tú introduces. El motor te quita los errores de tabla y de cruce; la operación y su autorización siguen siendo tuyas.