telecom-timing (scenariotype)

Scenariotype i motoren v0.40.0, familie Klokker, tidssynkronisering og holdover. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Tidssynkronisering i telekom: tidsfeil, maksimal tidsintervallfeil (MTIE) og tidsavvik (TDEV) for en GNSS-holdover, kontrollert mot ITU-T-masker med PASS eller FAIL og en margin per maske. Inndata er enten en SYNTETISK HOLDOVER (en forhåndsinnstilling for oscillator, ocxo, rubidium, cesium eller csac, hver med tallene for stabilitet, aldring og temperatur fra et navngitt offentlig Microchip-datablad, pluss tidspunktet for GNSS-tap, registreringslengden og samplingsintervallet; den frittløpende klokken bærer hvit, flicker og, der tilpasningen til databladet krever det, random-walk frekvensstøy, lineær aldring og et sinusformet temperaturledd) eller en INNLEST SERIE av par [time_s, time_error_ns] oppgitt innebygd (og, kun i native bygg, en CSV-fil). Masker: ITU-T G.8272 (07/2025) PRTC-A og PRTC-B (maks|TE| 100 / 40 ns, MTIE tabell 1-2, TDEV tabell 3-4); G.8272.1 (2024) tillegg 1 (07/2025) ePRTC låst (30 ns, tabell 1-2) og ePRTC-A holdover (tidsfeilomhyllingen i tabell 3 som stiger fra 30 ns til 100 ns over holdover-perioden H bestemt av den låste varigheten, MTIE tabell 4, TDEV tabell 5); G.8273.2 (2023) tillegg 2 (11/2025) T-BC/T-TSC klassene A-C (maks|TE|, konstant tidsfeil, lavpassfiltrert MTIE og TDEV) og klasse D (maks|TE_L| 5 ns, det eneste tallet for klasse D som ikke er overlatt til videre studium); G.8271.1 (2022) tillegg 3 (05/2025) referansepunkt C (maks|TE_L| 1100 / 600 / 100 ns med MTIE tabell 7-1 til 7-3). Hver post en anbefaling markerer for videre studium er utelatt i stedet for fylt inn, og hver rapport lister hva som ikke er implementert. Rapporterer også tiden til hvert budsjett for maksimal tidsfeil overskrides (standard: 100 ns ePRTC maks|TE_HO|, 400 ns tildeling for nettverks-holdover, 1100 ns punkt C, 1,5 us klasse 4), kurvene for MTIE/TDEV som en CSV-tabell med hver maskegrense, og en oppføring for enheter og opphav per numerisk felt. VALIDATED: estimatorene for MTIE og TDEV mot pakken allantools på en innsjekket holdover-serie. MODELLED: masketabellene er transkripsjoner, og en syntetisk holdover er en modell bygget fra maksimalverdier i datablad, ikke en måling av noen enhet. Ikke en overensstemmelsestest.

En kjøring av scenarios/telecom-synce-eec.toml oppsummeres slik: 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)

Inndata#

Fra skjemaet (kshana kinds --json):

• Påkrevde felt: ingen
• Valgfrie felt: seed, masks, budgets, holdover, series

Eksempelet scenarios/telecom-synce-eec.toml angir blant annet:

Kjør den#

kshana scenarios/telecom-synce-eec.toml

3 medfølgende scenarioer bruker denne typen; de andre står i scenarios/.

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultatetikett (motorens): MODELLED — tidsfeil, MTIE og TDEV kontrollert mot transkriberte ITU-T-masker. Estimatorene er validert mot allantools; masketabellene er transkripsjoner av de navngitte anbefalingene; en syntetisk holdover er en modell bygget fra offentlige tall i datablad, ikke en måling av noen enhet. Ikke en overensst

Evidens#

MODELLED 5 · VALIDATED 1: radene i verifikasjonsmatrisen som nevner denne typen.

• VALIDATED Maksimal tidsintervallfeil og tidsavvik som scenariotypen telecom-timing rapporterer, på en holdover-registrering i telekomskala: en O(n) MTIE med glidende vindu og monoton kø (telecom_timing::mtie_sliding, nødvendig for at et døgn med sampler på ett sekund Tester: telecom_timing_reference.rs.
• MODELLED Transkriberte grenser fra ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) tillegg. Tester: telecom_timing_reference.rs.
• MODELLED Sju MTIE- og TDEV-masker for generering av svingninger ved konstant temperatur for typen telecom-timing: G.811 (09/1997) PRC (autonom), G.812 (06/2004) typene I, II og III, G.8262 (10/2024) EEC alternativene 1 og 2 og G.8262.1 (11/2025) eEEC (låst
• MODELLED clock_log::read_input: ett parserlag som gjør en RINEX-klokkefil (AS/AR-poster for én navngitt klokke, versjoner 2 og 3,00 til 3,04), en ASCII-fase- eller frekvenslogg i TimeLab-stil, eller en tidsstempel- eller intervalllogg fra TAPR TICC om til en enhetlig pha Tester: clock_log_allantools.rs.
• og 2 til i matrisen.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

• MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
• VALIDATED Maksimal tidsintervallfeil og tidsavvik som scenariotypen telecom-timing rapporterer, på en holdover-registrering i telekommunikasjonsskala: en O(n) monoton kø-glidende. Uavhengig referanse (ExternalDataset): allantools 2024,06, et uavhengig tredjeparts bibliotek for frekvensstabilitet, mtie() og tdev() på tests/fixtures/telecom_timing/holdover_te_series.csv, serien tolket fra den samme teksten med 17 gjeldende sifre på begge sider; referansen registrerer seriens SHA-256 og kan gjenskapes frakoblet via tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Validerer ESTIMATORENE på denne registreringen, ikke syn
• MODELLED Avskrevne grenser 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 (inkludert tidsfeilenvelopen i tabell 3. Uavhengig referanse (InternalConsistency): Avskrift av de navngitte anbefalingene (fritt tilgjengelige på itu.int), der hver grense bærer sin tabell eller sin klausul, oppført sammen med hvert ubekreftet eller uimplementert punkt i docs/TELECOM-TIMING.md; identitetene for kontinuitet i knekkpunktene som tabellene medfører, kontrolleres i testene. En standardavskrift med interne konsistenskontroller, ikke en test av overensstemmelse og ikke en ekstern validering. 0,30 runde 2 (forhåndsregistrert
• MODELLED Fire forhåndsinnstillinger, OCXO (Microchip OX-208), rubidium (Microchip 8040C), cesium (Microchip 5071A høyytelsesrør) og CSAC (Microchip SA.45s), hver med . Uavhengig referanse (InternalConsistency): de fire navngitte Microchip-databladene (dokumentnumre og URL-er i hver forhåndsinnstilling og i docs/TELECOM-TIMING.md) for inndatatallene; den lukkede aldringsrampen og tilpasningens omhyllingsegenskap som interne kontroller. Hvordan tallene blir en støymodell, altså tilpasningen, regelen for gulvet, måneden på 30 dager og den lineære tolkningen av temperatur, er et modelleringsvalg; ingen forhåndsinnstilling er en måling av en enhet. 0,30 runde 2, ensidige terskler mot

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

• hvert krav anbefalingene markerer «for videre studium» (klasse D utover maks|TE_L|, ePRTC-B holdover, T-BC/T-TSC holdover når begge inngangene er tapt, nettverksgrenser for TDEV, MTIE og TDEV for ePRTC-A holdover utover 10 000 s) (resultat not_implemented[0])
• høypassfiltrert dynamisk tidsfeil (dTE_H, G.8273.2 tabell 7-7 og G.8271.1 punktene 7.3.2-7.3.3) (resultat not_implemented[1])
• MTIE ved variabel temperatur i G.8273.2 tabell 7-6 og MTIE for holdover med støtte fra fysisk lag i G.8273.2 tabell 7-10 (resultat not_implemented[2])
• relativ tidsfeil (cTE_R, dTE_R,L) mellom to utganger (resultat not_implemented[3])
• pakkefilteret med glidende gjennomsnitt som G.8272 og G.8272.1 oppgir for PTP-grensesnitt: serien behandles som ett puls-per-sekund tidsintervallfeil (resultat not_implemented[4])
• MODELLED — tidsfeil, MTIE og TDEV kontrollert mot transkriberte ITU-T-masker. Estimatorene er validert mot allantools; masketabellene er transkripsjoner av de navngitte anbefalingene; en syntetisk holdover er en modell bygget fra offentlige tall i datablad, ikke en måling av noen enhet. Ikke en overensstemmelsestest. (resultat label)
• MODELLED: masketabellene er transkripsjoner, og en syntetisk holdover er en modell bygget fra maksimalverdier i datablad, ikke en måling av noen enhet. (typekatalog (kshana kinds --json))
• Klokken: forhåndsinnstillingen OCXO (Microchip OX-208-datablad, Rev 12-1-2021), frittløpende fra første sample med hvit, flicker og (der tilpasningen krever det) random-walk frekvensstøy tilpasset maksimalverdiene for Allan-avvik i databladet, og dens lineære aldring. Temperaturen holdes konstant (amplitude 0 K), slik maskene forutsetter. (kommentar i scenariofilen, linje 12 til 15)

Se også#

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