telecom-timing (tipo de cenário)

Tipo de cenário do motor v0.40.0, família Relógios, temporização e holdover. Consultivo: saída de análise de uma ferramenta de pesquisa e engenharia, não um equipamento de navegação homologado e não um serviço de segurança da vida humana. Todo rótulo aqui é do motor ou da matriz de verificação; um tipo de cenário é MODELLED, a menos que a matriz diga outra coisa (como um rótulo é conquistado: a seção Evidence do README).

O que faz#

Temporização de telecomunicações: erro de tempo, erro máximo de intervalo de tempo (MTIE) e desvio de tempo (TDEV) de um holdover de GNSS, conferidos contra máscaras da ITU-T com PASS ou FAIL e uma margem por máscara. A entrada é um HOLDOVER SINTÉTICO (uma predefinição de oscilador -- ocxo, rubídio, césio ou csac, cada uma com os valores de estabilidade, envelhecimento e temperatura de um datasheet público e nomeado da Microchip -- mais o tempo de perda do GNSS, a duração do registro e o intervalo de amostragem; o relógio em operação livre tem ruído de frequência branco, flicker e, quando o ajuste ao datasheet exige, de passeio aleatório, envelhecimento linear e um termo senoidal de temperatura) ou uma SÉRIE INGERIDA de pares [time_s, time_error_ns] fornecidos em linha (e, apenas em compilações nativas, um arquivo CSV). Máscaras: ITU-T G.8272 (07/2025) PRTC-A e PRTC-B (max|TE| 100 / 40 ns, MTIE Tabelas 1-2, TDEV Tabelas 3-4); G.8272.1 (2024) Amd. 1 (07/2025) ePRTC bloqueado (30 ns, Tabelas 1-2) e holdover de ePRTC-A (o envelope de erro de tempo da Tabela 3 que sobe de 30 ns a 100 ns ao longo do período de holdover H definido pela duração em bloqueio, MTIE Tabela 4, TDEV Tabela 5); G.8273.2 (2023) Amd. 2 (11/2025) classes A-C de T-BC/T-TSC (max|TE|, erro de tempo constante, MTIE e TDEV filtrados por passa-baixa) e classe D (max|TE_L| 5 ns, o único valor da classe D não deixado para estudo futuro); G.8271.1 (2022) Amd. 3 (05/2025) ponto de referência C (max|TE_L| 1100 / 600 / 100 ns com MTIE Tabelas 7-1 a 7-3). Toda entrada que uma Recomendação marca para estudo futuro está ausente em vez de preenchida, e cada relatório lista o que não está implementado. Informa também o tempo para exceder cada orçamento de erro de tempo máximo (padrões: 100 ns max|TE_HO| de ePRTC, 400 ns de alocação de holdover de rede, 1100 ns ponto C, 1,5 us classe 4), as curvas de MTIE/TDEV como uma tabela CSV com o limite de cada máscara, e uma entrada de unidades e proveniência por campo numérico. VALIDATED: os estimadores de MTIE e TDEV contra o pacote allantools em uma série de holdover versionada. MODELLED: as tabelas de máscaras são transcrições, e um holdover sintético é um modelo construído a partir de máximos de datasheet, não uma medição de qualquer unidade. Não é um teste de aderência à norma.

Uma execução de scenarios/telecom-synce-eec.toml resume-se assim: telecom-timing: max|TE| 488,2 ns em 12000 s; g8262-eec-option-1 FAIL, g8262-eec-option-2 FAIL, g8262-1-eeec FAIL (MODELLED)

Entradas#

A partir do esquema (kshana kinds --json):

• Campos obrigatórios: nenhum
• Campos opcionais: seed, masks, budgets, holdover, series

O exemplo scenarios/telecom-synce-eec.toml define, entre outros:

Execute#

kshana scenarios/telecom-synce-eec.toml

3 cenários incluídos usam este tipo de cenário; os demais estão em scenarios/.

O que ele fornece#

Os resultados escalares dessa execução, com as unidades que o motor declara:

Rótulo do resultado (do mecanismo): MODELLED — erro de tempo, MTIE e TDEV conferidos contra máscaras ITU-T transcritas. Os estimadores são validados contra o allantools; as tabelas de máscaras são transcrições das Recomendações citadas; um holdover sintético é um modelo construído a partir de valores públicos de datasheet, não uma medição de qualquer unidade. Não é um teste de aderência

Evidências#

MODELLED 5 · VALIDATED 1: as linhas da matriz de verificação que citam este tipo.

• VALIDATED O erro máximo de intervalo de tempo e o desvio de tempo que o tipo de cenário telecom-timing informa, em um registro de holdover em escala de telecomunicações: um MTIE de janela deslizante com fila monotônica O(n) (telecom_timing::mtie_sliding, necessário para que um dia de amostras de um segundo Testes: telecom_timing_reference.rs.
• MODELLED Limites transcritos da ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. Testes: telecom_timing_reference.rs.
• MODELLED Sete máscaras de geração de wander de MTIE e TDEV a temperatura constante para o tipo telecom-timing: G.811 (09/1997) PRC (autônomo), G.812 (06/2004) Tipos I, II e III, G.8262 (10/2024) EEC Opções 1 e 2 e G.8262.1 (11/2025) eEEC (locked
• MODELLED clock_log::read_input: uma camada de análise sintática que converte um arquivo de relógio RINEX (registros AS/AR de um relógio nomeado, versões 2 e 3,00 a 3,04), um registro ASCII de fase ou frequência no estilo TimeLab, ou um registro de carimbos de tempo ou intervalos do TAPR TICC em um pha uniforme Testes: clock_log_allantools.rs.
• e mais 2 na matriz.

As linhas que a própria execução exercitou, com a referência independente que a matriz dá a cada uma (as fontes públicas são nomeadas ali):

• MODELLED Portões determinísticos, com hash de cenário, de SBOM e de golden entre plataformas. Referência independente (ExternalDataset): aderência à norma do SBOM ao JSON Schema oficial do CycloneDX 1,5 (+ identificadores SPDX válidos) — um padrão externo publicado, zero erros de validação em todo o grafo de dependências; a parte de determinismo das FoMs / reprodutibilidade byte a byte continua sendo uma verificação de autoconsistência fixada, de modo que a linha permanece MODELLED
• VALIDATED O erro máximo de intervalo de tempo e o desvio de tempo que o tipo de cenário telecom-timing informa, em um registro de holdover em escala de telecomunicações: uma janela deslizante O(n) de fila monotônica. Referência independente (ExternalDataset): allantools 2024,06 — uma biblioteca independente de terceiros de estabilidade de frequência — mtie() e tdev() em tests/fixtures/telecom_timing/holdover_te_series.csv, a série analisada a partir do mesmo texto de 17 algarismos significativos em ambos os lados; a referência independente registra o SHA-256 da série e pode ser regenerada offline por tests/fixtures/telecom_timing/generate_telecom_timing_reference.py. Valida os ESTIMADORES neste registro, não o syn
• MODELLED Limites transcritos da ITU-T G.8272 (07/2025) PRTC-A/B, G.8272.1 (2024) Amd. 1 (07/2025) ePRTC travado e holdover do ePRTC-A (incluindo o envelope de erro de tempo da Tabela 3. Referência independente (InternalConsistency): Transcrição das Recomendações indicadas (disponíveis gratuitamente em itu.int), cada limite com a sua tabela ou cláusula, listada com todo item não confirmado ou não implementado em docs/TELECOM-TIMING.md; as identidades de continuidade de pontos de quebra que as tabelas implicam são verificadas nos testes. Uma transcrição de normas com verificações de consistência interna, não um teste de aderência à norma e não uma validação externa. 0,30 rodada 2 (fixada antecipada
• MODELLED Quatro predefinições — OCXO (Microchip OX-208), rubídio (Microchip 8040C), césio (tubo de alto desempenho Microchip 5071A) e CSAC (Microchip SA.45s) — cada uma com . Referência independente (InternalConsistency): os quatro datasheets nomeados da Microchip (números de documento e URLs em cada predefinição e em docs/TELECOM-TIMING.md) para os valores de entrada; a rampa de envelhecimento em forma fechada e a propriedade de envoltória do ajuste como verificações internas. Como os valores viram um modelo de ruído — o ajuste, a regra do piso, o mês de 30 dias, a leitura linear da temperatura — é uma escolha de modelagem; nenhuma predefinição é uma medição de uma unidade. 0,30 rodada 2, limiares unilaterais contra

Limitações#

O que o próprio relatório da execução diz que não é modelado ou não é validado:

• todo requisito que as Recomendações marcam como 'para estudo futuro' (classe D além de max|TE_L|, holdover de ePRTC-B, holdover de T-BC/T-TSC com as duas entradas perdidas, limites de rede de TDEV, MTIE e TDEV do holdover de ePRTC-A além de 10.000 s) (resultado not_implemented[0])
• erro de tempo dinâmico filtrado por passa-alta (dTE_H, G.8273.2 Tabela 7-7 e G.8271.1 cláusulas 7.3.2-7.3.3) (resultado not_implemented[1])
• o MTIE de temperatura variável da G.8273.2 Tabela 7-6 e o MTIE de holdover assistido pela camada física da G.8273.2 Tabela 7-10 (resultado not_implemented[2])
• erro de tempo relativo (cTE_R, dTE_R,L) entre duas saídas (resultado not_implemented[3])
• o filtro de pacotes de média móvel que a G.8272 e a G.8272.1 definem para interfaces PTP: a série é tratada como um erro de intervalo de tempo de um pulso por segundo (resultado not_implemented[4])
• MODELLED — erro de tempo, MTIE e TDEV conferidos contra máscaras ITU-T transcritas. Os estimadores são validados contra o allantools; as tabelas de máscaras são transcrições das Recomendações citadas; um holdover sintético é um modelo construído a partir de valores públicos de datasheet, não uma medição de qualquer unidade. Não é um teste de aderência à norma. (resultado label)
• MODELLED: as tabelas de máscaras são transcrições, e um holdover sintético é um modelo construído a partir de máximos de datasheet, não uma medição de qualquer unidade. (catálogo de tipos (kshana kinds --json))
• O relógio: a predefinição OCXO (datasheet Microchip OX-208, Rev 12-1-2021), em operação livre desde a primeira amostra, com ruído de frequência branco, flicker e (quando o ajuste exige) de passeio aleatório ajustado aos máximos do desvio de Allan do datasheet, e seu envelhecimento linear. A temperatura é mantida constante (amplitude 0 K), como as máscaras supõem. (comentário do arquivo de cenário, linhas 12 a 15)

Veja também#

• Página da família: Relógios, temporização e holdover
• Todos os tipos de cenário: KINDS.md
• Página do tópico: CLOCK-LOG-FORMATS.md
• Página do tópico: LEO-PNT.md