Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/integrity.md

integrity (scenariosoort)

Scenariokind van de engine v0.40.0, familie GNSS-metingen, positiebepaling en integriteit. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Snapshot-/oplossingsscheidings-/ARAIM-RAIM met HPL/VPL en een Stanford-diagram.

Eén run van scenarios/integrity-raim.toml vat samen als: 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

Invoer#

Uit het schema (kshana kinds --json):

  • Verplichte velden: mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
  • Optionele velden: sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

Het voorbeeld scenarios/integrity-raim.toml stelt onder meer in:

Veld Waarde Eenheid
al_h_m 40 m
al_v_m 50 m
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 niet vermeld
constellation.planes 6 niet vermeld
constellation.sats_per_plane 4 niet vermeld
kind integrity tekst
mask_deg 5 deg
p_fa 1.0000e-5 niet vermeld
p_md 0.001 niet vermeld
seed 7 niet vermeld

Uitvoeren#

kshana scenarios/integrity-raim.toml

3 meegeleverde scenario's gebruiken dit kind; de overige staan in scenarios/.

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
al_h_m 40 m
al_v_m 50 m
evidence.id_rule de stabiele id van de matrixrij (de ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
samples_available 344 aantal
samples_total 361 aantal
stanford.alert_limit_m 50 m
De grafiek die de engine schrijft voor scenarios/integrity-raim.toml, soort integrity

Bewijs#

MODELLED 6 · VALIDATED 4: de rijen van de verificatiematrix die deze soort noemen.

  • MODELLED De optionele sectie [integrity] van het kind clock (clock_integrity::run): vanuit een vermelde locatie en constellatievoorinstellingen (geometry::sky_geometry), bij elk integriteitstijdstip zolang de GNSS-tijdlijn niet geweigerd wordt, snapshot-RAIM (raim::snapshot_ Tests: clock_integrity.rs.
  • VALIDATED TPL met oplossingsscheiding voor scalaire tijd over heterogene bronnen; PL bepaald door de ruis van de slechtste uitsluitingssubset + UTC(k)-bias
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)); laag-semicontinu PL(0+)≥PL(0−); K(IR/2) lopend maximum; τ/τ³/τ⁵ fasevenexponenten
  • VALIDATED De lopende-maximumenvelop overbegrenst (zonder doorboring) een echte metrologische reeks bij elke geteste lag tau>=90d op een disjunct segment; korte tau (<=30d) is een bekendgemaakte gemodelleerde grens Tests: cti_holdover_coverage_reference.rs.
  • en 6 meer in de matrix.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • VALIDATED ARAIM-oplossingsscheiding met meerdere hypothesen volgens het ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels en add_v42_protecti. Onafhankelijke referentie (ExternalDataset): Drie onafhankelijke hulpmiddelen, vooraf vastgelegd (0123cee1) voordat er een fixture of referentie-uitvoer bestond, toleranties toen vastgesteld. (1) ARAIM: Stanford MAAST for ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, als afzonderlijk programma uitgevoerd onder GNU Octave 8,4 met een unique()-compatibiliteitsshim aan de driverkant (bekendgemaakt, geen algoritmewijziging), bij de ADD TOL_PL van 0,05 m: de Rust-code reproduceert de ADD-referentie-implementatie op
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP uit de zichtlijngeometrie via Q=(HᵀH)⁻¹ met een lokale ENU-splitsing. Onafhankelijke referentie (ExternalDataset): gnss_lib_py 1.0.4 (Stanford NAV Lab) DOP, een onafhankelijke bibliotheek, overeenkomstig tot 1e-6 relatief
  • VALIDATED De verdelingskern waarop elk beschermingsniveau rust: de drempel voor foutdetectie op een momentopname χ²₁₋ₚfₐ(dof), de niet-centraliteit voor gemiste detectie pbias=√λ, en . Onafhankelijke referentie (ExternalDataset): SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq), een onafhankelijke bibliotheek (Cephes/Boost), een ander algoritme dan de incomplete-gammareeks van Kshana; overeenkomstig tot ≤1e-6 rel. Alleen de kern. De allocatie van het ARAIM-MHSS-P_HMI-budget is niet langer zonder gepubliceerde numerieke referentie: het eigen uitgewerkte voorbeeld van de WG-C ARAIM Technical Subgroup ondersteunt nu de afzonderlijke 'ARAIM MHSS protection levels against published referen
  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#