UPM Institutional Repository

TCA²: A minimum-assurance time–control framework for GNSS-challenged indoor regions under degraded hybrid links: Integrity-driven arbitration, graceful degradation, and hybrid LF/packet dissemination


Citation

Hui, Dengfeng and Subramaniam, Shamala K. and Nurliyana binti Abdullah, Lili and bin Muhammed, Abdullah and Liu, Hongyan and Wang, Miao and Wang, Zijun and Hui, Yuchun and Zhu, Junyu and Liu, Zhongliang (2026) TCA²: A minimum-assurance time–control framework for GNSS-challenged indoor regions under degraded hybrid links: Integrity-driven arbitration, graceful degradation, and hybrid LF/packet dissemination. Array, 30. art. no. 100866. pp. 1-15. ISSN 2590-0056

Abstract

GNSS-challenged indoor and infrastructure-poor deployments often require not only defensible timekeeping but also a minimum auditable degree of low-rate coordination under degraded links. We present TCA2, a contract-first framework that makes both time acceptance and minimal control acceptance decidable from operational evidence. Time is accepted when scheduled endpoint observations remain within tolerance θ with availability A(θ) meeting the declared Service Assurance Level (SAL) target; minimal control is accepted when deadline-bounded commands attain R(Δ) within a Minimal Control Assurance Set (MCAS). TCA2 couples (i) integrity-driven arbitration across GNSS/NTP/LF with explicit holdover and logged transitions, (ii) a timecode-agnostic adapter for national LF profiles, and (iii) hybrid dissemination over one-way LF paths plus an optional bidirectional packet path. In this architecture, LF paths preserve resilient time continuity for legacy or weakest-observability endpoints, whereas deadline-audited control attainment is evaluated only for packet-connected Path C endpoints with ACK/CONFIRM evidence. The evaluation is layered rather than monolithic: DS-1 establishes adapter portability; DS-2 evaluates the time-service contract on 30 legacy display-only clocks in a four-week single-building trial; DS-3 grounds the evidence workflow at field scale through an anonymized footprint of ≈7.85k terminals; and DS-4 demonstrates packet-plane minimal-control evidence in a controlled testbed. In DS-2, audited synchronization improves from ∼0.70 under tower-only LF to 0.93–1.00 with local LF augmentation, reaching 1.00 after stabilization; in DS-4, at Δ(ACK) = Δ(M) = 30 s, R(ACK) = 0.997 and R(M) = 0.965 over 593 issued MCAS commands. The contribution lies not in any single underlying carrier or protocol primitive, but in a unified assurance contract that combines multi-source time arbitration, minimum-control preservation, auditable degradation, and offline-recomputable evidence.


Download File

[img] Text
125892.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (4MB)

Additional Metadata

Item Type: Article
Subject: Computer Science (all)
Divisions: Faculty of Computer Science and Information Technology
DOI Number: https://doi.org/10.1016/j.array.2026.100866
Publisher: Elsevier B.V.
Keywords: Audit evidence; Control assurance; Lf timecode; Minimal control assurance set (mcas); Service assurance level (sal); Time service
Sustainable Development Goals (SDGs): SDG 9: Industry, Innovation and Infrastructure, SDG 11: Sustainable Cities and Communities, SDG 17: Partnerships for the Goals
Depositing User: Ms. Siti Radziah Mohamed@mahmod
Date Deposited: 03 Jun 2026 06:56
Last Modified: 03 Jun 2026 06:56
Altmetrics: http://www.altmetric.com/details.php?domain=psasir.upm.edu.my&doi=10.1016/j.array.2026.100866
URI: http://psasir.upm.edu.my/id/eprint/125892
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item