integrity (Szenarioart)
Szenarioart der Engine v0.40.0, Familie GNSS-Messungen, Positionierung und Integrität. 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#
Snapshot-/Lösungstrennungs-/ARAIM-RAIM mit HPL/VPL und einem Stanford-Diagramm.
Ein Lauf von scenarios/integrity-raim.toml fasst sich so zusammen: integrity | 24 satellites | 344/361 epochs available (95,3%) | HAL 40 m VAL 50 m | sigma 1,0 m | Stanford(V): 0 integrity events, 0 HMI
Eingaben#
Aus dem Schema (kshana kinds --json):
- Pflichtfelder:
mask_deg,sigma_uere_m,p_fa,p_md,al_h_m,al_v_m,time,user|user_site,constellation - Optionale Felder:
sigma_ura_m,b_nom_m,constellations,seed,araim_dual,p_hmi,skyline
Das Beispiel scenarios/integrity-raim.toml setzt unter anderem:
| Feld | Wert | Einheit |
|---|---|---|
al_h_m |
40 | m |
al_v_m |
50 | m |
constellation.altitude_km |
20200 | km |
constellation.inclination_deg |
55 | deg |
constellation.phasing_f |
1 | nicht angegeben |
constellation.planes |
6 | nicht angegeben |
constellation.sats_per_plane |
4 | nicht angegeben |
kind |
integrity | Text |
mask_deg |
5 | deg |
p_fa |
1.0000e-5 | nicht angegeben |
p_md |
0.001 | nicht angegeben |
seed |
7 | nicht angegeben |
Ausführen#
kshana scenarios/integrity-raim.toml3 mitgelieferte Szenarien verwenden diesen Typ; die übrigen stehen in scenarios/.
Was es liefert#
Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:
| Ergebnis | Wert | Einheit |
|---|---|---|
al_h_m |
40 | m |
al_v_m |
50 | m |
evidence.id_rule |
die stabile Kennung der Matrixzeile (die ID | Text |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | Text |
evidence.tier |
MODELLED | Text |
samples_available |
344 | Anzahl |
samples_total |
361 | Anzahl |
stanford.alert_limit_m |
50 | m |
Nachweise#
MODELLED 6 · VALIDATED 4: die Zeilen der Verifikationsmatrix, die diese Szenarioart nennen.
- MODELLED Der optionale Abschnitt [integrity] des Typs clock (clock_integrity::run): aus einem festgelegten Standort und Konstellations-Voreinstellungen (geometry::sky_geometry), zu jeder Integritätsepoche, solange die GNSS-Zeitreihe nicht gesperrt ist, Snapshot-RAIM (raim::snapshot_ Tests: clock_integrity.rs.
- VALIDATED TPL durch Lösungstrennung für skalare Zeit über heterogene Quellen; PL getrieben vom Rauschen der Teilmenge mit dem schlechtesten Ausschluss + UTC(k)-Bias
- MODELLED PL(τ)=max(TPL_handover,HPL(τ)); unterhalbstetiges PL(0+)≥PL(0−); K(IR/2) laufendes Maximum; τ/τ³/τ⁵-Phasenexponenten
- VALIDATED Die Hüllkurve des laufenden Maximums überdeckt (ohne Durchstoßen) eine reale metrologische Reihe bei jeder getesteten Verzögerung tau>=90d auf einem disjunkten Segment; kurzes tau (<=30d) ist eine offengelegte modellierte Grenze Tests: cti_holdover_coverage_reference.rs.
- und 6 weitere in der Matrix.
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):
- VALIDATED ARAIM-Mehrfachhypothesen-Lösungstrennung nach dem ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels und add_v42_protecti. Unabhängige Referenz (ExternalDataset): Drei unabhängige Werkzeuge, vorab registriert (0123cee1), bevor irgendeine Fixture oder Ausgabe der Referenz existierte, Toleranzen damals festgelegt. (1) ARAIM: Stanford MAAST for ARAIM 2 (Commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, als getrenntes Programm unter GNU Octave 8,4 mit einem treiberseitigen unique()-Kompatibilitäts-Shim ausgeführt (offengelegt, keine Algorithmusänderung), beim TOL_PL des ADD von 0,05 m: Das Rust reproduziert die ADD-Referenzimplementierung auf
- VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP aus der Sichtliniengeometrie über Q=(HᵀH)⁻¹ mit einer lokalen ENU-Aufteilung. Unabhängige Referenz (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — unabhängige Bibliothek, auf 1e-6 relativ getroffen
- VALIDATED Der Verteilungskern, auf dem jedes Schutzniveau ruht: die Fehlererkennungsschwelle des Schnappschusses χ²₁₋ₚfₐ(dof), die Nichtzentralität bei verpasster Erkennung pbias=√λ und. Unabhängige Referenz (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — unabhängige Bibliothek (Cephes/Boost), ein anderer Algorithmus als die Reihe der unvollständigen Gammafunktion von Kshana; auf ≤1e-6 rel. getroffen. Nur der Kern. Die Zuteilung des ARAIM-MHSS-P_HMI-Budgets ist nicht mehr ohne eine veröffentlichte numerische unabhängige Referenz — das durchgerechnete Beispiel der WG-C ARAIM Technical Subgroup selbst stützt jetzt die separate Zeile „ARAIM MHSS protection levels against published referen
- 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
Einschränkungen#
Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:
- 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#
- Familienseite: GNSS-Messungen, Positionierung und Integrität
- Alle Arten: KINDS.md
- Themenseite: CAMPAIGNS.md
- Themenseite: INTEGRITY.md