Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Pages des types de scénarioModifier sur GitHubSource : docs/kinds/by-kind/integrity.md

integrity (type de scénario)

Type de scénario du moteur v0.40.0, famille Mesures GNSS, positionnement et intégrité. À titre consultatif : résultat d'analyse d'un outil de recherche et d'ingénierie, et non un équipement de navigation homologué ni un service de sauvegarde de la vie humaine. Chaque étiquette ici est celle du moteur ou de la matrice de vérification ; un type de scénario est MODELLED sauf si la matrice dit le contraire (comment une étiquette s'acquiert : la section Evidence du README).

Ce qu'il fait#

RAIM instantané / à séparation de solutions / ARAIM avec HPL/VPL et un diagramme de Stanford.

Une exécution de scenarios/integrity-raim.toml se résume ainsi : 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

Entrées#

D'après le schéma (kshana kinds --json) :

  • Champs obligatoires : mask_deg, sigma_uere_m, p_fa, p_md, al_h_m, al_v_m, time, user|user_site, constellation
  • Champs facultatifs : sigma_ura_m, b_nom_m, constellations, seed, araim_dual, p_hmi, skyline

L'exemple scenarios/integrity-raim.toml définit, entre autres :

Champ Valeur Unité
al_h_m 40 m
al_v_m 50 m
constellation.altitude_km 20200 km
constellation.inclination_deg 55 deg
constellation.phasing_f 1 non indiqué
constellation.planes 6 non indiqué
constellation.sats_per_plane 4 non indiqué
kind integrity texte
mask_deg 5 deg
p_fa 1.0000e-5 non indiqué
p_md 0.001 non indiqué
seed 7 non indiqué

L'exécuter#

kshana scenarios/integrity-raim.toml

3 scénarios fournis utilisent ce type ; les autres se trouvent dans scenarios/.

Ce qu'il donne#

Les résultats scalaires de cette exécution, avec les unités que le moteur indique :

Résultat Valeur Unité
al_h_m 40 m
al_v_m 50 m
evidence.id_rule l'identifiant stable de la ligne de la matrice (l'ID texte
evidence.matrix docs/VERIFICATION-MATRIX.md texte
evidence.tier MODELLED texte
samples_available 344 nombre
samples_total 361 nombre
stanford.alert_limit_m 50 m
Le graphique que le moteur écrit pour scenarios/integrity-raim.toml, type de scénario integrity

Preuves#

MODELLED 6 · VALIDATED 4 : les lignes de la matrice de vérification qui nomment ce type de scénario.

  • MODELLED La section facultative [integrity] du type de scénario clock (clock_integrity::run) : à partir d'un site indiqué et de préréglages de constellation (geometry::sky_geometry), à chaque époque d'intégrité tant que la chronologie GNSS n'est pas refusée, RAIM instantané (raim::snapshot_ Tests : clock_integrity.rs.
  • VALIDATED TPL à séparation de solutions en temps scalaire sur des sources hétérogènes ; PL piloté par le bruit du sous-ensemble à pire exclusion + biais UTC(k)
  • MODELLED PL(τ)=max(TPL_handover,HPL(τ)) ; PL semi-continu inférieurement PL(0+)≥PL(0−) ; maximum glissant K(IR/2) ; exposants de phase τ/τ³/τ⁵
  • VALIDATED L'enveloppe à maximum glissant surestime et couvre (sans perforation) une série métrologique réelle à chaque décalage testé tau>=90d sur un segment disjoint ; le tau court (<=30d) est une limite déclarée, modélisée Tests : cti_holdover_coverage_reference.rs.
  • et 6 autres dans la matrice.

Les lignes que l'exécution elle-même a exercées, avec la référence indépendante que la matrice donne pour chacune (les sources publiques y sont nommées) :

  • VALIDATED Séparation de solutions à hypothèses multiples ARAIM selon l'ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels et add_v42_protecti. Référence indépendante (ExternalDataset) : trois outils indépendants, préenregistrés (0123cee1) avant l'existence de toute donnée de banc d'essai ou de référence, tolérances alors fixées. (1) ARAIM : Stanford MAAST pour ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, exécuté comme programme séparé sous GNU Octave 8,4 avec une couche de compatibilité unique() côté pilote (divulguée, sans changement d'algorithme), au TOL_PL de l'ADD de 0,05 m : le Rust reproduit l'implémentation de référence de l'ADD sur
  • VALIDATED GDOP/PDOP/HDOP/VDOP/TDOP à partir de la géométrie des lignes de visée via Q=(HᵀH)⁻¹ avec une séparation ENU locale. Référence indépendante (ExternalDataset) : DOP de gnss_lib_py 1.0.4 (Stanford NAV Lab) — bibliothèque indépendante, concordance à 1e-6 en relatif
  • VALIDATED Le cœur distributionnel sur lequel repose tout niveau de protection : le seuil de détection de défaut instantané χ²₁₋ₚfₐ(dof), la non-centralité de détection manquée pbias=√λ, et. Référence indépendante (ExternalDataset) : SciPy 1.17.0 (scipy.stats.chi2/.norm/.ncx2 + optimize.brentq) — bibliothèque indépendante (Cephes/Boost), un algorithme différent de la série de la gamma incomplète de Kshana ; concordance à ≤1e-6 en rel. Noyau seulement. L'allocation du budget P_HMI de l'ARAIM MHSS n'est plus dépourvue de référence numérique publiée — l'exemple travaillé du sous-groupe technique ARAIM du WG-C appuie désormais la ligne distincte « ARAIM MHSS protection levels against published referen
  • MODELLED Déterministe, hachée par scénario, avec des barrières SBOM + références d'or multiplateformes. Référence indépendante (ExternalDataset) : respect du schéma JSON officiel CycloneDX 1,5 par la SBOM (+ identifiants SPDX valides) — une norme publiée externe, zéro erreur de validation sur tout le graphe de dépendances ; la partie déterminisme du FoM / reproductibilité à l'octet près reste un contrôle d'autocohérence figé, de sorte que la ligne reste MODELLED

Limites#

Ce que le rapport propre à l'exécution dit n'être pas modélisé ou pas validé :

  • La reproductibilité et l'assurance logicielle sont MODELLED, et non validées : une sous-affirmation est vérifiée de l'extérieur, mais la capacité entière compose des éléments modélisés, de sorte qu'elle reste modélisée. (matrice de vérification (docs/MODELLED-RATIONALE.md))

Voir aussi#