araim-reference-check (Szenarioart)

Szenarioart der Engine v0.40.0, Familie GNSS-Messungen, Positionierung und Integrität. Beratend: Analyseausgabe eines Forschungs- und Entwicklungswerkzeugs, keine typzugelassene Navigationsausrüstung und kein Dienst für die Sicherheit von Menschenleben. Jede Bezeichnung hier stammt von der Engine oder der Verifikationsmatrix; eine Art ist MODELLED, sofern die Matrix nichts anderes sagt (wie eine Bezeichnung verdient wird: der Abschnitt Evidence der README).

Was es tut#

Veröffentlichte ARAIM-Zertifizierungs-Referenzvektoren: Die horizontalen und vertikalen ARAIM-Schutzniveaus der Engine laufen gegen die EIGENEN durchgerechneten numerischen Beispiele der WG-C-ARAIM-Technical-Subgroup, mit der Toleranz (TOL_PL = 5e-2 m), die diese Dokumente selbst nennen. Zwei Vektoren sind als Fixtures eingecheckt, jeder mit seiner Abruf-URL, seinem Abrufdatum, dem SHA-256 der Quelldatei und der Seite: dem Anhang D des Reference Airborne Algorithm Description Document v3.1 (2019) — in sich konsistent und der Abnahmevektor — und dem Milestone 3 Report (2016) Annex A Abschnitt A.IX, der Aussage, die die Forschungsbibliografien zitieren. Jede veröffentlichte Eingabe (die Geometriematrix mit 10 Satelliten und 2 Konstellationen, die Varianzdiagonalen C_int und C_acc, b_nom, P_sat, P_const und der konstante Satz für LPV-200) und jede veröffentlichte Ausgabe (VPL, HPL, EMT, sigma_v_acc, K_fa_3 und sigma_3, sigma_ss_3 und b_3 der beiden Konstellationsfehlermodi) wird neben der eigenen Zahl der Engine und ihrer absoluten Differenz gemeldet. Die Schutzniveaugleichung wird hier NICHT neu gelöst: Die Modusliste der Referenz wird den bestehenden raim::araim_protection_level / araim_integrity_risk der Engine übergeben, sodass die geprüfte Bisektion und Gauß-Schwanz-Algebra die eigenen der Engine sind; nur die Geometrie, die Teillösungen, die Detektionsschwellen und die veröffentlichte Budgetaufteilung werden dafür gebaut. EXTERNALLY CHECKED gegen den Vektor von 2019: VPL 18,2926 m gegenüber veröffentlichten 18,3 m, HPL 13,4063 m gegenüber 13,45 m, EMT 7,2997 m gegenüber 7,2998 m, sigma_v_acc 1,3694 m gegenüber 1,3694 m und alle sechs veröffentlichten Zwischenwerte auf eine halbe Einheit in ihrer letzten gedruckten Dezimalstelle. Der Vektor von 2016 trägt zwei interne Mängel, die der Bericht nennt, statt sie zu verbergen — einen Vorzeichenfehler in Zeile 3 von G und ein K_fa_3, das bei 57 Fehlermodi ausgewertet wurde, während das Dokument N_fault_max = 1 (12 Modi) nennt — sodass seine Geometrie-Zwischenwerte exakt reproduziert werden, während seine Schutzniveaus als gemessene Abweichungen gemeldet und aus der Abnahmezahl ausgeschlossen werden; die Toleranz wird nie geweitet, um sie aufzunehmen. Jedes ausgegebene numerische Feld trägt eine Einheit und eine Herkunftsklasse, und eine abgeschriebene Zahl ist mit published bezeichnet, sodass sie nie mit einer berechneten verwechselt werden kann. UMFANG: Nur N_fault_max = 1 (Fehlermodi einzelner Satelliten und einzelner Konstellationen) ist implementiert, und ein Fall, dessen Prioris gleichzeitige Fehlerteilmengen mit mehreren Ereignissen erfordern, wird REFUSED, statt stillschweigend gekürzt zu werden; Fehlererkennung, Ausschluss, die Chi-Quadrat-Konsistenzprüfung und der Umverteilungsschritt gegen Doppelzählung des Referenzalgorithmus liegen außerhalb des Umfangs. Dies reproduziert das durchgerechnete Beispiel eines veröffentlichten Referenzalgorithmus — es ist keine Zertifizierung, kein Lufttüchtigkeitsartefakt und keine Zulassung.

Ein Lauf von scenarios/araim-reference-check.toml fasst sich so zusammen: 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)

Eingaben#

Aus dem Schema (kshana kinds --json):

• Pflichtfelder: keine
• Optionale Felder: vector

Das Beispiel scenarios/araim-reference-check.toml setzt unter anderem:

Ausführen#

kshana scenarios/araim-reference-check.toml

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnisbezeichnung (die der Engine): EXTERNALLY CHECKED — die ARAIM-Schutzniveaus der Engine laufen gegen die veröffentlichten durchgerechneten numerischen Beispiele des Referenz-Airborne-Algorithmus der Technical Subgroup ARAIM der EU-U.S. Working Group C, mit der Toleranz (TOL_PL), die diese Dokumente selbst nennen. Jede veröffentlichte Zahl trägt ihre Quell-UR

Nachweise#

VALIDATED: die Zeilen der Verifikationsmatrix, die diese Art nennen.

• VALIDATED Die Schutzniveaugleichung der Mehrfachhypothesen-Lösungstrennung selbst: gewichtete Kleinste-Quadrate-Lösung mit allen sichtbaren Satelliten und je Fehlermodus auf einer Ost/Nord/Oben-Geometrie mit einem Uhrenzustand je Konstellation, die Sigmas der Teillösungen, Lösungstrenn Tests: araim_reference_vectors.rs.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

• MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED
• VALIDATED Die Schutzniveaugleichung der Mehrfachhypothesen-Lösungstrennung selbst: gewichtete Kleinste-Quadrate-Lösung mit allen sichtbaren Satelliten und je Fehlermodus auf einer Ost/Nord/Oben-Geometrie. Unabhängige Referenz (ExternalDataset): EU-U.S. Working Group C ARAIM Technical Subgroup, Reference Airborne Algorithm Description Document v3.1 (20. Juni 2019), durchgerechnetes numerisches Beispiel in Anhang D — veröffentlichte EINGABEN (Geometriematrix mit 10 Satelliten und 2 Konstellationen, Diagonalen C_int/C_acc, b_nom, P_sat, P_const, Konstanten für LPV-200) und veröffentlichte AUSGABEN (VPL 18,3 m, HPL 13,45 m, EMT 7,2998 m, σ_v_acc 1,3694 m, K_fa_3 5,1083 und sechs Zwischenwerte der Konstellationsfehler

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

• Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#

• Familienseite: GNSS-Messungen, Positionierung und Integrität
• Alle Arten: KINDS.md
• Themenseite: INTEGRITY.md
• Themenseite: ARAIM_REFERENCE.md