Traducción automática, no revisada por un hablante nativo. El inglés es la referencia.

Páginas de tipos de escenarioEditar en GitHubFuente: docs/kinds/by-kind/oem-interop.md

oem-interop (tipo de escenario)

Tipo de escenario del motor v0.40.0, familia Análisis de misión, enlaces y operaciones espaciales. Consultivo: salida de análisis de una herramienta de investigación e ingeniería, no un equipo de navegación homologado ni un servicio de seguridad de la vida humana. Toda etiqueta de aquí es la del motor o la de la matriz de verificación; un tipo de escenario es MODELLED salvo que la matriz diga otra cosa (cómo se gana una etiqueta: la sección Evidence del README).

Qué hace#

Puente de interoperabilidad CCSDS OEM: importa un Orbit Ephemeris Message producido por una herramienta externa de dinámica de vuelo (GMAT/Orekit/STK emiten todas OEM) e indica sus segmentos, objetos, marcos y rango de épocas, más una comprobación de coherencia de velocidad; sin entrada, hace un recorrido de ida y vuelta de una órbita de referencia generada e indica la fidelidad entre importación y exportación. Comprobación de ingesta estructural y física MODELLED, NO una validación de la precisión orbital de la fuente.

Una ejecución de scenarios/oem-interop.toml se resume así: oem-interop: ida y vuelta de 2 segmento(s), 12 estados; error máximo de ida y vuelta 4.88e-7 km / 4.61e-10 km/s (interoperabilidad MODELLED)

Entradas#

Del esquema (kshana kinds --json):

  • Campos obligatorios: ninguno
  • Campos opcionales: oem_text

El ejemplo scenarios/oem-interop.toml establece, entre otros:

Campo Valor Unidad
kind oem-interop texto

Ejecútelo#

kshana scenarios/oem-interop.toml

Qué proporciona#

Los resultados escalares de esa ejecución, con las unidades que indica el motor:

Resultado Valor Unidad
evidence.id_rule el identificador estable de la fila de la matriz (el ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier MODELLED texto
n_segments 2 recuento
n_states_total 12 recuento
originator KSHANA texto
round_trip_max_pos_error_km 4.8822e-7 km
round_trip_max_vel_error_km_s 4.6115e-10 km/s
source round-trip texto

Etiqueta del resultado (la del motor): MODELLED — puente de interoperabilidad de importación y ida y vuelta de CCSDS OEM (GMAT/Orekit/STK emiten OEM); una comprobación de ingesta estructural y física, NO una validación de la precisión orbital de la fuente

El gráfico que el motor genera para scenarios/oem-interop.toml, tipo de escenario oem-interop

Evidencias#

VALIDATED: las filas de la matriz de verificación que nombran este tipo de escenario.

  • VALIDATED Importador de CCSDS 502,0 OEM (parse_oem), tolerante con las líneas COMMENT, las palabras clave de metadatos adicionales y los bloques de covarianza, e inverso exacto del escritor; ida y vuelta + ingesta de archivos externos con una comprobación de coherencia de velocidad. Pruebas: ccsds_oem_interop_reference.rs.

Las filas que la propia ejecución puso a prueba, con la referencia independiente que da la matriz a cada una (las fuentes públicas se nombran allí):

  • MODELLED Determinista, con hash de escenario, SBOM + barreras golden multiplataforma. Referencia independiente (ExternalDataset): ajuste a la norma del SBOM al esquema JSON oficial de CycloneDX 1,5 (+ identificadores SPDX válidos) — un estándar externo publicado, cero errores de validación en todo el grafo de dependencias; la parte de determinismo de FoM / reproducibilidad byte a byte sigue siendo una comprobación de autoconsistencia fijada, por lo que la fila sigue siendo MODELLED
  • VALIDATED Importador de CCSDS 502,0 OEM (parse_oem), tolerante con las líneas COMMENT, las palabras clave de metadatos adicionales y los bloques de covarianza, e inverso exacto del escritor; ida y vuelta + . Referencia independiente (ExternalDataset): Analizador independiente de terceros de CCSDS-502 oem 0.4.5 (MIT, https://pypi.org/project/oem/): una base de código separada que decodifica byte por byte de forma idéntica el OEM EME2000/UTC emitido por kshana (24 estados en 2 archivos de prueba, Δ de pos/vel = 0) y cuyo lector estricto confirma los tokens de metadatos; el analizador de kshana coincide igualmente con él en un OEM externo incorporado. Dos hallazgos honestos de interoperabilidad (la biblioteca oem rechaza el mu por satélite de kshana

Limitaciones#

Lo que el propio informe de la ejecución dice que no está modelado o no está validado:

  • MODELLED — puente de interoperabilidad de importación y ida y vuelta de CCSDS OEM (GMAT/Orekit/STK emiten OEM); una comprobación de ingesta estructural y física, NO una validación de la precisión orbital de la fuente (resultado label)
  • Comprobación de ingesta estructural y física MODELLED, NO una validación de la precisión orbital de la fuente. (catálogo de tipos (kshana kinds --json))
  • ALCANCE HONESTO: comprobación de ingesta estructural y física MODELLED, NO una validación de la precisión orbital de las efemérides de origen. Ejecución: kshana scenarios/oem-interop.toml (comentario del archivo de escenario, líneas 11 a 13)
  • La reproducibilidad y el aseguramiento del software son MODELLED, no están validados: una subafirmación se comprueba externamente, pero la capacidad completa compone piezas modeladas, por lo que la capacidad sigue siendo modelada. (matriz de verificación (docs/MODELLED-RATIONALE.md))

Véase también#