Klokker, tidssynkronisering og holdover (scenariotypefamilie)

9 scenariotyper i motoren v0.40.0. Veiledende: analyseresultat fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en safety-of-life-tjeneste. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett oppnås: README-ens Evidence-avsnitt).

Temasider: TELECOM-TIMING, SLOT-TIMING, TIMING-HIL, CLOCK-LOG-FORMATS. Kjør én: kshana scenarios/clock-holdover.toml. Alle familier: KINDS.md.

clock#

Klokkens holdover mot spesifikasjonen; valgfritt Monte Carlo-ensemble (runs > 1).

Obligatoriske felt: seed, threshold_ns, time, gnss, clock_quantum, clock_classical. Valgfrie: runs, integrity.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: clock.

kshana scenarios/clock-ensemble.toml

sweep#

1-D-sveip for avveiningsstudie over en parameter i klokkepakken.

Obligatoriske felt: parameter, metric, start, stop, steps, base. Valgfrie: scale.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: sweep.

kshana scenarios/sweep-clock-stability.toml

sweep-nd#

Generisk N-D-sveip over en vilkårlig pakke via TOML-nøkler med punktum / JSON-metrikkstier.

Obligatoriske felt: base, axes, metrics.

Register: ingen rad i matrisen nevner denne typen; motoren merker selv resultatet sitt. Fullstendig side, med inndata, resultater, evidens og begrensninger: sweep-nd.

kshana scenarios/sweep-nd-inertial.toml

telecom-timing#

Tidssynkronisering i telekom: tidsfeil, maksimal tidsintervallfeil (MTIE) og tidsavvik (TDEV) for en GNSS-holdover, kontrollert mot ITU-T-masker med PASS eller FAIL og en margin per maske. Inndata er enten en SYNTETISK HOLDOVER (en forhåndsinnstilling for oscillator, ocxo, rubidium, cesium eller csac, hver med tallene for stabilitet, aldring og temperatur fra et navngitt offentlig Microchip-datablad, pluss tidspunktet for GNSS-tap, registreringslengden og samplingsintervallet; den frittløpende klokken bærer hvit, flicker og, der tilpasningen til databladet krever det, random-walk frekvensstøy, lineær aldring og et sinusformet temperaturledd) eller en INNLEST SERIE av par [time_s, time_error_ns] oppgitt innebygd (og, kun i native bygg, en CSV-fil). Masker: ITU-T G.8272 (07/2025) PRTC-A og PRTC-B (maks|TE| 100 / 40 ns, MTIE tabell 1-2, TDEV tabell 3-4); G.8272.1 (2024) tillegg 1 (07/2025) ePRTC låst (30 ns, tabell 1-2) og ePRTC-A holdover (tidsfeilomhyllingen i tabell 3 som stiger fra 30 ns til 100 ns over holdover-perioden H bestemt av den låste varigheten, MTIE tabell 4, TDEV tabell 5); G.8273.2 (2023) tillegg 2 (11/2025) T-BC/T-TSC klassene A-C (maks|TE|, konstant tidsfeil, lavpassfiltrert MTIE og TDEV) og klasse D (maks|TE_L| 5 ns, det eneste tallet for klasse D som ikke er overlatt til videre studium); G.8271.1 (2022) tillegg 3 (05/2025) referansepunkt C (maks|TE_L| 1100 / 600 / 100 ns med MTIE tabell 7-1 til 7-3). Hver post en anbefaling markerer for videre studium er utelatt i stedet for fylt inn, og hver rapport lister hva som ikke er implementert. Rapporterer også tiden til hvert budsjett for maksimal tidsfeil overskrides (standard: 100 ns ePRTC maks|TE_HO|, 400 ns tildeling for nettverks-holdover, 1100 ns punkt C, 1,5 us klasse 4), kurvene for MTIE/TDEV som en CSV-tabell med hver maskegrense, og en oppføring for enheter og opphav per numerisk felt. VALIDATED: estimatorene for MTIE og TDEV mot pakken allantools på en innsjekket holdover-serie. MODELLED: masketabellene er transkripsjoner, og en syntetisk holdover er en modell bygget fra maksimalverdier i datablad, ikke en måling av noen enhet. Ikke en overensstemmelsestest.

Obligatoriske felt: ingen. Valgfrie: seed, masks, budgets, holdover, series.

Register: MODELLED 5 · VALIDATED 1. Fullstendig side, med inndata, resultater, evidens og begrensninger: telecom-timing.

kshana scenarios/telecom-synce-eec.toml

slot-timing#

Slot-tidssynkronisering: sekunder til en frittløpende klokke forlater guardintervallet til en tidsindeksert rutings- eller oppgaveslot (den største absolutte tidsfeilen slotten tåler), bidraget fra hvert ledd i det øyeblikket med det dominerende leddet navngitt (usikkerhet i posisjonsbestemmelsen, hvit fasestøy, hvit, flicker, random-walk og random-run frekvensstøy, restfrekvensavvik, temperatur, aldring), tiden som er igjen siden siste posisjonsbestemmelse, og det største intervallet mellom posisjonsbestemmelser som holder klokken innenfor, fratrukket latensen for posisjonsbestemmelsen. Oscillatoren er en KLASSESTANDARD (csac, uso, dsac, tcxo, ocxo eller rafs: ett sitert Allan-avvik for ett sekund og et antatt rødstøygulv), en FORHÅNDSINNSTILLING FRA DATABLAD for tidssynkronisering i telekom eller et innebygd DATABLAD (maksimalverdier for Allan-avvik tilpasset som en omhylling, pluss aldring og en temperaturkoeffisient), eller en innebygd MEASURED FASEREGISTRERING (dens overlappende Allan-avvik tilpasset med vektede minste kvadrater i basisen for hvit fase og frekvensmodulasjon etter IEEE Std 1139, slik at rødstøygulvet er målt og ikke antatt). Et brudd utover den lengste midlingstiden databladet eller registreringen støtter, merkes som ekstrapolert. En valgfri seksjon for spoofing legger til beskyttelsesnivået for tidssynkronisering for en mottaker i bane: banehastighet og omløpstid, hvor lenge en enkelt bakkespoofer kan nå satellitten per passering, gulvet for den klokkestøttede monitoren og CUSUM-latensen for deteksjon, den betingede grensen, trekket en spoofer ved en oppgitt maksimal rampehastighet samler opp før satellitten forlater rekkevidden eller en uavhengig kontroll kjøres, og om hver kontroll mot bakkekontakt eller krysslenke er uavhengig av den spooferen. VALIDATED: inversjonen av holdover fra en tilpasset registrering, holdt tilbake på en virkelig cesiumklokke målt mot en hydrogenmaser (tests/slot_timing_cs5071a_holdout.rs, datastyrt); på en målt krystalloscillator er den tilbakeholdte prediksjonen konservativ, men ikke innenfor terskelen, så krystalltilfellet er MODELLED. MODELLED: klasse- og databladkilder, de deterministiske leddene og vurderingen av spoofing.

Obligatoriske felt: oscillator, slot. Valgfrie: spoofing.

Register: MODELLED 2 · VALIDATED 1. Fullstendig side, med inndata, resultater, evidens og begrensninger: slot-timing.

kshana scenarios/slot-timing-ocxo-leo.toml

timetransfer#

Optisk mot RF toveis tids-/frekvensoverføring.

Obligatoriske felt: seed, samples, step_s, range_spec_mm, link_quantum, link_classical.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: timetransfer.

kshana scenarios/timetransfer.toml

time-transfer-budget#

Toveis satellittbasert tid- og frekvensoverføring mellom to stasjoner via et geostasjonært relé: toveisligningen løst for T_A - T_B med hvert ikke-resiprokt ledd (stasjonsutstyrets forsinkelser, ionosfære i Ku-bånd, transponder, Sagnac), et usikkerhetsbudsjett i kvadratsum der type A-leddet er den simulerte lenkens TDEV ved midlingstiden, en simulert lenke med hvit og flicker-fasestøy og en døgnlig ikke-resiprositet, og stabiliteten (rate, residual-RMS, TDEV, ADEV) til enhver oppgitt serie fra BIPM Circular T, seksjon 1, MJD,ns-CSV eller IGS RINEX-stasjonsklokkeposter. MODELLED.

Obligatoriske felt: station_a, station_b, satellite_lon_deg, transponder_ab_ns, transponder_ba_ns, white_noise_ns, uncertainty. Valgfrie: uplink_ghz, downlink_ghz, true_offset_ns, flicker_noise_ns, diurnal_amplitude_ns, reciprocity_bias_ns, step_s, span_days, averaging_s, seed, series.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: time-transfer-budget.

kshana scenarios/time-transfer-budget.toml

holdover-test#

MODELLED holdover-test av et system for tidssynkronisering, vurdert ut fra en tidsfeilregistrering som OPERATØREN leverer (en linuxptp ptp4l-, phc2sys- eller ts2phc-logg, en chrony tracking- eller statistikklogg, en TICC-, TimeLab- eller RINEX-klokkelogg, eller par av time_s,time_error_ns). Testen har fire trinn, og Kshana utfører ingen av dem: en låst GRUNNLINJE, GNSS FJERNET av operatøren (antennekabelen eller simulatorutgangen; Kshana sender ingenting og styrer ingenting) på et oppgitt tidspunkt, HOLDOVER på systemets egen oscillator, og GJENOPPRETTING etter at operatøren har gjenopprettet GNSS på et andre oppgitt tidspunkt. Registreringen deles ved disse to tidspunktene. Grunnlinje: tidsfeilstatistikk og ITU-T-maskene skrevet for en låst klokke. Holdover: statistikk, den relative frekvensavviket systemet holdt (en minstekvadraters linje), maskene skrevet for holdover eller en autonom klokke, ePRTC-A-holdoverenvelopen fra den oppgitte låste varigheten, og tiden til hvert tidsfeilbudsjett overskrides. Gjenoppretting: om og når |TE| kom innenfor et oppgitt bånd og ble der, toppen og det største trinnet. Hver grense er avskrevet fra en offentlig ITU-T-tabell (maskene for tidssynkronisering i telekommunikasjon); ordlyden er 'målt mot masken', og de to tidspunktene er operatørens opplysning, ikke verifisert. En registrering som er for kort for en maske er INCOMPLETE, aldri ekstrapolert. Se docs/TIMING-HIL.md.

Obligatoriske felt: test, series. Valgfrie: masks, budgets.

Register: MODELLED. Fullstendig side, med inndata, resultater, evidens og begrensninger: holdover-test.

kshana scenarios/holdover-test-ptp4l.toml

quantum-time-transfer#

MODELLED kjede for pålitelig kvantetidssynkronisering: et budsjett for tidsoverføring fra ende til ende for kvante (optisk gitterklokke + sammenfiltring/enkeltfotonlenke) mot klassisk (CSAC + toveis RF), et gjenbrukt beskyttelsesnivå for tidssynkronisering + et kvalitetsmål for sikkerhet mot forsinknings- og replay-angrep (1-P_md), en sannsynlighet for deteksjon av klokkeanomali + CUSUM-latens, og avveiningen mellom kvante og klassisk som ærlig TradeEvidence med en post for representativitet og gap til flyging. Illustrative parametere for enhet og lenke fra offentlige kilder; modellerer klassen, ingen TRL, ingen flyging og ingen sertifisering påstås.

Obligatoriske felt: ingen. Valgfrie: integration_s, dissemination_interval_s, link_loss_db, classical_link_sigma_s, monitor_pfa, attack_delay_s, clock_fault_sigma.

Register: ingen rad i matrisen nevner denne typen; motoren merker selv resultatet sitt. Fullstendig side, med inndata, resultater, evidens og begrensninger: quantum-time-transfer.

kshana scenarios/quantum-time-transfer.toml