Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/space-packet.md

space-packet (scenariotyp)

Scenariotyp i motor v0.40.0, familj Uppdragsanalys, länkar och rymdoperationer. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Ramning enligt CCSDS 133.0-B Space Packet Protocol: koda en syntetisk TM/TC-paketström (6-oktetts primärhuvud + datafält) och redovisa avkodning av huvudet per paket, totalt antal oktetter och en exakt rundtur kodning↔avkodning. Deterministisk ramning med exakt bitlayout — interoperabilitetslagret för myndigheters paketformat; INTE en certifiering av överensstämmelse (ingen logik för sekundärhuvud/CRC/segmentering utöver flaggorna).

En körning av scenarios/space-packet.toml sammanfattas som: space-packet: framed 4 CCSDS-133.0 TM packet(s) APID 100, 152 octets total, round-trip exact (true)

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: inga
  • Valfria fält: apid, telecommand, packet_count, data_len

Exemplet scenarios/space-packet.toml anger bland annat:

Fält Värde Enhet
apid 100 1
data_len 32 inte angivet
kind space-packet text
packet_count 4 antal
telecommand false flagga

Kör den#

kshana scenarios/space-packet.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
apid 100 1
data_len_octets 32 octet
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
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 text
first_packet.sequence_count 0 1

Resultatetikett (motorns egen): CCSDS 133.0-B Space Packet, ramning av primärhuvudet — exakt, deterministisk bitlayout, rundtur kodning↔avkodning verifierad; INTE en certifiering av överensstämmelse (ingen logik för sekundärhuvud / CRC / segmentering utöver flaggorna)

Diagrammet som motorn skriver för scenarios/space-packet.toml, typ space-packet

Evidens#

VALIDATED: raderna i verifieringsmatrisen som nämner den här typen.

  • VALIDATED Kodning/avkodning av primärhuvudet i CCSDS 133.0-B Space Packet (version/typ/sek-huvud/APID/sekvensflaggor/räknare/datalängd) + ett ramningsscenario. Tester: ccsds_space_packet_reference.rs.
  • VALIDATED Tillägg i CCSDS 133.0-B-2 Space Packet vid sidan av primärhuvudet: ett sekundärhuvud med en tidskod enligt CCSDS 301.0-B (CUC eller CDS, explicit eller implicit P-fält) och ancillär data, felkontrollfältet CRC-16 för paketet, segmentering av en Tester: space_packet_ext_oracle.rs.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • VALIDATED Kodning/avkodning av primärhuvudet i CCSDS 133.0-B Space Packet (version/typ/sek-huvud/APID/sekvensflaggor/räknare/datalängd) + ett ramningsscenario. Kan köras från CLI/bind. Oberoende referens (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — en oberoende implementation från tredje part av CCSDS 133.0-B-2; kshanas encode_packet/decode_packet matchade byte för byte (det 6-oktetts primärhuvudet för 33 fall + hela det kodade paketet för 12)

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#