Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/space-packet.md

space-packet (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Analýza misí, spoje a kosmické operace. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každý zdejší štítek je štítkem enginu nebo verifikační matice; druh je MODELLED, pokud matice neříká jinak (jak se štítek získává: oddíl Evidence v README).

Co dělá#

Rámcování podle CCSDS 133.0-B Space Packet Protocol: kódování syntetického proudu paketů TM/TC (6oktetová primární hlavička + datové pole) a výpis dekódování hlavičky každého paketu, celkového počtu oktetů a přesného round-tripu kódování↔dekódování. Deterministické přesné rámcování podle bitového uspořádání — vrstva interoperability formátu paketů agentur; NENÍ to certifikace shody (bez logiky sekundární hlavičky/CRC/segmentace nad rámec příznaků).

Jeden běh scenarios/space-packet.toml se shrnuje takto: space-packet: zarámovány 4 pakety TM CCSDS-133.0 APID 100, celkem 152 oktetů, round-trip přesný (true)

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: žádná
  • Volitelná pole: apid, telecommand, packet_count, data_len

Příklad scenarios/space-packet.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
apid 100 1
data_len 32 neuvedeno
kind space-packet text
packet_count 4 počet
telecommand false příznak

Spusťte jej#

kshana scenarios/space-packet.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
apid 100 1
data_len_octets 32 oktet
evidence.id_rule stabilní id řádku matice (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

Popisek výsledku (z enginu): rámcování primární hlavičky CCSDS 133.0-B Space Packet — přesné, deterministické bitové uspořádání, round-trip kódování↔dekódování ověřen; NENÍ to certifikace shody (bez logiky sekundární hlavičky / CRC / segmentace nad rámec příznaků)

Graf, který engine zapisuje pro scenarios/space-packet.toml, druh space-packet

Důkazy#

VALIDATED: řádky verifikační matice, které tento druh uvádějí.

  • VALIDATED Kódování/dekódování primární hlavičky CCSDS 133.0-B Space Packet (verze/typ/sek.-hlavička/APID/příznaky-posloupnosti/čítač/délka-dat) + scénář rámcování. Testy: ccsds_space_packet_reference.rs.
  • VALIDATED Rozšíření CCSDS 133.0-B-2 Space Packet vedle primární hlavičky: sekundární hlavička nesoucí časový kód CCSDS 301.0-B (CUC nebo CDS, explicitní nebo implicitní pole P) a pomocná data, pole kontroly chyb paketu CRC-16, segmentace Testy: space_packet_ext_oracle.rs.

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • VALIDATED Kódování/dekódování primární hlavičky CCSDS 133.0-B Space Packet (verze/typ/sek.-hlavička/APID/příznaky-posloupnosti/čítač/délka-dat) + scénář rámcování. Spustitelné z CLI/bind. Orákulum (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — nezávislá implementace CCSDS 133.0-B-2 třetí strany; encode_packet/decode_packet systému kshana se shodovaly bajt po bajtu (6oktetová primární hlavička pro 33 případů + celý zakódovaný paket pro 12)

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#