Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Pages des types de scénarioModifier sur GitHubSource : docs/kinds/by-kind/space-packet.md

space-packet (type de scénario)

Type de scénario du moteur v0.40.0, famille Analyse de mission, liaisons et opérations spatiales. À titre consultatif : résultat d'analyse d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf si la matrice dit le contraire (comment une étiquette s'acquiert : la section Evidence du README).

Ce qu'il fait#

Encapsulation du protocole CCSDS 133.0-B Space Packet : encoder un flux synthétique de paquets TM/TC (en-tête primaire de 6 octets + champ de données) et rapporter le décodage d'en-tête de chaque paquet, le total d'octets et un aller-retour encodage↔décodage exact. Encapsulation à disposition de bits exacte et déterministe — la couche d'interopérabilité des formats de paquets d'agence ; PAS une attestation de respect de la norme (pas de logique d'en-tête secondaire, de CRC ou de segmentation au-delà des indicateurs).

Une exécution de scenarios/space-packet.toml se résume ainsi : space-packet : 4 paquet(s) TM CCSDS-133.0 encapsulé(s) APID 100, 152 octets au total, aller-retour exact (true)

Entrées#

D'après le schéma (kshana kinds --json) :

  • Champs requis : aucun
  • Champs facultatifs : apid, telecommand, packet_count, data_len

L'exemple scenarios/space-packet.toml définit, entre autres :

Champ Valeur Unité
apid 100 1
data_len 32 non indiqué
kind space-packet texte
packet_count 4 nombre
telecommand false indicateur

L'exécuter#

kshana scenarios/space-packet.toml

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Résultat Valeur Unité
apid 100 1
data_len_octets 32 octet
evidence.id_rule l'identifiant stable de la ligne de la matrice (l'ID texte
evidence.matrix docs/VERIFICATION-MATRIX.md texte
evidence.tier MODELLED texte
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 texte
first_packet.sequence_count 0 1

Libellé du résultat (celui du moteur) : encapsulation de l'en-tête primaire CCSDS 133.0-B Space Packet — disposition de bits exacte et déterministe, aller-retour encodage↔décodage vérifié ; PAS une attestation de respect de la norme (pas de logique d'en-tête secondaire, de CRC ou de segmentation au-delà des indicateurs)

Le graphique que le moteur écrit pour scenarios/space-packet.toml, type space-packet

Preuves#

VALIDATED : les lignes de la matrice de vérification qui nomment ce type de scénario.

  • VALIDATED Encodage et décodage de l'en-tête primaire CCSDS 133.0-B Space Packet (version/type/sec-hdr/APID/seq-flags/count/data-length) + un scénario d'encapsulation. Tests : ccsds_space_packet_reference.rs.
  • VALIDATED Extensions CCSDS 133.0-B-2 Space Packet à côté de l'en-tête primaire : un en-tête secondaire portant un code temporel CCSDS 301.0-B (CUC ou CDS, champ P explicite ou implicite) et des données auxiliaires, le champ de contrôle d'erreur de paquet CRC-16, la segmentation d'un Tests : space_packet_ext_oracle.rs.

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

  • MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED
  • VALIDATED Encodage et décodage de l'en-tête primaire CCSDS 133.0-B Space Packet (version/type/sec-hdr/APID/seq-flags/count/data-length) + un scénario d'encapsulation. Exécutable depuis la CLI ou le bind. Référence indépendante (ExternalDataset) : spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — une implémentation tierce indépendante de CCSDS 133.0-B-2 ; l'encode_packet/decode_packet de Kshana concordaient octet pour octet (l'en-tête primaire de 6 octets pour 33 cas + le paquet encodé complet pour 12)

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

  • La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#