Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/space-packet.md

space-packet (scenariosoort)

Scenariotype van de engine v0.40.0, familie Missieanalyse, verbindingen en ruimteoperaties. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen dienst voor het redden van mensenlevens. Elk label hier is dat van de engine of van de verificatiematrix; een type is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

CCSDS 133.0-B Space Packet Protocol-framing: codeer een synthetische TM/TC-pakketstroom (primaire header van 6 octetten + gegevensveld) en rapporteer per pakket de decodering van de header, het totaal aantal octetten en een exacte rondreis van codering↔decodering. Deterministische framing met exacte bitindeling — de interoperabiliteitslaag voor pakketformaten van ruimtevaartorganisaties; GEEN certificering van conformiteit (geen logica voor secundaire header/CRC/segmentatie buiten de vlaggen).

Eén run van scenarios/space-packet.toml vat samen als: space-packet: 4 CCSDS-133.0 TM-pakket(ten) geframed APID 100, in totaal 152 octetten, rondreis exact (true)

Invoer#

Uit het schema (kshana kinds --json):

  • Vereiste velden: geen
  • Optionele velden: apid, telecommand, packet_count, data_len

Het voorbeeld scenarios/space-packet.toml stelt onder meer in:

Veld Waarde Eenheid
apid 100 1
data_len 32 niet vermeld
kind space-packet tekst
packet_count 4 aantal
telecommand false vlag

Uitvoeren#

kshana scenarios/space-packet.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
apid 100 1
data_len_octets 32 octet
evidence.id_rule de stabiele id van de matrixrij (de 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

Resultaatlabel (van de engine): CCSDS 133.0-B Space Packet-framing van de primaire header — exacte, deterministische bitindeling, rondreis van codering↔decodering geverifieerd; GEEN certificering van conformiteit (geen logica voor secundaire header / CRC / segmentatie buiten de vlaggen)

De grafiek die de engine schrijft voor scenarios/space-packet.toml, soort space-packet

Bewijs#

VALIDATED: de rijen van de verificatiematrix die dit kind noemen.

  • VALIDATED Codering/decodering van de primaire header van CCSDS 133.0-B Space Packet (versie/type/sec-hdr/APID/seq-flags/count/data-length) + een framingscenario. Tests: ccsds_space_packet_reference.rs.
  • VALIDATED CCSDS 133.0-B-2 Space Packet-uitbreidingen naast de primaire header: een secundaire header met een CCSDS 301.0-B-tijdcode (CUC of CDS, expliciet of impliciet P-veld) en aanvullende gegevens, het CRC-16-veld voor pakketfoutcontrole, segmentatie van een Tests: space_packet_ext_oracle.rs.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
  • VALIDATED Codering/decodering van de primaire header van CCSDS 133.0-B Space Packet (versie/type/sec-hdr/APID/seq-flags/count/data-length) + een framingscenario. Uitvoerbaar vanuit de CLI/bind. Onafhankelijke referentie (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — een onafhankelijke implementatie van CCSDS 133.0-B-2 door een derde partij; encode_packet/decode_packet van kshana kwamen byte voor byte overeen (de primaire header van 6 octetten voor 33 gevallen + het volledige gecodeerde pakket voor 12)

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#