holdover-test (scenarietype)

Scenarietype i motoren v0.40.0, familie Ure, tidssynkronisering og holdover. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

MODELLED holdover-test af et tidssynkroniseringssystem, bedømt ud fra en tidsfejlregistrering, som OPERATØREN leverer (en linuxptp ptp4l-, phc2sys- eller ts2phc-log, en chrony-tracking- eller statistiklog, en TICC-, TimeLab- eller RINEX-urlog eller time_s,time_error_ns-par). Testen har fire trin, og Kshana udfører ingen af dem: en låst BASELINE, GNSS FJERNET af operatøren (antennekablet eller simulatorens output; Kshana udsender og styrer intet) på et angivet tidspunkt, HOLDOVER på systemets egen oscillator og RECOVERY, efter at operatøren genopretter GNSS på et andet angivet tidspunkt. Registreringen deles ved disse to tidspunkter. Baseline: tidsfejlsstatistik og de ITU-T-masker, der er skrevet til et låst ur. Holdover: statistik, den fraktionelle frekvensoffset, som systemet holdt (en mindste kvadraters linje), de masker, der er skrevet til holdover eller et autonomt ur, ePRTC-A-holdover-kuverten ud fra den angivne låste varighed og tiden til at overskride hvert tidsfejlbudget. Recovery: om og hvornår |TE| kom inden for et angivet bånd og blev der, toppen og det største trin. Hver grænse er afskrevet fra en offentlig ITU-T-tabel (masker for telekommunikationstidssynkronisering); ordene er 'målt mod masken', og de to tidspunkter er operatørens udsagn, ikke verificeret. En registrering, der er for kort til en maske, er INCOMPLETE og aldrig ekstrapoleret. Se docs/TIMING-HIL.md.

Én kørsel af scenarios/holdover-test-ptp4l.toml opsummeres sådan: 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)

Input#

Fra skemaet (kshana kinds --json):

• Obligatoriske felter: test, series
• Valgfrie felter: masks, budgets

Eksemplet scenarios/holdover-test-ptp4l.toml angiver blandt andet:

Kør den#

kshana scenarios/holdover-test-ptp4l.toml

2 medfølgende scenarier bruger denne type; de øvrige findes i scenarios/.

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultatmærkat (motorens): MODELLED, en holdover-test bedømt ud fra en tidsfejlregistrering, som operatøren leverede. Hver grænse er afskrevet fra den navngivne offentlige ITU-T-anbefaling, og resultatet er målt mod masken; det siger intet om, hvorvidt noget ur eller system lever op til en anbefaling, og ingen har vurderet eller godkendt

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

• MODELLED Typen holdover-test: en tidsfejlregistrering (en linuxptp-, chrony-, TICC-, TimeLab- eller RINEX-urlog eller time_s,time_error_ns-par) deles ved de to tidspunkter, som operatøren angiver for fjernelse og genoprettelse af GNSS, i en baseline, en holdover a

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• VALIDATED Den maksimale tidsintervalfejl og tidsafvigelse, som scenarietypen telecom-timing rapporterer, på en holdover-registrering i telekomskala: et O(n) monotont kø-glidende. Uafhængig reference (ExternalDataset): allantools 2024,06, et uafhængigt frekvensstabilitetsbibliotek fra tredjepart, mtie() og tdev() på tests/fixtures/telecom_timing/holdover_te_series.csv, hvor serien er parset fra den samme tekst med 17 betydende cifre på begge sider; referencen registrerer seriens SHA-256 og kan genskabes offline via tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Validerer ESTIMATORERNE på denne registrering, ikke syn
• MODELLED Afskrevne grænser fra ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. 1 (07/2025) ePRTC låst og ePRTC-A-holdover (herunder tabel 3-tidsfejlkuverten. Uafhængig reference (InternalConsistency): Afskrift af de navngivne anbefalinger (frit tilgængelige på itu.int), hvor hver grænse bærer sin tabel eller klausul, opført med alle ubekræftede eller uimplementerede punkter i docs/TELECOM-TIMING.md; de identiteter for kontinuitet i knækpunkter, som tabellerne indebærer, kontrolleres i testene. En afskrift af standarder med interne konsistenskontroller, ikke en overensstemmelsestest og ikke en ekstern validering. 0,30 runde 2 (præregistrer
• MODELLED Typen holdover-test: en tidsfejlregistrering (en linuxptp-, chrony-, TICC-, TimeLab- eller RINEX-urlog eller time_s,time_error_ns-par) deles ved de to tidspunkter. Uafhængig reference (InternalConsistency): Håndberegning på registreringer bygget ud fra formler, hvis hældning, trin, ekstremum og genoprettelsestid er kendt før kørslen (testene angiver dem), og maskerne, kuverten og budgetterne i telecom-timing-rækkerne ovenfor. Ingen laboratoriemåling af en reel holdover blev bedømt, og ingen ekstern uafhængig reference blev sammenlignet, så typen fremsætter ingen påstand om noget ur eller system; en partner med tidssynkroniseringslaboratorium er nødvendig, før nogen fi

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• MODELLED, en holdover-test bedømt ud fra en tidsfejlregistrering, som operatøren leverede. Hver grænse er afskrevet fra den navngivne offentlige ITU-T-anbefaling, og resultatet er målt mod masken; det siger intet om, hvorvidt noget ur eller system lever op til en anbefaling, og ingen har vurderet eller godkendt det. De tidspunkter, hvor GNSS blev fjernet og genoprettet, er operatørens udsagn og er ikke verificeret. Vejledende sof (resultat label)
• MODELLED holdover-test af et tidssynkroniseringssystem, bedømt ud fra en tidsfejlregistrering, som OPERATØREN leverer (en linuxptp ptp4l-, phc2sys- eller ts2phc-log, en chrony-tracking- eller statistiklog, en TICC-, TimeLab- eller RINEX-urlog eller time_s,time_error_ns-par). (typekatalog (kshana kinds --json))
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• ITU-T-masker for telekommunikationstidssynkronisering med PASS/FAIL og margin er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet; fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Holdover-test bedømt ud fra en tidsfejlregistrering leveret af operatøren er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet; fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Ure, tidssynkronisering og holdover
• Alle typer: KINDS.md
• Emneside: TIMING-HIL.md
• Emneside: HARDWARE-SAFETY.md