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/space-packet.md

space-packet (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#

Enquadramento do CCSDS 133.0-B Space Packet Protocol: codifica um fluxo sintético de pacotes TM/TC (cabeçalho primário de 6 octetos + campo de dados) e informa a decodificação do cabeçalho por pacote, o total de octetos e um ciclo exato de codificação↔decodificação. Enquadramento determinístico de layout de bits exato — a camada de interoperabilidade do formato de pacotes das agências; NÃO é uma certificação de aderência à norma (sem lógica de cabeçalho secundário/CRC/segmentação além dos flags).

Uma execução de scenarios/space-packet.toml resume-se assim: space-packet: 4 pacote(s) TM CCSDS-133.0 enquadrado(s) APID 100, 152 octetos no total, ciclo completo exato (true)

Entradas#

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

  • Campos obrigatórios: nenhum
  • Campos opcionais: apid, telecommand, packet_count, data_len

O exemplo scenarios/space-packet.toml define, entre outros:

Campo Valor Unidade
apid 100 1
data_len 32 não indicado
kind space-packet texto
packet_count 4 contagem
telecommand false flag

Execute#

kshana scenarios/space-packet.toml

O que ele fornece#

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

Resultado Valor Unidade
apid 100 1
data_len_octets 32 octeto
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
first_packet.apid 100 1
first_packet.data_length_field 31 1
first_packet.index 0 1
first_packet.primary_header_hex 00 64 40 00 00 1F texto
first_packet.sequence_count 0 1

Rótulo do resultado (do mecanismo): enquadramento do cabeçalho primário do CCSDS 133.0-B Space Packet — layout de bits exato e determinístico, ciclo de codificação↔decodificação verificado; NÃO é uma certificação de aderência à norma (sem lógica de cabeçalho secundário / CRC / segmentação além dos flags)

O gráfico que o mecanismo gera para scenarios/space-packet.toml, tipo space-packet

Evidências#

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

  • VALIDATED Codificação/decodificação do cabeçalho primário do CCSDS 133.0-B Space Packet (version/type/sec-hdr/APID/seq-flags/count/data-length) + um cenário de enquadramento. Testes: ccsds_space_packet_reference.rs.
  • VALIDATED Extensões do CCSDS 133.0-B-2 Space Packet além do cabeçalho primário: um cabeçalho secundário que carrega um código de tempo CCSDS 301.0-B (CUC ou CDS, campo P explícito ou implícito) e dados auxiliares, o campo de controle de erro de pacote CRC-16, a segmentação de um Testes: space_packet_ext_oracle.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 Codificação/decodificação do cabeçalho primário do CCSDS 133.0-B Space Packet (version/type/sec-hdr/APID/seq-flags/count/data-length) + um cenário de enquadramento. Executável pela CLI/bind. Referência independente (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — uma implementação independente de terceiros do CCSDS 133.0-B-2; encode_packet/decode_packet do kshana coincidiram byte a byte (o cabeçalho primário de 6 octetos para 33 casos + o pacote codificado completo para 12)

Limitações#

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

  • 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#