Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/holdover-test.md

holdover-test (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kellad, ajastus ja holdover. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

MODELLED ajastussüsteemi holdover-test, hinnatud ajavea kirjest, mille OPERAATOR annab (linuxptp ptp4l, phc2sys või ts2phc logi, chrony jälgimis- või statistikalogi, TICC, TimeLab või RINEX kellalogi või time_s,time_error_ns paarid). Testil on neli sammu ja Kshana ei tee ühtegi neist: lukustatud LÄHTETASE, GNSS EEMALDATUD operaatori poolt (antennikaabel või simulaatori väljund; Kshana ei saada ega juhi midagi) väljaöeldud ajal, HOLDOVER süsteemi enda ostsillaatoril ja TAASTUMINE pärast seda, kui operaator taastab GNSS-i teisel väljaöeldud ajal. Kirje jaotatakse nende kahe aja kohal. Lähtetase: ajavea statistika ja ITU-T maskid, mis on kirjutatud lukustatud kella jaoks. Holdover: statistika, murdosaline sageduse nihe, mida süsteem hoidis (vähimruutude sirge), maskid, mis on kirjutatud holdover-i või autonoomse kella jaoks, ePRTC-A holdover-i ümbrik väljaöeldud lukustatud kestuse põhjal ning aeg, mil iga ajavea eelarve ületatakse. Taastumine: kas ja millal |TE| jõudis väljaöeldud riba sisse ja jäi sinna, tipp ja suurim hüpe. Iga piir on ümber kirjutatud avalikust ITU-T tabelist (telekommunikatsiooni ajastusmaskid); sõnastus on „mõõdetud maski suhtes“ ning need kaks aega on operaatori väide, mitte kontrollitud. Maski jaoks liiga lühike kirje on INCOMPLETE, mitte kunagi ekstrapoleeritud. Vt docs/TIMING-HIL.md.

Ühe scenarios/holdover-test-ptp4l.toml jooksu kokkuvõte: holdover-test: holdover 1795 s, maks|TE| 59,0 ns; prtc-a PASS, eprtc-a-holdover FAIL; taastus 0 s pärast GNSS-i naasmist (MODELLED, mõõdetud maski suhtes)

Sisendid#

Skeemist (kshana kinds --json):

  • Kohustuslikud väljad: test, series
  • Valikulised väljad: masks, budgets

Näide scenarios/holdover-test-ptp4l.toml määrab muu hulgas:

Väli Väärtus Ühik
kind holdover-test tekst
masks [prtc-a, eprtc-a-holdover] ei ole märgitud
series.clock_log.format ptp4l tekst
series.clock_log.text ptp4l[1000,000]: master offset -4 s2 freq + 1200 pa tekst
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

Käivitamine#

kshana scenarios/holdover-test-ptp4l.toml

2 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
clock_log.clock master tekst
clock_log.data phase tekst
clock_log.format ptp4l tekst
clock_log.gap_policy refuse tekst
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

Tulemuse silt (mootori oma): MODELLED — holdover-test, hinnatud operaatori antud ajavea kirjest. Iga piir on ümber kirjutatud nimetatud avalikust ITU-T soovitusest ja tulemus on mõõdetud maski suhtes; see ei ütle midagi selle kohta, kas mõni kell või süsteem vastab soovitusele, ning keegi ei ole hinnanud ega kiitnud heaks

Diagramm, mille mootor kirjutab failile scenarios/holdover-test-ptp4l.toml, liik holdover-test

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Liik holdover-test: ajavea kirje (linuxptp, chrony, TICC, TimeLab või RINEX kellalogi või time_s,time_error_ns paarid) jaotatakse kahe operaatori väljaöeldud aja kohal GNSS-i eemaldamiseks ja taastamiseks lähtetasemeks, holdover-iks ja

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED
  • VALIDATED Maksimaalne ajaintervalli viga ja ajahälve, mida stsenaarium liigiga telecom-timing annab, telekommunikatsiooni mastaabis holdover-kirjel: O(n) monotoonne järjekorra libisev. Sõltumatu etalon (ExternalDataset): allantools 2024,06 — sõltumatu kolmanda osapoole sagedusstabiilsuse teek — mtie() ja tdev() failil tests/fixtures/telecom_timing/holdover_te_series.csv, rida parsitud samast 17 olulise numbriga tekstist mõlemal poolel; etalon salvestab rea SHA-256 ja on võrguühenduseta taasloodav failiga tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Valideerib selle kirje HINNANGUFUNKTSIOONE, mitte sün
  • MODELLED ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. 1 (07/2025) ePRTC lukustatud ja ePRTC-A holdover-i ümber kirjutatud piirid (sealhulgas tabeli 3 ajavea ümbrik. Sõltumatu etalon (InternalConsistency): Nimetatud soovituste ümberkirjutus (vabalt allalaetav aadressilt itu.int), iga piir kannab oma tabelit või punkti, loetletud koos iga kinnitamata või realiseerimata punktiga failis docs/TELECOM-TIMING.md; tabelitest tulenevad murdepunktide pidevuse samasused kontrollitakse testides. Standardi ümberkirjutus sisemise kooskõla kontrollidega, mitte standardi järgimise test ega väline valideerimine. 0,30 ring 2 (eelregistree
  • MODELLED Liik holdover-test: ajavea kirje (linuxptp, chrony, TICC, TimeLab või RINEX kellalogi või time_s,time_error_ns paarid) jaotatakse kahe aja kohal. Sõltumatu etalon (InternalConsistency): Käsitsi arvutus kirjetel, mis on ehitatud valemitest, mille kalle, hüpe, ekstreemum ja taastumisaeg on enne jooksu teada (testid väljendavad need), ning ülalolevate telekommunikatsiooni ajastuse ridade maskid, ümbrik ja eelarved. Päris holdover-i laborimõõtmist ei hinnatud ja ühtegi välist sõltumatut etaloni ei võrreldud, seega liik ei esita väidet ühegi kella või süsteemi kohta; enne mis tahes kellaklassikohast fi vajatakse ajastuslabori partnerit

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • MODELLED — holdover-test, hinnatud operaatori antud ajavea kirjest. Iga piir on ümber kirjutatud nimetatud avalikust ITU-T soovitusest ja tulemus on mõõdetud maski suhtes; see ei ütle midagi selle kohta, kas mõni kell või süsteem vastab soovitusele, ning keegi ei ole seda hinnanud ega heaks kiitnud. Ajad, mil GNSS eemaldati ja taastati, on operaatori väide ja neid ei ole kontrollitud. Nõuandev tark (tulemus label)
  • MODELLED ajastussüsteemi holdover-test, hinnatud ajavea kirjest, mille OPERAATOR annab (linuxptp ptp4l, phc2sys või ts2phc logi, chrony jälgimis- või statistikalogi, TICC, TimeLab või RINEX kellalogi või time_s,time_error_ns paarid). (liikide kataloog (kshana kinds --json))
  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • ITU-T telekommunikatsiooni sünkroniseerimise maskid koos PASS/FAIL ja varuga on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Operaatori antud ajavea kirjest hinnatud holdover-test on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#