Tradução automática, não revista por um falante nativo. O inglês é a referência.

Páginas de tipos de cenárioEditar no GitHubFonte: docs/kinds/by-kind/oem-interop.md

oem-interop (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Análise de missão, enlaces e operações espaciais. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED a menos que a matriz diga outra coisa (como um rótulo é obtido: a seção Evidence do README).

O que faz#

Ponte de interoperabilidade CCSDS OEM: importa uma Orbit Ephemeris Message produzida por uma ferramenta externa de dinâmica de voo (GMAT/Orekit/STK emitem OEM) e informa os seus segmentos/objetos/referenciais/intervalo de épocas, além de uma verificação de consistência de velocidade; sem entrada, faz a ida e volta de uma órbita de referência gerada e informa a fidelidade entre importação e exportação. Verificação de ingestão estrutural/física MODELLED, NÃO uma validação da exatidão orbital da fonte.

Uma execução de scenarios/oem-interop.toml resume-se assim: oem-interop: round-tripped 2 segment(s), 12 states; max round-trip error 4.88e-7 km / 4.61e-10 km/s (MODELLED interop)

Entradas#

A partir do esquema (kshana kinds --json):

  • Campos obrigatórios: nenhum
  • Campos opcionais: oem_text

O exemplo scenarios/oem-interop.toml define, entre outros:

Campo Valor Unidade
kind oem-interop texto

Execute#

kshana scenarios/oem-interop.toml

O que ele fornece#

Os resultados escalares dessa execução, com as unidades que o motor declara:

Resultado Valor Unidade
evidence.id_rule o id estável da linha da matriz (o ID texto
evidence.matrix docs/VERIFICATION-MATRIX.md texto
evidence.tier MODELLED texto
n_segments 2 contagem
n_states_total 12 contagem
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

Rótulo do resultado (o do motor): MODELLED — ponte de interoperabilidade de importação/ida e volta CCSDS OEM (GMAT/Orekit/STK emitem OEM); uma verificação de ingestão estrutural + física, NÃO uma validação da exatidão orbital da fonte

O gráfico que o motor escreve para scenarios/oem-interop.toml, tipo de cenário oem-interop

Evidências#

VALIDATED: as linhas da matriz de verificação que nomeiam este tipo de cenário.

  • VALIDATED Importador CCSDS 502,0 OEM (parse_oem), tolerante a linhas COMMENT / palavras-chave extras de metadados / blocos de covariância e a inversa exata do escritor; ida e volta + ingestão de arquivo externo com uma verificação de consistência de velocidade. Testes: ccsds_oem_interop_reference.rs.

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas são nomeadas ali):

  • MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo que a linha permanece MODELLED
  • VALIDATED Importador CCSDS 502,0 OEM (parse_oem), tolerante a linhas COMMENT / palavras-chave extras de metadados / blocos de covariância e a inversa exata do escritor; ida e volta + . Referência independente (ExternalDataset): analisador CCSDS-502 independente de terceiros oem 0.4.5 (MIT, https://pypi.org/project/oem/) — uma base de código separada que decodifica o OEM EME2000/UTC emitido pelo kshana byte a byte de forma idêntica (24 estados em 2 fixtures, Δ de pos/vel = 0) e cujo leitor estrito confirma os tokens de metadados; o analisador do kshana também concorda com ela em um OEM externo incluído no repositório. Duas constatações honestas de interoperabilidade (a biblioteca oem rejeita o mu por satélite do kshana

Limitações#

O que o próprio relatório da execução diz que não é modelado ou não é validado:

  • MODELLED — ponte de interoperabilidade de importação/ida e volta CCSDS OEM (GMAT/Orekit/STK emitem OEM); uma verificação de ingestão estrutural + física, NÃO uma validação da exatidão orbital da fonte (resultado label)
  • Verificação de ingestão estrutural/física MODELLED, NÃO uma validação da exatidão orbital da fonte. (catálogo de tipos de cenário (kshana kinds --json))
  • ESCOPO HONESTO: verificação de ingestão estrutural + física MODELLED, NÃO uma validação da exatidão orbital das efemérides da fonte. Execução: kshana scenarios/oem-interop.toml (comentário do arquivo de cenário, linhas 11 a 13)
  • Reprodutibilidade e garantia de software é MODELLED, não validada: uma subafirmação é verificada externamente, mas a capacidade inteira compõe peças modeladas, de modo que a capacidade permanece modelada. (matriz de verificação (docs/MODELLED-RATIONALE.md))

Veja também#