araim-reference-check (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#

Vecteurs de référence de certification ARAIM publiés : les niveaux de protection horizontal et vertical ARAIM du moteur exécutés sur les exemples numériques traités PROPRES au sous-groupe technique ARAIM du WG-C, à la tolérance (TOL_PL = 5e-2 m) que ces documents indiquent eux-mêmes. Deux vecteurs sont enregistrés comme jeux de test, chacun portant son URL de récupération, sa date de récupération, le SHA-256 du fichier source et la page : le Reference Airborne Algorithm Description Document v3.1 (2019) annexe D — autocohérent, et le vecteur d'acceptation — et le rapport du jalon 3 (2016) annexe A section A.IX, la déclaration que citent les bibliographies de recherche. Chaque entrée publiée (la matrice de géométrie à 10 satellites et 2 constellations, les diagonales de variance C_int et C_acc, b_nom, P_sat, P_const et le jeu de constantes LPV-200) et chaque sortie publiée (VPL, HPL, EMT, sigma_v_acc, K_fa_3 et les sigma_3, sigma_ss_3 et b_3 des deux modes de défaut de constellation) est rapportée à côté du nombre propre du moteur et de leur différence absolue. L'équation du niveau de protection n'est PAS résolue de nouveau ici : la liste de modes de la référence est remise au raim::araim_protection_level / araim_integrity_risk existant du moteur, de sorte que la bissection et l'algèbre de la queue gaussienne éprouvées sont celles du moteur ; seuls la géométrie, les sous-solutions, les seuils de détection et la répartition publiée du budget sont construits pour lui. EXTERNALLY CHECKED par rapport au vecteur 2019 : VPL 18,2926 m contre 18,3 m publié, HPL 13,4063 m contre 13,45 m, EMT 7,2997 m contre 7,2998 m, sigma_v_acc 1,3694 m contre 1,3694 m, et les six intermédiaires publiés à moins d'une demi-unité de leur dernière décimale imprimée. Le vecteur 2016 comporte deux défauts internes que le rapport énonce au lieu de les cacher — une coquille de signe à la ligne 3 de G, et un K_fa_3 évalué à 57 modes de défaut alors que le document indique N_fault_max = 1 (12 modes) — de sorte que ses intermédiaires de géométrie se reproduisent exactement tandis que ses niveaux de protection sont rapportés comme des écarts mesurés et exclus du chiffre d'acceptation ; la tolérance n'est jamais élargie pour les absorber. Chaque champ numérique émis porte une unité et une classe de provenance, et un chiffre transcrit est étiqueté published afin de ne jamais pouvoir être pris pour un chiffre calculé. PORTÉE : seul N_fault_max = 1 (modes de défaut d'un seul satellite et d'une seule constellation) est mis en œuvre, et un cas dont les a priori exigent des sous-ensembles de défauts multi-événements simultanés est REFUSED au lieu d'être tronqué silencieusement ; la détection de défaut, l'exclusion, le contrôle de cohérence du khi-deux et l'étape de réallocation de double comptage de l'algorithme de référence sont hors périmètre. Cela reproduit l'exemple traité d'un algorithme de référence publié — ce n'est ni une certification, ni un artefact de navigabilité, ni une approbation.

Une exécution de scenarios/araim-reference-check.toml se résume ainsi : araim-reference-check: 2 published WG-C reference vector(s); worst VPL/HPL agreement 0,0437 m against the reference's own TOL_PL = 0,05 m over 1 acceptance vector(s)

Entrées#

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

• Champs requis : aucun
• Champs facultatifs : vector

L'exemple scenarios/araim-reference-check.toml définit, entre autres :

L'exécuter#

kshana scenarios/araim-reference-check.toml

Ce qu'il donne#

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

Étiquette du résultat (celle du moteur) : EXTERNALLY CHECKED — les niveaux de protection ARAIM du moteur exécutés sur les exemples numériques traités publiés de l'algorithme aéroporté de référence du sous-groupe technique ARAIM du Working Group C UE–États-Unis, à la tolérance (TOL_PL) que ces documents indiquent eux-mêmes. Chaque chiffre publié porte son UR

Preuves#

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

• VALIDATED L'équation du niveau de protection par séparation de solutions à hypothèses multiples elle-même : moindres carrés pondérés tous satellites en vue et par mode de défaut sur une géométrie Est/Nord/Haut avec un état d'horloge par constellation, les sigma des sous-solutions, la séparation de solutions Tests : araim_reference_vectors.rs.

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) :

• 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
• VALIDATED L'équation du niveau de protection par séparation de solutions à hypothèses multiples elle-même : moindres carrés pondérés tous satellites en vue et par mode de défaut sur une géométrie Est/Nord/Haut. Référence indépendante (ExternalDataset) : sous-groupe technique ARAIM du Working Group C UE–États-Unis, Reference Airborne Algorithm Description Document v3.1 (20 juin 2019), exemple numérique traité de l'annexe D — ENTRÉES publiées (matrice de géométrie à 10 satellites et 2 constellations, diagonales C_int/C_acc, b_nom, P_sat, P_const, constantes LPV-200) et SORTIES publiées (VPL 18,3 m, HPL 13,45 m, EMT 7,2998 m, σ_v_acc 1,3694 m, K_fa_3 5,1083, et six intermédiaires de défaut de constellation

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#

• Page de famille : Mesures GNSS, positionnement et intégrité
• Tous les types de scénario : KINDS.md
• Page thématique : INTEGRITY.md
• Page thématique : ARAIM_REFERENCE.md