Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/space-packet.md

space-packet (scenarietype)

Scenarietype i motoren v0.40.0, familien Missionsanalyse, forbindelser og rumoperationer. Vejledende: analyseoutput fra et forsknings- og udviklingsværktøj, ikke typegodkendt navigationsudstyr og ikke en tjeneste til beskyttelse af menneskeliv. Hver etiket her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en etiket optjenes: afsnittet Evidence i README'en).

Hvad det gør#

Indramning efter CCSDS 133.0-B Space Packet Protocol: kodér en syntetisk TM/TC-pakkestrøm (primær header på 6 oktetter + datafelt) og rapportér afkodningen af headeren for hver pakke, samlet antal oktetter og en nøjagtig rundtur mellem kodning og afkodning. Deterministisk indramning med nøjagtigt bitlayout — organisationernes lag for interoperabilitet mellem pakkeformater; IKKE en certificering af overensstemmelse (ingen logik for sekundær header, CRC eller segmentering ud over flagene).

Én kørsel af scenarios/space-packet.toml opsummeres som: space-packet: indrammede 4 CCSDS-133.0 TM-pakke(r) APID 100, 152 oktetter i alt, rundtur nøjagtig (true)

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: ingen
  • Valgfrie felter: apid, telecommand, packet_count, data_len

Eksemplet scenarios/space-packet.toml angiver blandt andet:

Felt Værdi Enhed
apid 100 1
data_len 32 ikke angivet
kind space-packet tekst
packet_count 4 antal
telecommand false flag

Kør den#

kshana scenarios/space-packet.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
apid 100 1
data_len_octets 32 oktet
evidence.id_rule det stabile id for matrixrækken (kolonnen 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

Resultatetiket (motorens egen): indramning af primær header for CCSDS 133.0-B Space Packet — nøjagtigt, deterministisk bitlayout, rundtur mellem kodning og afkodning verificeret; IKKE en certificering af overensstemmelse (ingen logik for sekundær header, CRC eller segmentering ud over flagene)

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

Evidens#

VALIDATED: rækkerne i verifikationsmatrixen, som nævner denne type.

  • VALIDATED Kodning/afkodning af primær header i CCSDS 133.0-B Space Packet (version/type/sec-hdr/APID/seq-flags/count/data-length) + et scenarie for indramning. Tests: ccsds_space_packet_reference.rs.
  • VALIDATED Udvidelser af CCSDS 133.0-B-2 Space Packet ved siden af den primære header: en sekundær header med en tidskode efter CCSDS 301.0-B (CUC eller CDS, eksplicit eller implicit P-felt) og hjælpedata, CRC-16-feltet for pakkens fejlkontrol, segmentering af en Tests: space_packet_ext_oracle.rs.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
  • VALIDATED Kodning/afkodning af primær header i CCSDS 133.0-B Space Packet (version/type/sec-hdr/APID/seq-flags/count/data-length) + et scenarie for indramning. Kan køres fra CLI/bind. Uafhængig reference (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — en uafhængig tredjepartsimplementering af CCSDS 133.0-B-2; kshanas encode_packet/decode_packet stemte byte for byte (den primære header på 6 oktetter for 33 tilfælde + den fulde kodede pakke for 12)

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#