Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/oem-interop.md

oem-interop (Szenarioart)

Szenarioart der Engine v0.40.0, Familie Missionsanalyse, Links und Raumfahrtbetrieb. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

CCSDS-OEM-Interoperabilitätsbrücke: Importiert eine Orbit Ephemeris Message, die von einem externen Flugdynamik-Werkzeug erzeugt wurde (GMAT/Orekit/STK geben alle OEM aus), und gibt ihre Segmente/Objekte/Bezugssysteme/Epochenspanne sowie eine Geschwindigkeits-Konsistenzprüfung aus; ohne Eingabe führt sie eine erzeugte Referenzbahn im Rundlauf und gibt die Import↔Export-Treue aus. MODELLED strukturelle/physikalische Einlesprüfung, KEINE Bahngenauigkeits-Validierung der Quelle.

Ein Lauf von scenarios/oem-interop.toml fasst sich zusammen als: oem-interop: im Rundlauf 2 Segment(e), 12 Zustände; maximaler Rundlauffehler 4.88e-7 km / 4.61e-10 km/s (Interop der Stufe MODELLED)

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: keine
  • Optionale Felder: oem_text

Das Beispiel scenarios/oem-interop.toml setzt unter anderem:

Feld Wert Einheit
kind oem-interop Text

Ausführen#

kshana scenarios/oem-interop.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnis Wert Einheit
evidence.id_rule die stabile Kennung der Matrixzeile (die ID Text
evidence.matrix docs/VERIFICATION-MATRIX.md Text
evidence.tier MODELLED Text
n_segments 2 Anzahl
n_states_total 12 Anzahl
originator KSHANA Text
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 Text

Ergebnisbezeichnung (die der Engine): MODELLED — CCSDS-OEM-Import-/Rundlauf-Interop-Brücke (GMAT/Orekit/STK geben OEM aus); eine strukturelle + physikalische Einlesprüfung, KEINE Bahngenauigkeits-Validierung der Quelle

Das Diagramm, das die Engine für scenarios/oem-interop.toml schreibt, Szenarioart oem-interop

Nachweise#

VALIDATED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

  • VALIDATED CCSDS-502,0-OEM-Importer (parse_oem), tolerant gegenüber COMMENT-Zeilen / zusätzlichen Metadaten-Schlüsselwörtern / Kovarianzblöcken und exakte Umkehrung des Schreibers; Rundlauf + Einlesen externer Dateien mit einer Geschwindigkeits-Konsistenzprüfung. Tests: ccsds_oem_interop_reference.rs.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

  • MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
  • VALIDATED CCSDS-502,0-OEM-Importer (parse_oem), tolerant gegenüber COMMENT-Zeilen / zusätzlichen Metadaten-Schlüsselwörtern / Kovarianzblöcken und exakte Umkehrung des Schreibers; Rundlauf + . Unabhängige Referenz (ExternalDataset): Unabhängiger CCSDS-502-Parser eines Drittanbieters oem 0.4.5 (MIT, https://pypi.org/project/oem/) — eine separate Codebasis, die das von kshana ausgegebene EME2000/UTC-OEM byteidentisch dekodiert (24 Zustände über 2 Fixtures, Pos/Vel Δ = 0) und deren strenger Leser die Metadaten-Token bestätigt; der Parser von kshana stimmt ebenso mit ihr an einem mitgelieferten externen OEM überein. Zwei ehrliche Interop-Befunde (die oem-Bibliothek lehnt das Pro-Satellit-mu von kshana ab

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

  • MODELLED — CCSDS-OEM-Import-/Rundlauf-Interop-Brücke (GMAT/Orekit/STK geben OEM aus); eine strukturelle + physikalische Einlesprüfung, KEINE Bahngenauigkeits-Validierung der Quelle (Ergebnis label)
  • MODELLED strukturelle/physikalische Einlesprüfung, KEINE Bahngenauigkeits-Validierung der Quelle. (Szenarioarten-Katalog (kshana kinds --json))
  • EHRLICHER GELTUNGSBEREICH: MODELLED strukturelle + physikalische Einlesprüfung, KEINE Bahngenauigkeits-Validierung der Quell-Ephemeride. Lauf: kshana scenarios/oem-interop.toml (Kommentar der Szenariodatei, Zeilen 11 bis 13)
  • Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#