Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/clock.md

clock (scenariotyp)

Scenariotyp i motor v0.40.0, familj Klockor, tidssynkronisering och holdover. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Klockans holdover mot specifikation; valfri Monte Carlo-ensemble (runs > 1).

En körning av scenarios/clock-ensemble.toml sammanfattas som: scenario 91d2b6d10d14 | 200 körningar | kvant-holdover 6600s [6600-6600] p95 8.78e-4ns säkerhet n/a (ingen attack) | klassisk holdover 844s [220-2130] p95 167.0ns säkerhet n/a (ingen attack)

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: seed, threshold_ns, time, gnss, clock_quantum, clock_classical
  • Valfria fält: runs, integrity

Exemplet scenarios/clock-ensemble.toml anger bland annat:

Fält Värde Enhet
clock_classical.flicker_floor 2.0000e-11 1
clock_classical.id csac-sa45s text
clock_classical.provenance Microchip SA65 / SA.45s CSAC-datablad sigma_y(1s)=3e-10; q_ text
clock_classical.q_rw 0 1/s
clock_classical.q_wf 9.0000e-20 s^2/s
clock_classical.y0 5.0000e-10 1
clock_quantum.flicker_floor 1.0000e-16 1
clock_quantum.id optical-sr-lattice text
clock_quantum.provenance Optisk gitterklocka med strontium, rymdinriktat mål sigma_y text
clock_quantum.q_rw 0 1/s
clock_quantum.q_wf 1.0000e-30 s^2/s
clock_quantum.y0 5.0000e-17 1

Kör den#

kshana scenarios/clock-ensemble.toml

6 medföljande scenarier använder den här typen; de andra finns i scenarios/.

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
classical.availability.mean 0.295402 1
classical.availability.p05 0.115118 1
classical.availability.p50 0.242718 1
classical.availability.p95 0.680999 1
classical.filter_health.consistent true flagga
classical.filter_health.nees_chi2_lower_95 1.142439 1
classical.filter_health.nees_chi2_upper_95 3.092704 1
classical.filter_health.nees_mean 1.807227 1
classical.filter_health.nis_chi2_lower_95 0.912528 1
classical.filter_health.nis_chi2_upper_95 1.091418 1
Diagrammet som motorn skriver för scenarios/clock-ensemble.toml, typ clock

Evidens#

MODELLED: raderna i verifieringsmatrisen som nämner den här typen.

  • MODELLED Det valfria avsnittet [integrity] i typen clock (clock_integrity::run): från en angiven plats och konstellationsförinställningar (geometry::sky_geometry), vid varje integritetsepok medan GNSS-tidslinjen inte är nekad, ögonblicks-RAIM (raim::snapshot_ Tester: clock_integrity.rs.
  • MODELLED clock_log::read_input: ett parserlager som gör om en RINEX-klockfil (AS/AR-poster för en namngiven klocka, versionerna 2 och 3,00 till 3,04), en ASCII-fas- eller frekvenslogg i TimeLab-stil, eller en TAPR TICC-tidsstämpel- eller intervalllogg till en enhetlig pha Tester: clock_log_allantools.rs.
  • MODELLED clock_log::read_input med formaten ptp4l, phc2sys, ts2phc, chrony-tracking och chrony-statistics: den loggade offseten för en linuxptp-servorad (ns, radens egen tidsstämpel inom hakparentes, avläsningar innan servot först rapporterar s2 utelämnade a
  • MODELLED Typen mission-thread: ett dokument med faser, var och en av åtta registrerade typer, körda i ordning med 6x6-kovariansen, klockan och referenssystemet överlämnade enligt en angiven regel (carry; inflate, vitt accelerationsbrus över ett angivet glapp Tester: field_units_global.rs.
  • och 1 till i matrisen.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • VALIDATED Allan-/modifierad/Hadamard-deviation + identifiering av potenslagsbrus med χ²-konfidensintervall. Oberoende referens (ExternalDataset): NIST SP 1065 (Riley) / Stable32 referensdeviationer på NBS14
  • MODELLED Glidfelstillväxt i sluten form + holdover till tröskel; kvantklockeklasser. Oberoende referens (ReferenceImpl): Flerstegsrekursion för clock_state-kovarians (korskontroll i samma kodbas); den underliggande kärnan för glidvarians och holdover-inversion är externt validerad mot scipy (se 'Clock-holdover coast-variance & threshold inversion'). Holdover-talen för rödbrusgolvet per klass förblir MODELLED
  • MODELLED Kalmanklocka med 3 tillstånd (fas/frekvens/drift) enligt van Loan, Joseph-stabiliserad. Oberoende referens (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), med F via scipy.linalg.expm och Q via blockmatrisen av Van Loan 1978 — en oberoende referensimplementering som reproducerar kshanas hela filterbana. Konsistens mellan implementeringar: klockfysiken / Allan-kalibreringen är inte externt validerade, så den här förblir MODELLED. 0,30 extern jämförelse, ett fynd (förblir MODELLED): på IGS-slutliga 30 s-klockor för 11 GPS Blo
  • MODELLED Klockstödd χ², RAIM, AGC, SQM sammanslagen säkerhets-FoM per epok. Oberoende referens (ExternalDataset): TEXBAT-scenarioparametrar (Humphreys 2012) — karakterisering, inte fastlåsta vektorer. 0,30 extern jämförelse, ett fynd (förblir MODELLED): på JammerTest 2024 (Bleik; GPL-3.0-data) gav monitorerna på observabelnivå (klockstött chi-kvadrat, RAIM, lösningsfel) inget larm inom 10 s för något av de 8 utvärderbara publicerade spoofing-inledningarna (där fönstret före inledningen var rent kom det första larmet 10,2 till 39 s efter pu
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Klockans holdover i GNSS-nekade miljöer är MODELLED, inte validerad: kontrollerad mot en separat implementering i just den här kodbasen — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Skattning av klocktillstånd ombord är MODELLED, inte validerad: kontrollerad mot en separat implementering i just den här kodbasen — oberoende av enheten som testas, men inte externt auktoritativ. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Spoofing-detektion är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#