Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/space-packet.md

space-packet (Szenariotyp)

Szenarioart der Engine v0.40.0, Familie Missionsanalyse, Links und Raumfahrtbetrieb. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Framing nach CCSDS 133.0-B Space Packet Protocol: einen synthetischen TM/TC-Paketstrom kodieren (Primärheader mit 6 Oktetten + Datenfeld) und die Dekodierung des Headers je Paket, die Gesamtzahl der Oktette und einen exakten Rundlauf aus Kodierung und Dekodierung ausgeben. Deterministisches Framing mit exaktem Bitlayout — die Interoperabilitätsschicht für Paketformate der Agenturen; KEINE Konformitätszertifizierung (keine Logik für Sekundärheader, CRC oder Segmentierung über die Flags hinaus).

Ein Lauf von scenarios/space-packet.toml fasst sich so zusammen: space-packet: 4 CCSDS-133.0-TM-Paket(e) mit APID 100 gerahmt, 152 Oktette insgesamt, Rundlauf exakt (true)

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: apid, telecommand, packet_count, data_len

Das Beispiel scenarios/space-packet.toml setzt unter anderem:

Feld Wert Einheit
apid 100 1
data_len 32 nicht angegeben
kind space-packet Text
packet_count 4 Anzahl
telecommand false Flag

Ausführen#

kshana scenarios/space-packet.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnis Wert Einheit
apid 100 1
data_len_octets 32 octet
evidence.id_rule die stabile Kennung der Matrixzeile (die 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

Ergebnisbezeichnung (die der Engine): Framing des Primärheaders nach CCSDS 133.0-B Space Packet — exaktes, deterministisches Bitlayout, Rundlauf aus Kodierung und Dekodierung verifiziert; KEINE Konformitätszertifizierung (keine Logik für Sekundärheader, CRC oder Segmentierung über die Flags hinaus)

Das Diagramm, das die Engine für scenarios/space-packet.toml schreibt, Typ space-packet

Nachweise#

VALIDATED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

  • VALIDATED Kodierung und Dekodierung des Primärheaders nach CCSDS 133.0-B Space Packet (Version/Typ/Sekundärheader/APID/Sequenzflags/Zähler/Datenlänge) + ein Framing-Szenario. Tests: ccsds_space_packet_reference.rs.
  • VALIDATED Erweiterungen nach CCSDS 133.0-B-2 Space Packet neben dem Primärheader: ein Sekundärheader mit einem Zeitcode nach CCSDS 301.0-B (CUC oder CDS, explizites oder implizites P-Field) und Zusatzdaten, das Feld zur Paketfehlerkontrolle CRC-16, die Segmentierung eines Tests: space_packet_ext_oracle.rs.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

  • MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
  • VALIDATED Kodierung und Dekodierung des Primärheaders nach CCSDS 133.0-B Space Packet (Version/Typ/Sekundärheader/APID/Sequenzflags/Zähler/Datenlänge) + ein Framing-Szenario. Ausführbar über CLI/Bindings. Referenz (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — eine unabhängige Drittimplementierung von CCSDS 133.0-B-2; encode_packet/decode_packet von Kshana stimmten byte-exakt überein (der 6-Oktett-Primärheader für 33 Fälle + das vollständige kodierte Paket für 12)

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

  • Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#