araim-reference-check (scenariokind)

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#

Gepubliceerde ARAIM-certificeringsreferentievectoren: de ARAIM-horizontale en -verticale beschermingsniveaus van de engine, uitgevoerd tegen de EIGEN uitgewerkte numerieke voorbeelden van de WG-C ARAIM Technical Subgroup, met de tolerantie (TOL_PL = 5e-2 m) die die documenten zelf vermelden. Twee vectoren zijn als fixtures vastgelegd, elk met zijn ophaal-URL, ophaaldatum, SHA-256 van het bronbestand en pagina: de Reference Airborne Algorithm Description Document v3.1 (2019) Appendix D — zelfconsistent, en de acceptatievector — en het Milestone 3 Report (2016) Annex A section A.IX, de verklaring die de onderzoeksbibliografieën citeren. Elke gepubliceerde invoer (de geometriematrix van 10 satellieten en 2 constellaties, de variantiediagonalen C_int en C_acc, b_nom, P_sat, P_const en de constantenset van LPV-200) en elke gepubliceerde uitvoer (VPL, HPL, EMT, sigma_v_acc, K_fa_3 en sigma_3, sigma_ss_3 en b_3 van de twee constellatiefoutmodi) wordt naast het eigen getal van de engine en hun absolute verschil gerapporteerd. De vergelijking voor het beschermingsniveau wordt hier NIET opnieuw opgelost: de modelijst van de referentie wordt overgedragen aan de bestaande raim::araim_protection_level / araim_integrity_risk van de engine, zodat de bisectie en de gaussiaanse-staartalgebra die worden getest die van de engine zelf zijn; alleen de geometrie, de deeloplossingen, de detectiedrempels en de gepubliceerde budgetverdeling worden ervoor opgebouwd. EXTERN GECONTROLEERD tegen de vector van 2019: VPL 18,2926 m tegenover 18,3 m gepubliceerd, HPL 13,4063 m tegenover 13,45 m, EMT 7,2997 m tegenover 7,2998 m, sigma_v_acc 1,3694 m tegenover 1,3694 m, en alle zes gepubliceerde tussenwaarden tot op een halve eenheid in hun laatste afgedrukte decimaal. De vector van 2016 bevat twee interne gebreken die het rapport vermeldt in plaats van verbergt — een tekenfout in rij 3 van G, en een K_fa_3 die is geëvalueerd bij 57 foutmodi terwijl het document N_fault_max = 1 (12 modi) vermeldt — zodat de geometrische tussenwaarden exact worden gereproduceerd terwijl de beschermingsniveaus worden gerapporteerd als gemeten afwijkingen en buiten het acceptatiecijfer blijven; de tolerantie wordt nooit verruimd om ze op te vangen. Elk uitgegeven numeriek veld draagt een eenheid en een herkomstklasse, en een overgenomen cijfer wordt gelabeld published zodat het nooit voor een berekend cijfer kan worden aangezien. REIKWIJDTE: alleen N_fault_max = 1 (foutmodi van één satelliet en van één constellatie) is geïmplementeerd, en een geval waarvan de priors gelijktijdige multi-eventfoutdeelverzamelingen vereisen wordt REFUSED in plaats van stilzwijgend afgekapt; foutdetectie, uitsluiting, de chikwadraatconsistentiecontrole en de herallocatiestap tegen dubbeltelling van het referentiealgoritme vallen buiten de reikwijdte. Dit reproduceert het uitgewerkte voorbeeld van een gepubliceerd referentiealgoritme — het is geen certificering, geen luchtwaardigheidsartefact en geen goedkeuring.

Eén run van scenarios/araim-reference-check.toml vat samen als: araim-reference-check: 2 gepubliceerde WG-C-referentievector(en); slechtste VPL/HPL-overeenkomst 0,0437 m tegenover de eigen TOL_PL = 0,05 m van de referentie over 1 acceptatievector(en)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: vector

Het voorbeeld scenarios/araim-reference-check.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/araim-reference-check.toml

Wat het oplevert#

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

Resultaatlabel (van de engine): EXTERN GECONTROLEERD — de ARAIM-beschermingsniveaus van de engine, uitgevoerd tegen de gepubliceerde uitgewerkte numerieke voorbeelden van het referentie-airborne-algoritme van de EU-U.S. Working Group C ARAIM Technical Subgroup, met de tolerantie (TOL_PL) die die documenten zelf vermelden. Elk gepubliceerd cijfer draagt zijn bron-UR

Bewijs#

VALIDATED: de rijen van de verificatiematrix die dit kind noemen.

• VALIDATED De vergelijking voor het beschermingsniveau met meervoudige hypothesen en oplossingsscheiding zelf: alles-in-zicht en per-foutmodus gewogen kleinste kwadraten op een East/North/Up-geometrie met één klokstoestand per constellatie, de sigma's van de deeloplossingen, oplossingsscheiding Tests: araim_reference_vectors.rs.

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

• 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
• VALIDATED De vergelijking voor het beschermingsniveau met meervoudige hypothesen en oplossingsscheiding zelf: alles-in-zicht en per-foutmodus gewogen kleinste kwadraten op een East/North/Up-geometrie. Onafhankelijke referentie (ExternalDataset): EU-U.S. Working Group C ARAIM Technical Subgroup, Reference Airborne Algorithm Description Document v3.1 (20 June 2019), Appendix D worked numerical example — gepubliceerde INVOER (geometriematrix van 10 satellieten en 2 constellaties, diagonalen C_int/C_acc, b_nom, P_sat, P_const, LPV-200-constanten) en gepubliceerde UITVOER (VPL 18,3 m, HPL 13,45 m, EMT 7,2998 m, σ_v_acc 1,3694 m, K_fa_3 5,1083 en zes tussenwaarden van de constellatiefout

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#

• Familiepagina: GNSS-metingen, positiebepaling en integriteit
• Alle kinds: KINDS.md
• Onderwerppagina: INTEGRITY.md
• Onderwerppagina: ARAIM_REFERENCE.md