integrity (scenariotype)
Scenariotype i motoren v0.40.0, familie GNSS-målinger, posisjonsbestemmelse og integritet. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).
Hva den gjør#
RAIM med øyeblikksbilde / løsningsseparasjon / ARAIM med HPL/VPL og et Stanford-diagram.
Én kjøring av scenarios/integrity-raim.toml oppsummeres slik: 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
Inndata#
Fra skjemaet (kshana kinds --json):
- Obligatoriske felt:
mask_deg,sigma_uere_m,p_fa,p_md,al_h_m,al_v_m,time,user|user_site,constellation - Valgfrie felt:
sigma_ura_m,b_nom_m,constellations,seed,araim_dual,p_hmi,skyline
Eksemplet scenarios/integrity-raim.toml setter blant annet:
| Felt | Verdi | 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 | ikke oppgitt |
constellation.planes |
6 | ikke oppgitt |
constellation.sats_per_plane |
4 | ikke oppgitt |
kind |
integrity | tekst |
mask_deg |
5 | deg |
p_fa |
1.0000e-5 | ikke oppgitt |
p_md |
0.001 | ikke oppgitt |
seed |
7 | ikke oppgitt |
Kjør den#
kshana scenarios/integrity-raim.toml3 medfølgende scenarioer bruker denne typen; de andre står i scenarios/.
Hva den gir#
Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:
| Resultat | Verdi | Enhet |
|---|---|---|
al_h_m |
40 | m |
al_v_m |
50 | m |
evidence.id_rule |
den stabile id-en til matriseraden (ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
evidence.tier |
MODELLED | tekst |
samples_available |
344 | antall |
samples_total |
361 | antall |
stanford.alert_limit_m |
50 | m |
Evidens#
MODELLED 6 · VALIDATED 4: radene i verifikasjonsmatrisen som nevner denne typen.
- MODELLED Den valgfrie [integrity]-delen av typen clock (clock_integrity::run): fra et oppgitt sted og konstellasjonsforhåndsinnstillinger (geometry::sky_geometry), ved hver integritetsepoke mens GNSS-tidslinjen ikke er avvist, øyeblikks-RAIM (raim::snapshot_ Tester: clock_integrity.rs.
- VALIDATED Skalar-tid TPL med løsningsseparasjon over heterogene kilder; PL drevet av støy i den verste ekskluderingsdelmengden + UTC(k)-bias
- MODELLED PL(τ)=max(TPL_handover,HPL(τ)); nedre semikontinuerlig PL(0+)≥PL(0−); K(IR/2) løpende maksimum; τ/τ³/τ⁵ fase-eksponenter
- VALIDATED Løpende maksimum-envelope overgrenser (null gjennomtrengning) en virkelig metrologisk serie ved hver testede lag tau>=90d på et disjunkt segment; kort tau (<=30d) er en oppgitt Modelled-grense. Tester: cti_holdover_coverage_reference.rs.
- og 6 til i matrisen.
Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):
- VALIDATED ARAIM-løsningsseparasjon med flere hypoteser etter ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels og add_v42_protecti. Uavhengig referanse (ExternalDataset): Tre uavhengige verktøy, forhåndsregistrert (0123cee1) før noen fixture eller referanseutdata fantes, toleranser fastsatt da. (1) ARAIM: Stanford MAAST for ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, kjørt som et separat program under GNU Octave 8,4 med en kompatibilitetsshim for unique() på driversiden (oppgitt, ingen algoritmeendring), ved ADD TOL_PL på 0,05 m: Rust gjengir ADD-referanseimplementasjonen på
- VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP fra siktlinjegeometri via Q=(HᵀH)⁻¹ med en lokal ENU-oppdeling. Uavhengig referanse (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP, uavhengig bibliotek, samsvarte til 1e-6 relativt
- VALIDATED Den distribusjonelle kjernen som hvert beskyttelsesnivå hviler på: terskelen for øyeblikksbildets feildeteksjon χ²₁₋ₚfₐ(dof), ikke-sentraliteten for tapt deteksjon pbias=√λ, og . Uavhengig referanse (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq), uavhengig bibliotek (Cephes/Boost), en annen algoritme enn Kshanas rekke for den ufullstendige gammafunksjonen; stemte til ≤1e-6 rel. Kun kjernen. Budsjettets fordeling av ARAIM MHSS P_HMI er ikke lenger uten en publisert numerisk uavhengig referanse: WG-C ARAIM Technical Subgroups eget gjennomgåtte eksempel støtter nå den separate 'ARAIM MHSS protection levels against published referen
- MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
Begrensninger#
Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:
- Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
Se også#
- Familieside: GNSS-målinger, posisjonsbestemmelse og integritet
- Alle typer: KINDS.md
- Temaside: CAMPAIGNS.md
- Temaside: INTEGRITY.md