integrity (scenarietype)
Scenarietype i motoren v0.40.0, familie GNSS-målinger, positionsbestemmelse og integritet. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).
Hvad det gør#
Snapshot-/løsningsseparations-/ARAIM-RAIM med HPL/VPL og et Stanford-diagram.
Én kørsel af scenarios/integrity-raim.toml opsummeres sådan: 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
Input#
Fra skemaet (kshana kinds --json):
- Obligatoriske felter:
mask_deg,sigma_uere_m,p_fa,p_md,al_h_m,al_v_m,time,user|user_site,constellation - Valgfrie felter:
sigma_ura_m,b_nom_m,constellations,seed,araim_dual,p_hmi,skyline
Eksemplet scenarios/integrity-raim.toml angiver blandt andet:
| Felt | Værdi | Enhed |
|---|---|---|
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 angivet |
constellation.planes |
6 | ikke angivet |
constellation.sats_per_plane |
4 | ikke angivet |
kind |
integrity | tekst |
mask_deg |
5 | deg |
p_fa |
1.0000e-5 | ikke angivet |
p_md |
0.001 | ikke angivet |
seed |
7 | ikke angivet |
Kør den#
kshana scenarios/integrity-raim.toml3 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.
Hvad den giver#
De skalare resultater af den kørsel, med de enheder, motoren angiver:
| Resultat | Værdi | Enhed |
|---|---|---|
al_h_m |
40 | m |
al_v_m |
50 | m |
evidence.id_rule |
det stabile id for matrixrækken (kolonnen ID | tekst |
evidence.matrix |
docs/VERIFICATION-MATRIX.md | tekst |
evidence.tier |
MODELLED | tekst |
samples_available |
344 | antal |
samples_total |
361 | antal |
stanford.alert_limit_m |
50 | m |
Evidens#
MODELLED 6 · VALIDATED 4: rækkerne i verifikationsmatrixen, der nævner denne type.
- MODELLED Den valgfrie [integrity]-sektion i urtypen (clock_integrity::run): ud fra et angivet sted og konstellationsforudindstillinger (geometry::sky_geometry), ved hver integritetsepoke, mens GNSS-tidslinjen ikke er nægtet, snapshot-RAIM (raim::snapshot_ Tests: clock_integrity.rs.
- VALIDATED Skalar-tids-TPL med løsningsseparation over heterogene kilder; PL drevet af støjen i den værste udeladelsesdelmængde + UTC(k)-bias
- MODELLED PL(τ)=max(TPL_handover,HPL(τ)); nedre halvkontinuert PL(0+)≥PL(0−); K(IR/2) løbende maksimum; τ/τ³/τ⁵ faseeksponenter
- VALIDATED Kuvert med løbende maksimum overgrænser (uden gennemtrængning af nul) en reel metrologisk serie ved hver testet lag tau>=90d på et disjunkt segment; kort tau (<=30d) er en oplyst modelleret grænse Tests: cti_holdover_coverage_reference.rs.
- og 6 flere i matrixen.
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):
- VALIDATED ARAIM-løsningsseparation med flere hypoteser efter ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels og add_v42_protecti. Uafhængig reference (ExternalDataset): Tre uafhængige værktøjer, præregistreret (0123cee1), før noget fixture- eller referenceoutput fandtes, med tolerancer fastsat dengang. (1) ARAIM: Stanford MAAST for ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, kørt som et separat program under GNU Octave 8,4 med en kompatibilitets-shim for unique() på driversiden (oplyst, ingen algoritmeændring), ved ADD TOL_PL på 0,05 m: Rust gengiver ADD-referenceimplementeringen på
- VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP ud fra sigtelinjegeometri via Q=(HᵀH)⁻¹ med en lokal ENU-opdeling. Uafhængig reference (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP, uafhængigt bibliotek, stemmer til 1e-6 relativt
- VALIDATED Den fordelingsmæssige kerne, som hvert beskyttelsesniveau hviler på: snapshot-tærsklen for fejldetektion χ²₁₋ₚfₐ(dof), ikke-centraliteten for overset detektion pbias=√λ, og . Uafhængig reference (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq), uafhængigt bibliotek (Cephes/Boost), en anden algoritme end Kshanas ufuldstændige gamma-række; stemmer til ≤1e-6 rel. Kun kernen. Den ARAIM MHSS P_HMI-budget-fordeling er ikke længere uden en offentliggjort numerisk reference: WG-C ARAIM Technical Subgroups eget gennemregnede eksempel understøtter nu den separate 'ARAIM MHSS protection levels against published referen
- 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
Begrænsninger#
Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:
- 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å#
- Familieside: GNSS-målinger, positionsbestemmelse og integritet
- Alle typer: KINDS.md
- Emneside: CAMPAIGNS.md
- Emneside: INTEGRITY.md