integrity (scenario kind)
Scenariotyp i motor v0.40.0, familj GNSS-mätningar, positionering och integritet. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).
Vad den gör#
RAIM med ögonblicksbild / lösningsseparation / ARAIM med HPL/VPL och ett Stanford-diagram.
En körning av scenarios/integrity-raim.toml sammanfattas som: 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
Indata#
Från schemat (kshana kinds --json):
- Obligatoriska fält:
mask_deg,sigma_uere_m,p_fa,p_md,al_h_m,al_v_m,time,user|user_site,constellation - Valfria fält:
sigma_ura_m,b_nom_m,constellations,seed,araim_dual,p_hmi,skyline
Exemplet scenarios/integrity-raim.toml anger bland annat:
| Fält | Värde | Enhet |
|---|---|---|
al_h_m |
40 | m |
al_v_m |
50 | m |
constellation.altitude_km |
20200 | km |
constellation.inclination_deg |
55 | deg |
constellation.phasing_f |
1 | inte angivet |
constellation.planes |
6 | inte angivet |
constellation.sats_per_plane |
4 | inte angivet |
kind |
integrity | text |
mask_deg |
5 | deg |
p_fa |
1.0000e-5 | inte angivet |
p_md |
0.001 | inte angivet |
seed |
7 | inte angivet |
Kör den#
kshana scenarios/integrity-raim.toml3 medföljande scenarier använder den här typen; de övriga finns i scenarios/.
Vad den ger#
De skalära resultaten av den körningen, med de enheter som motorn anger:
| Resultat | Värde | Enhet |
|---|---|---|
al_h_m |
40 | m |
al_v_m |
50 | m |
evidence.id_rule |
det stabila id:t för matrisraden (ID | text |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | text |
evidence.tier |
MODELLED | text |
samples_available |
344 | antal |
samples_total |
361 | antal |
stanford.alert_limit_m |
50 | m |
Evidens#
MODELLED 6 · VALIDATED 4: raderna i verifieringsmatrisen som nämner denna kind.
- MODELLED Det valfria avsnittet [integrity] i typen clock (clock_integrity::run): från en angiven plats och konstellationsförinställningar (geometry::sky_geometry), vid varje integritetsepok medan GNSS-tidslinjen inte är nekad, ögonblicks-RAIM (raim::snapshot_ Tester: clock_integrity.rs.
- VALIDATED TPL med skalär tid och lösningsseparation över heterogena källor; PL styrs av bruset i den sämsta uteslutningsdelmängden + UTC(k)-bias
- MODELLED PL(τ)=max(TPL_handover,HPL(τ)); nedåt halvkontinuerlig PL(0+)≥PL(0−); K(IR/2) löpande maximum; τ/τ³/τ⁵ fasexponenter
- VALIDATED Envelopp med löpande maximum överskyddar (utan genomstick) en verklig metrologisk serie vid varje testad fördröjning tau>=90d på ett disjunkt segment; kort tau (<=30d) är en redovisad Modelled gräns Tests: cti_holdover_coverage_reference.rs.
- och 6 fler i matrisen.
De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):
- VALIDATED ARAIM-lösning med multipla hypoteser och lösningsseparation enligt ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels och add_v42_protecti. Oracle (ExternalDataset): Tre oberoende verktyg, förhandsregistrerade (0123cee1) innan någon fixtur eller referensutdata fanns, toleranser fastställda då. (1) ARAIM: Stanford MAAST för ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, körd som separat program under GNU Octave 8,4 med ett kompatibilitetsskal för unique() på drivrutinssidan (redovisat, ingen algoritmändring), vid ADD TOL_PL på 0,05 m: Rust återskapar ADD-referensimplementationen på
- VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP från siktlinjegeometri via Q=(HᵀH)⁻¹ med en lokal ENU-uppdelning. Oracle (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP — oberoende bibliotek, överensstämmande till 1e-6 relativt
- VALIDATED Den fördelningsmässiga kärnan som varje skyddsnivå vilar på: tröskeln för felupptäckt i ögonblicksbilden χ²₁₋ₚfₐ(dof), den icke-centrala parametern för missad detektering pbias=√λ, och . Oracle (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — oberoende bibliotek (Cephes/Boost), en annan algoritm än Kshanas inkompletta gammaserie; överensstämmande till ≤1e-6 rel. Endast kärnan. ARAIM MHSS P_HMI-budgetens fördelning saknar inte längre ett publicerat numeriskt oberoende referensvärde — WG-C ARAIM Technical Subgroups eget räknade exempel stöder nu den separata raden 'ARAIM MHSS protection levels against published referen
- MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
Begränsningar#
Vad körningens egen rapport säger inte är modellerat eller inte validerat:
- Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
Se även#
- Familjesida: GNSS-mätningar, positionering och integritet
- Alla typer: KINDS.md
- Ämnessida: CAMPAIGNS.md
- Ämnessida: INTEGRITY.md