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

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

oem-interop (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#

Interoperabilitetsbro til CCSDS OEM: importér en Orbit Ephemeris Message fra et eksternt flyvedynamikværktøj (GMAT, Orekit og STK udsender alle OEM) og rapportér dens segmenter, objekter, referencesystemer og epokespænd samt en kontrol af hastighedskonsistens; uden input kører den en rundtur med en genereret referencebane og rapporterer troværdigheden mellem import og eksport. MODELLED strukturel og fysisk indlæsningskontrol, IKKE en validering af kildens banenøjagtighed.

Én kørsel af scenarios/oem-interop.toml opsummeres som: oem-interop: rundtur gennem 2 segment(er), 12 tilstande; maks. rundtursfejl 4.88e-7 km / 4.61e-10 km/s (MODELLED interoperabilitet)

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: ingen
  • Valgfrie felter: oem_text

Eksemplet scenarios/oem-interop.toml angiver blandt andet:

Felt Værdi Enhed
kind oem-interop tekst

Kør den#

kshana scenarios/oem-interop.toml

Hvad den giver#

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

Resultat Værdi Enhed
evidence.id_rule det stabile id for matrixrækken (kolonnen ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
n_segments 2 antal
n_states_total 12 antal
originator KSHANA tekst
round_trip_max_pos_error_km 4.8822e-7 km
round_trip_max_vel_error_km_s 4.6115e-10 km/s
source round-trip tekst

Resultatetiket (motorens egen): MODELLED — interoperabilitetsbro til import og rundtur af CCSDS OEM (GMAT, Orekit og STK udsender OEM); en strukturel og fysisk indlæsningskontrol, IKKE en validering af kildens banenøjagtighed

Diagrammet, som motoren skriver for scenarios/oem-interop.toml, type oem-interop

Evidens#

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

  • VALIDATED CCSDS 502,0 OEM-importer (parse_oem), tolerant over for COMMENT-linjer, ekstra metadatanøgleord og kovariansblokke og den nøjagtige inverse af skriveren; rundtur og indlæsning af ekstern fil med en kontrol af hastighedskonsistens. Tests: ccsds_oem_interop_reference.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 CCSDS 502,0 OEM-importer (parse_oem), tolerant over for COMMENT-linjer, ekstra metadatanøgleord og kovariansblokke og den nøjagtige inverse af skriveren; rundtur og + . Uafhængig reference (ExternalDataset): uafhængig tredjepartsparser til CCSDS-502, oem 0.4.5 (MIT, https://pypi.org/project/oem/) — en separat kodebase, som afkoder kshanas udsendte EME2000/UTC-OEM byte for byte identisk (24 tilstande fordelt på 2 fixtures, pos/vel Δ = 0), og hvis strenge læser bekræfter metadatatokenerne; kshanas parser stemmer ligeledes overens med den på en medfølgende ekstern OEM. To ærlige interoperabilitetsfund (oem-biblioteket afviser kshanas pr. satellit mu

Begrænsninger#

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

  • MODELLED — interoperabilitetsbro til import og rundtur af CCSDS OEM (GMAT, Orekit og STK udsender OEM); en strukturel og fysisk indlæsningskontrol, IKKE en validering af kildens banenøjagtighed (resultat label)
  • MODELLED strukturel og fysisk indlæsningskontrol, IKKE en validering af kildens banenøjagtighed. (typekatalog (kshana kinds --json))
  • ÆRLIG AFGRÆNSNING: MODELLED strukturel og fysisk indlæsningskontrol, IKKE en validering af kildeefemeridens banenøjagtighed. Kør: kshana scenarios/oem-interop.toml (kommentar i scenariefilen, linje 11 til 13)
  • 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å#