Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/holdover-test.md

holdover-test (druh scénáře)

Druh scénáře enginu v0.40.0, rodina Hodiny, časování a holdover. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).

Co dělá#

MODELLED test holdoveru časovacího systému, vyhodnocený ze záznamu časové chyby, který dodává PROVOZOVATEL (log linuxptp ptp4l, phc2sys nebo ts2phc, sledovací nebo statistický log chrony, log hodin TICC, TimeLab nebo RINEX, nebo dvojice time_s,time_error_ns). Test má čtyři kroky a Kshana neprovádí žádný z nich: uzamčený ZÁKLAD, ODPOJENÍ GNSS provozovatelem (anténním kabelem nebo výstupem simulátoru; Kshana nic nevysílá a nic neovládá) ve stanovený čas, HOLDOVER na vlastním oscilátoru systému a OBNOVA poté, co provozovatel ve druhém stanoveném čase GNSS obnoví. Záznam se v těchto dvou časech rozdělí. Základ: statistiky časové chyby a masky ITU-T napsané pro uzamčené hodiny. Holdover: statistiky, zlomkový frekvenční offset, který systém držel (přímka metodou nejmenších čtverců), masky napsané pro holdover nebo autonomní hodiny, obálka holdoveru ePRTC-A ze stanovené doby uzamčení a doba do překročení každého rozpočtu časové chyby. Obnova: zda a kdy |TE| vstoupila do stanoveného pásma a zůstala v něm, špička a největší skok. Každý limit je přepsán z veřejné tabulky ITU-T (telekomunikační časové masky); používá se formulace „změřeno vůči masce“ a oba časy jsou prohlášením provozovatele, nejsou ověřeny. Záznam příliš krátký pro masku je INCOMPLETE a nikdy se neextrapoluje. Viz docs/TIMING-HIL.md.

Jeden běh scenarios/holdover-test-ptp4l.toml se shrnuje takto: holdover-test: holdover 1795 s, max|TE| 59,0 ns; prtc-a PASS, eprtc-a-holdover FAIL; recovered 0 s after GNSS returned (MODELLED, measured against the mask)

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: test, series
  • Volitelná pole: masks, budgets

Příklad scenarios/holdover-test-ptp4l.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
kind holdover-test text
masks [prtc-a, eprtc-a-holdover] neuvedeno
series.clock_log.format ptp4l text
series.clock_log.text ptp4l[1000,000]: master offset -4 s2 freq + 1200 pa text
test.gnss_removed_s 600 s
test.gnss_restored_s 2400 s
test.locked_duration_days 5 d
test.recovery_band_ns 100 ns
test.recovery_dwell_s 60 s

Spusťte jej#

kshana scenarios/holdover-test-ptp4l.toml

Tento druh používají 2 přibalené scénáře; ostatní jsou v scenarios/.

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
clock_log.clock master text
clock_log.data phase text
clock_log.format ptp4l text
clock_log.gap_policy refuse text
clock_log.n_duplicates 0 1
clock_log.n_gaps 0 1
clock_log.n_grid 600 1
clock_log.n_interpolated 0 1
clock_log.n_missing 0 1
clock_log.n_off_grid 0 1

Štítek výsledku (enginu): MODELLED — test holdoveru vyhodnocený ze záznamu časové chyby, který dodal provozovatel. Každý limit je přepsán z uvedeného veřejného doporučení ITU-T a výsledek je změřen vůči masce; nic netvrdí o tom, zda nějaké hodiny nebo systém doporučení splňují, a nikdo je neposoudil ani neschválil

Graf, který engine zapisuje pro scenarios/holdover-test-ptp4l.toml, druh holdover-test

Důkazy#

MODELLED: řádky verifikační matice, které tento druh jmenují.

  • MODELLED Druh holdover-test: záznam časové chyby (log linuxptp, chrony, TICC, TimeLab nebo RINEX, nebo dvojice time_s,time_error_ns) se rozdělí ve dvou časech, které provozovatel uvede pro odpojení a obnovení GNSS, na základ, holdover a

Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):

  • MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
  • VALIDATED Maximální chyba časového intervalu a časová odchylka, které hlásí druh scénáře telecom-timing, na záznamu holdoveru telekomunikačního rozsahu: posuvná fronta monotónní s O(n). Orákulum (ExternalDataset): allantools 2024,06 — nezávislá knihovna třetí strany pro stabilitu frekvence — mtie() a tdev() na tests/fixtures/telecom_timing/holdover_te_series.csv, řada načtená z téhož textu o 17 platných číslicích na obou stranách; reference zaznamenává SHA-256 řady a lze ji offline znovu vygenerovat pomocí tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Ověřuje ESTIMÁTORY na tomto záznamu, ne syn
  • MODELLED Přepsané limity ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. 1 (07/2025) ePRTC uzamčený a holdover ePRTC-A (včetně obálky časové chyby z tabulky 3. Orákulum (InternalConsistency): Přepis uvedených doporučení (volně ke stažení na itu.int), každý limit s označením tabulky nebo článku, vypsaný se všemi nepotvrzenými nebo neimplementovanými položkami v docs/TELECOM-TIMING.md; identity spojitosti v zlomových bodech, které tabulky implikují, jsou kontrolovány v testech. Přepis norem s kontrolami vnitřní konzistence, nikoli test shody a nikoli externí validace. 0,30 round 2 (pre-register
  • MODELLED Druh holdover-test: záznam časové chyby (log linuxptp, chrony, TICC, TimeLab nebo RINEX, nebo dvojice time_s,time_error_ns) se rozdělí ve dvou časech th. Orákulum (InternalConsistency): Ruční výpočet na záznamech sestavených ze vzorců, jejichž sklon, skok, extrém a doba obnovy jsou známy před během (testy je uvádějí), a masky, obálka a rozpočty z řádků telecom-timing výše. Nebylo vyhodnoceno žádné laboratorní měření skutečného holdoveru a nebylo porovnáno žádné externí orákulum, takže druh nečiní žádné tvrzení o žádných hodinách ani systému; před jakýmkoli tvrzením pro třídu hodin je zapotřebí partner z časovací laboratoře

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • MODELLED — test holdoveru vyhodnocený ze záznamu časové chyby, který dodal provozovatel. Každý limit je přepsán z uvedeného veřejného doporučení ITU-T a výsledek je změřen vůči masce; nic netvrdí o tom, zda nějaké hodiny nebo systém doporučení splňují, a nikdo je neposoudil ani neschválil. Časy, kdy byl GNSS odpojen a obnoven, jsou prohlášením provozovatele a nejsou ověřeny. Software pouze poradního (výsledek label)
  • MODELLED test holdoveru časovacího systému, vyhodnocený ze záznamu časové chyby, který dodává PROVOZOVATEL (log linuxptp ptp4l, phc2sys nebo ts2phc, sledovací nebo statistický log chrony, log hodin TICC, TimeLab nebo RINEX, nebo dvojice time_s,time_error_ns). (katalog druhů (kshana kinds --json))
  • Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Telekomunikační synchronizační masky ITU-T s PASS/FAIL a rezervou jsou MODELLED, nikoli ověřeny proti nezávislé vnější referenci: zkontrolováno proti vlastní uzavřené / analytické identitě – zachytí chyby přepisu a koeficientů, ale není to externí orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Test holdoveru vyhodnocený z časové chyby dodané provozovatelem je MODELLED, nikoli ověřen proti nezávislé vnější referenci: zkontrolováno proti vlastní uzavřené / analytické identitě – zachytí chyby přepisu a koeficientů, ale není to externí orákulum. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#