Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/space-packet.md

space-packet (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Missioonianalüüs, lingid ja kosmoseoperatsioonid. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne märgis on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas märgis teenitakse: README jaotis Evidence).

Mida see teeb#

CCSDS 133.0-B kosmosepaketi protokolli raamistamine: sünteetilise TM/TC paketivoo kodeerimine (6-oktetine primaarpäis + andmeväli) ning paketipõhise päise dekodeerimise, oktettide koguarvu ja täpse kodeerimine↔dekodeerimine edasi-tagasi läbimise aruandlus. Deterministlik täpne bitipaigutusega raamistamine — agentuuride paketivormingu koostalitluskiht; MITTE standardi järgimise sertifitseerimine (lippudest kaugemale ulatuvat sekundaarpäise/CRC/segmenteerimise loogikat ei ole).

Ühe scenarios/space-packet.toml käivituse kokkuvõte: space-packet: raamistatud 4 CCSDS-133.0 TM paketti APID 100, kokku 152 oktetti, edasi-tagasi läbimine täpne (true)

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: apid, telecommand, packet_count, data_len

Näide scenarios/space-packet.toml määrab muu hulgas:

Väli Väärtus Ühik
apid 100 1
data_len 32 ei ole märgitud
kind space-packet tekst
packet_count 4 arv
telecommand false lipp

Käivitamine#

kshana scenarios/space-packet.toml

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
apid 100 1
data_len_octets 32 oktett
evidence.id_rule maatriksi rea stabiilne id (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

Tulemuse silt (mootori oma): CCSDS 133.0-B kosmosepaketi primaarpäise raamistamine — täpne, deterministlik bitipaigutus, kodeerimine↔dekodeerimine edasi-tagasi läbimine kontrollitud; MITTE standardi järgimise sertifitseerimine (lippudest kaugemale ulatuvat sekundaarpäise / CRC / segmenteerimise loogikat ei ole)

Diagramm, mille mootor kirjutab failile scenarios/space-packet.toml, liik space-packet

Tõendid#

VALIDATED: selle liigi nimetavad kontrollimaatriksi read.

  • VALIDATED CCSDS 133.0-B kosmosepaketi primaarpäise kodeerimine/dekodeerimine (versioon/tüüp/sek-päis/APID/jada-lipud/loendur/andmepikkus) + raamistamise stsenaarium. Testid: ccsds_space_packet_reference.rs.
  • VALIDATED CCSDS 133.0-B-2 kosmosepaketi laiendused primaarpäise kõrval: sekundaarpäis, mis kannab CCSDS 301.0-B ajakoodi (CUC või CDS, selgesõnaline või kaudne P-väli) ja lisaandmeid, CRC-16 paketivea kontrolli väli, segmenteerimine Testid: space_packet_ext_oracle.rs.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
  • VALIDATED CCSDS 133.0-B kosmosepaketi primaarpäise kodeerimine/dekodeerimine (versioon/tüüp/sek-päis/APID/jada-lipud/loendur/andmepikkus) + raamistamise stsenaarium. Käivitatav CLI-st/sidumisest. Sõltumatu etalon (sõltumatu etalon; ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — CCSDS 133.0-B-2 sõltumatu kolmanda osapoole teostus; kshana encode_packet/decode_packet ühtisid baidilt baidile (6-oktetine primaarpäis 33 juhul + täielik kodeeritud pakett 12 juhul)

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#