Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/space-packet.md

space-packet (scenariotype)

Scenariotype i motoren v0.40.0, familien Oppdragsanalyse, linker og romoperasjoner. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en tjeneste der liv og sikkerhet står på spill. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: avsnittet Evidence i README).

Hva den gjør#

CCSDS 133.0-B Space Packet Protocol-rammer: kode en syntetisk TM/TC-pakkestrøm (6-oktetters primærhode + datafelt) og rapporter dekodingen av hodet per pakke, totalt antall oktetter og en eksakt rundtur mellom koding og dekoding. Deterministisk, eksakt bitoppsett i rammene, interoperabilitetslaget for byråenes pakkeformat; IKKE en sertifisering av overensstemmelse (ingen logikk for sekundærhode, CRC eller segmentering utover flaggene).

En kjøring av scenarios/space-packet.toml oppsummeres slik: space-packet: framed 4 CCSDS-133.0 TM packet(s) APID 100, 152 octets total, round-trip exact (true)

Inndata#

Fra skjemaet (kshana kinds --json):

  • Påkrevde felt: ingen
  • Valgfrie felt: apid, telecommand, packet_count, data_len

Eksempelet scenarios/space-packet.toml angir blant annet:

Felt Verdi Enhet
apid 100 1
data_len 32 ikke oppgitt
kind space-packet tekst
packet_count 4 antall
telecommand false flagg

Kjør den#

kshana scenarios/space-packet.toml

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
apid 100 1
data_len_octets 32 oktett
evidence.id_rule den stabile id-en til matriseraden (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
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 tekst
first_packet.sequence_count 0 1

Resultatetikett (motorens): CCSDS 133.0-B Space Packet, rammer for primærhode: eksakt, deterministisk bitoppsett, rundtur mellom koding og dekoding verifisert; IKKE en sertifisering av overensstemmelse (ingen logikk for sekundærhode, CRC eller segmentering utover flaggene)

Diagrammet motoren skriver for scenarios/space-packet.toml, type space-packet

Evidens#

VALIDATED: radene i verifikasjonsmatrisen som nevner denne typen.

  • VALIDATED Koding og dekoding av primærhode i CCSDS 133.0-B Space Packet (versjon/type/sek.hode/APID/sekvensflagg/teller/datalengde) + et scenario for rammer. Tester: ccsds_space_packet_reference.rs.
  • VALIDATED Utvidelsene i CCSDS 133.0-B-2 Space Packet ved siden av primærhodet: et sekundærhode med en CCSDS 301.0-B-tidskode (CUC eller CDS, eksplisitt eller implisitt P-felt) og tilleggsdata, CRC-16-feltet for pakkefeilkontroll, segmentering av en Tester: space_packet_ext_oracle.rs.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
  • VALIDATED Koding og dekoding av primærhode i CCSDS 133.0-B Space Packet (versjon/type/sek.hode/APID/sekvensflagg/teller/datalengde) + et scenario for rammer. Kan kjøres fra CLI/binding. Uavhengig referanse (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0), en uavhengig tredjepartsimplementasjon av CCSDS 133.0-B-2; kshanas encode_packet/decode_packet stemte byte for byte (primærhodet på 6 oktetter for 33 tilfeller + hele den kodede pakken for 12)

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#