telecom-timing (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#

Tidssynkronisering i telekommunikation: tidsfejl, maksimal tidsintervalfejl (MTIE) og tidsdeviation (TDEV) for en GNSS-holdover, kontrolleret mod ITU-T-masker med en PASS eller FAIL og en margen pr. maske. Input er enten en SYNTETISK HOLDOVER (en forudindstilling for oscillator -- ocxo, rubidium, cæsium eller csac, hver med stabilitets-, aldrings- og temperaturtal fra et navngivet offentligt Microchip-datablad -- plus tidspunktet for GNSS-tab, registreringens længde og sampleintervallet; det frit løbende ur har hvid og flicker-frekvensstøj og, hvor datablads-tilpasningen kræver det, random walk-frekvensstøj, lineær aldring og et sinusformet temperaturled) eller en INDLÆST SERIE af par [time_s, time_error_ns] angivet indlejret (og, kun på native builds, en CSV-fil). Masker: ITU-T G.8272 (07/2025) PRTC-A og PRTC-B (max|TE| 100 / 40 ns, MTIE Tables 1-2, TDEV Tables 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC låst (30 ns, Tables 1-2) og ePRTC-A holdover (tidsfejlens envelope i Table 3, der stiger fra 30 ns til 100 ns over holdover-perioden H fastsat af den låste varighed, MTIE Table 4, TDEV Table 5); G.8273.2 (2023) Amd. 2 (11/2025) klasserne A-C for T-BC/T-TSC (max|TE|, konstant tidsfejl, lavpasfiltreret MTIE og TDEV) og klasse D (max|TE_L| 5 ns, det eneste tal for klasse D, der ikke er overladt til videre undersøgelse); G.8271.1 (2022) Amd. 3 (05/2025) referencepunkt C (max|TE_L| 1100 / 600 / 100 ns med MTIE Tables 7-1 til 7-3). Hver post, som en anbefaling markerer til videre undersøgelse, er udeladt og ikke udfyldt, og hver rapport angiver, hvad der ikke er implementeret. Rapporterer også tiden til at overskride hvert budget for maksimal tidsfejl (standarder: 100 ns ePRTC max|TE_HO|, 400 ns tildeling for holdover i netværket, 1100 ns punkt C, 1,5 us klasse 4), kurverne for MTIE/TDEV som en CSV-tabel med hver grænse for masken og en post om enheder og proveniens pr. numerisk felt. VALIDATED: estimatorerne for MTIE og TDEV mod pakken allantools på en indsendt holdover-serie. MODELLED: masketabellerne er transskriptioner, og en syntetisk holdover er en model bygget af maksima fra datablade, ikke en måling af nogen enhed. Ikke en overensstemmelsestest.

Én kørsel af scenarios/telecom-synce-eec.toml opsummeres som: telecom-timing: max|TE| 488,2 ns over 12000 s; g8262-eec-option-1 FAIL, g8262-eec-option-2 FAIL, g8262-1-eeec FAIL (MODELLED)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: seed, masks, budgets, holdover, series

Eksemplet scenarios/telecom-synce-eec.toml angiver blandt andet:

Kør den#

kshana scenarios/telecom-synce-eec.toml

3 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:

Resultatetiket (motorens egen): MODELLED — tidsfejl, MTIE og TDEV kontrolleret mod transskriberede ITU-T-masker. Estimatorerne er valideret mod allantools; masketabellerne er transskriptioner af de navngivne anbefalinger; en syntetisk holdover er en model bygget af offentlige tal fra datablade, ikke en måling af nogen enhed. Ikke en overensstemmelsestest

Evidens#

MODELLED 5 · VALIDATED 1: rækkerne i verifikationsmatrixen, der nævner denne type.

• VALIDATED Den maksimale tidsintervalfejl og tidsdeviation, som scenarietypen telecom-timing rapporterer, på en holdover-registrering i telekommunikationsskala: en MTIE med glidende vindue og monoton kø i O(n) (telecom_timing::mtie_sliding, nødvendig for at et døgn med sekundsamp Tests: telecom_timing_reference.rs.
• MODELLED Transskriberede grænser for ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. Tests: telecom_timing_reference.rs.
• MODELLED Syv masker for MTIE og TDEV ved konstant temperatur for generering af wander til typen telecom-timing: G.811 (09/1997) PRC (autonom), G.812 (06/2004) Types I, II og III, G.8262 (10/2024) EEC Options 1 og 2 og G.8262.1 (11/2025) eEEC (låst
• MODELLED clock_log::read_input: ét parserlag, der omsætter en RINEX-urfil (AS/AR-poster for ét navngivet ur, versionerne 2 og 3,00 til 3,04), en ASCII-fase- eller frekvenslog i TimeLab-stil eller en TAPR TICC-tidsstempel- eller intervallog til en ensartet pha Tests: clock_log_allantools.rs.
• og 2 flere i matrixen.

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 Fire forudindstillinger — OCXO (Microchip OX-208), rubidium (Microchip 8040C), cæsium (Microchip 5071A, højtydende rør) og CSAC (Microchip SA.45s) — hver med . Uafhængig reference (InternalConsistency): de fire navngivne Microchip-datablade (dokumentnumre og URL'er i hver forudindstilling og i docs/TELECOM-TIMING.md) for inputtallene; rampen for aldring i lukket form og tilpasningens egenskab som envelope som interne kontroller. Hvordan tallene bliver til en støjmodel — tilpasningen, reglen for gulvet, måneden på 30 dage, aflæsningen af lineær temperatur — er et modelvalg; ingen forudindstilling er en måling af en enhed. Runde 0,30 2, ensidede tærskler mod

Begrænsninger#

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

• ethvert krav, som anbefalingerne markerer 'til videre undersøgelse' (klasse D ud over max|TE_L|, ePRTC-B-holdover, holdover for T-BC/T-TSC med begge input tabt, netværksgrænser for TDEV, MTIE og TDEV for ePRTC-A-holdover ud over 10.000 s) (resultat not_implemented[0])
• dynamisk tidsfejl med højpasfilter (dTE_H, G.8273.2 Table 7-7 og G.8271.1 klausul 7.3.2-7.3.3) (resultat not_implemented[1])
• MTIE ved variabel temperatur i G.8273.2 Table 7-6 og MTIE for holdover med assistance fra det fysiske lag i G.8273.2 Table 7-10 (resultat not_implemented[2])
• relativ tidsfejl (cTE_R, dTE_R,L) mellem to udgange (resultat not_implemented[3])
• pakkefilteret med glidende middelværdi, som G.8272 og G.8272.1 angiver for PTP-grænseflader: serien behandles som ét tidsintervalfejlstal pr. sekund (resultat not_implemented[4])
• MODELLED — tidsfejl, MTIE og TDEV kontrolleret mod transskriberede ITU-T-masker. Estimatorerne er valideret mod allantools; masketabellerne er transskriptioner af de navngivne anbefalinger; en syntetisk holdover er en model bygget af offentlige tal fra datablade, ikke en måling af nogen enhed. Ikke en overensstemmelsestest. (resultat label)
• MODELLED: masketabellerne er transskriptioner, og en syntetisk holdover er en model bygget af maksima fra datablade, ikke en måling af nogen enhed. (typekatalog (kshana kinds --json))
• Uret: forudindstillingen for OCXO (Microchip OX-208-datablad, Rev 12-1-2021), frit løbende fra den første sample med hvid og flicker-frekvensstøj og (hvor tilpasningen kræver det) random walk-frekvensstøj tilpasset databladets maksima for Allan-deviation og dets lineære aldring. Temperaturen holdes konstant (amplitude 0 K), som masker forudsætter. (kommentar i scenariefilen, linje 12 til 15)

Se også#

• Familieside: Ure, tidssynkronisering og holdover
• Alle typer: KINDS.md
• Emneside: CLOCK-LOG-FORMATS.md
• Emneside: LEO-PNT.md