Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/holdover-test.md

holdover-test (skenaariotyyppi)

Moottorin v0.40.0 skenaariotyyppi, perhe Kellot, ajoitus ja holdover. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

MODELLED ajoitusjärjestelmän holdover-testi, pisteytettynä aikavirhetallenteesta, jonka OPERAATTORI toimittaa (linuxptp ptp4l-, phc2sys- tai ts2phc-loki, chrony tracking- tai statistics-loki, TICC-, TimeLab- tai RINEX-kellolokki, tai time_s,time_error_ns-parit). Testissä on neljä vaihetta, eikä Kshana suorita yhtäkään niistä: lukittu LÄHTÖTASO, operaattorin tekemä GNSS:N POISTO (antennikaapeli tai simulaattorin lähtö; Kshana ei lähetä eikä ohjaa mitään) ilmoitettuna ajankohtana, HOLDOVER järjestelmän omalla oskillaattorilla ja PALAUTUMINEN sen jälkeen, kun operaattori palauttaa GNSS:n toisena ilmoitettuna ajankohtana. Tallenne jaetaan näissä kahdessa ajankohdassa. Lähtötaso: aikavirhetilastot ja lukitulle kellolle kirjoitetut ITU-T-maskit. Holdover: tilastot, järjestelmän pitämä suhteellinen taajuuspoikkeama (pienimmän neliösumman suora), holdoverille tai autonomiselle kellolle kirjoitetut maskit, ePRTC-A-holdover-verhokäyrä ilmoitetusta lukitusajasta ja aika kunkin aikavirhebudjetin ylittymiseen. Palautuminen: tuliko |TE| ilmoitetun kaistan sisälle ja milloin, ja pysyikö se siellä, huippu ja suurin askel. Jokainen raja on kopioitu julkisesta ITU-T-taulukosta (telecom-timing-maskit); sanamuoto on 'mitattu maskia vasten', ja kaksi ajankohtaa ovat operaattorin ilmoitus, ei varmennettu. Maskiin liian lyhyt tallenne on INCOMPLETE, ei koskaan ekstrapoloitu. Katso docs/TIMING-HIL.md.

Yksi ajo tiedostolla scenarios/holdover-test-ptp4l.toml tiivistyy seuraavasti: 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)

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: test, series
  • Valinnaiset kentät: masks, budgets

Esimerkki scenarios/holdover-test-ptp4l.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
kind holdover-test teksti
masks [prtc-a, eprtc-a-holdover] ei ilmoitettu
series.clock_log.format ptp4l teksti
series.clock_log.text ptp4l[1000,000]: master offset -4 s2 freq + 1200 pa teksti
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

Aja se#

kshana scenarios/holdover-test-ptp4l.toml

2 mukana toimitettua skenaariota käyttää tätä lajia; muut ovat kohteessa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
clock_log.clock master teksti
clock_log.data phase teksti
clock_log.format ptp4l teksti
clock_log.gap_policy refuse teksti
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

Tulosmerkintä (moottorin oma): MODELLED — holdover-testi, joka on pisteytetty operaattorin toimittamasta aikavirhetallenteesta. Jokainen raja on kopioitu nimetystä julkisesta ITU-T-suosituksesta ja tulos on mitattu maskia vasten; se ei sano mitään siitä, täyttääkö mikään kello tai järjestelmä jotakin suositusta, eikä kukaan ole luokitellut tai hyväksy

Kaavio, jonka moottori kirjoittaa tiedostolle scenarios/holdover-test-ptp4l.toml, skenaariotyyppi holdover-test

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • MODELLED Tyyppi holdover-test: aikavirhetallenne (linuxptp-, chrony-, TICC-, TimeLab- tai RINEX-kellolokki, tai time_s,time_error_ns-parit) jaetaan operaattorin ilmoittamissa kahdessa GNSS:n poiston ja palautuksen ajankohdassa lähtötasoksi, holdoveriksi a

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla
  • VALIDATED Suurin aikavälivirhe (MTIE) ja aikapoikkeama (TDEV), jotka skenaariotyyppi telecom-timing raportoi telekommunikaatiomittakaavan holdover-tallenteella: O(n) monotoninen jonoliuk. Oraakkeli (ExternalDataset): allantools 2024,06 — riippumaton kolmannen osapuolen taajuusvakauskirjasto — mtie() ja tdev() tiedostolla tests/fixtures/telecom_timing/holdover_te_series.csv, sarja jäsennetty samasta 17 merkitsevän numeron tekstistä molemmilla puolilla; viite tallentaa sarjan SHA-256:n ja on uudelleentuotettavissa offline-tilassa tiedostolla tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Validoi ESTIMAATTORIT tällä tallenteella, ei syn
  • MODELLED ITU-T G.8272:n (07/2025) PRTC-A/B, G.8272.1:n (2024) Amd. 1 (07/2025) ePRTC lukitun ja ePRTC-A-holdoverin (mukaan lukien taulukon 3 aikavirheen verho. Oraakkeli (InternalConsistency): Nimettyjen suositusten transkriptio (vapaasti ladattavissa osoitteesta itu.int), jokaisella rajalla on taulukkonsa tai kohtansa, lueteltuna jokaisen vahvistamattoman tai toteuttamattoman kohdan kanssa tiedostossa docs/TELECOM-TIMING.md; taulukoiden implikoimat katkoskohtien jatkuvuusidentiteetit tarkistetaan testeissä. Standardien transkriptio sisäisillä johdonmukaisuustarkistuksilla, ei yhdenmukaisuustesti eikä ulkoinen validointi. 0,30 kierros 2 (ennakkorekisteröity
  • MODELLED Tyyppi holdover-test: aikavirhetallenne (linuxptp-, chrony-, TICC-, TimeLab- tai RINEX-kellolokki, tai time_s,time_error_ns-parit) jaetaan kahdessa ajankohdassa. Oraakkeli (InternalConsistency): Käsin laskenta tallenteilla, jotka on rakennettu kaavoista, joiden kulmakerroin, askel, ääriarvo ja palautumisaika tunnetaan ennen ajoa (testit ilmoittavat ne), sekä yllä olevien telecom-timing-rivien maskit, verhokäyrä ja budjetit. Todellisen holdoverin laboratoriomittausta ei ole pisteytetty eikä ulkoista oraakkelia ole verrattu, joten tyyppi ei esitä väitettä mistään kellosta tai järjestelmästä; ajoituslaboratoriokumppani tarvitaan ennen mitään kelloluokkakohtaista fi

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • MODELLED — holdover-testi, joka on pisteytetty operaattorin toimittamasta aikavirhetallenteesta. Jokainen raja on kopioitu nimetystä julkisesta ITU-T-suosituksesta ja tulos on mitattu maskia vasten; se ei sano mitään siitä, täyttääkö mikään kello tai järjestelmä jotakin suositusta, eikä kukaan ole luokitellut tai hyväksynyt sitä. Ajankohdat, jolloin GNSS poistettiin ja palautettiin, ovat operaattorin ilmoitus eikä niitä ole varmennettu. Ohjeellinen ohj (tulos label)
  • MODELLED ajoitusjärjestelmän holdover-testi, pisteytettynä aikavirhetallenteesta, jonka OPERAATTORI toimittaa (linuxptp ptp4l-, phc2sys- tai ts2phc-loki, chrony tracking- tai statistics-loki, TICC-, TimeLab- tai RINEX-kellolokki, tai time_s,time_error_ns-parit). (tyyppiluettelo (kshana kinds --json))
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • ITU-T:n telekommunikaatiosynkronoinnin maskit tuloksin PASS/FAIL ja marginaalilla on MODELLED, ei validoitu: se on tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vasten — se havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • Operaattorin toimittamasta aikavirhetallenteesta pisteytetty holdover-testi on MODELLED, ei validoitu: se on tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vasten — se havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#