Intro-Stabilizing Byzantine Clock Synchronization in Heterogeneous IoT Networks

TL;DR

This paper presents an integrated, self-stabilizing Byzantine clock synchronization method for heterogeneous IoT networks, combining multiple paradigms to achieve high reliability and precision despite faults.

Contribution

It introduces a novel intro-stabilizing Byzantine clock synchronization approach that combines various paradigms for dependable high-precision synchronization in IoT networks.

Findings

Effective integration of multiple synchronization paradigms.

Achieves high-precision synchronization despite Byzantine faults.

Validated through formal analysis and simulations.

Abstract

For reaching dependable high-precision clock synchronization (CS) upon IoT networks, the distributed CS paradigm adopted in ultra-high reliable systems and the master-slave CS paradigm adopted in high-performance but unreliable systems are integrated. Meanwhile, traditional internal clock synchronization is also integrated with external time references to achieve efficient stabilization. Low network connectivity, low complexity, high precision, and high reliability are all considered. To tolerate permanent failures, the Byzantine CS is integrated with the common CS protocols. To tolerate transient failures, the self-stabilizing Byzantine CS is also extended upon open-world IoT networks. With these, the proposed intro-stabilizing Byzantine CS solution can establish and maintain synchronization with arbitrary initial states in the presence of permanent Byzantine faults. With the formal analysis and numerical simulations, it is shown that the best of the CS solutions provided for the ultra-high reliable systems and the high-performance unreliable systems can be well integrated upon IoT networks to derive dependable high-precision CS even across the traditional closed safety-boundary.