Fault-tolerant Clock Synchronization using Precise Time Protocol Multi-Domain Aggregation

Distributed real-time systems often rely on time-triggered communication and task execution to guarantee end-to-end latency and time-predictable computation. Such systems require a reliable synchronized network time to be shared among end-systems. The IEEE 1588 Precision Time Protocol (PTP) enables such clock synchronization throughout an Ethernet-based network. While security was not addressed in previous versions of the IEEE 1588 standard, in its most recent iteration (IEEE 1588-2019), several security mechanisms and recommendations were included describing different measures that can be taken to improve system security and safety. One proposal to improve security and reliability is to add redundancy to the network through modifications in the topology. However, this recommendation omits implementation details and leaves the question open of how it affects synchronization quality. This work investigates the quality impact and security properties of redundant PTP deployment and proposes an observation window-based multi-domain, PTP end-system, design to increase fault-tolerance and security. We implement the proposed design inside a discrete-event network simulator and evaluate its clock synchronization quality using two test-case network topologies with simulated faults.

[1]  Parameswaran Ramanathan,et al.  Fault-tolerant clock synchronization in distributed systems , 1990, Computer.

[2]  G. Giorgi,et al.  Modeling and Simulation Analysis of PTP Clock Servo , 2007, 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication.

[3]  John C. Eidson,et al.  Measurement, Control, and Communication Using IEEE 1588 , 2006 .

[4]  Elena Lisova Monitoring for Securing Clock Synchronization , 2018 .

[5]  Silviu S. Craciunas,et al.  An Overview of Scheduling Mechanisms for Time-sensitive Networks , 2017 .

[6]  Casimer DeCusatis,et al.  Impact of Cyberattacks on Precision Time Protocol , 2020, IEEE Transactions on Instrumentation and Measurement.

[7]  Tal Mizrahi,et al.  Security Requirements of Time Protocols in Packet Switched Networks , 2014, RFC.

[8]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[9]  András Varga,et al.  An overview of the OMNeT++ simulation environment , 2008, SimuTools.

[10]  Yves Deswarte,et al.  Survey on security threats and protection mechanisms in embedded automotive networks , 2013, 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W).

[11]  António Amaral,et al.  Network and information security challenges within Industry 4.0 paradigm , 2017 .

[12]  Moshe Sidi,et al.  Estimating one-way delays from cyclic-path delay measurements , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[13]  Nancy A. Lynch,et al.  Reaching approximate agreement in the presence of faults , 1986, JACM.

[14]  Sungwon Lee An Enhanced IEEE 1588 Time Synchronization Algorithm for Asymmetric Communication Link using Block Burst Transmission , 2008, IEEE Communications Letters.

[15]  Martin Schoeberl,et al.  Hardware Assisted Clock Synchronization with the IEEE 1588-2008 Precision Time Protocol , 2018, RTNS.

[16]  Tal Mizrahi Time synchronization security using IPsec and MACsec , 2011, 2011 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication.

[17]  Sergiy Bogomolov,et al.  Verification of Fault-Tolerant Clock Synchronization Algorithms , 2016, ARCH@CPSWeek.

[18]  T. Mizrahi Slave diversity: Using multiple paths to improve the accuracy of clock synchronization protocols , 2012, 2012 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication Proceedings.

[19]  Martin Schoeberl,et al.  Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress , 2020, 2020 International Conference on Embedded Software (EMSOFT).

[20]  Tal Mizrahi,et al.  Multi-path Time Protocols , 2013, 2013 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS) Proceedings.

[21]  Simulation of Time-synchronized Networks using IEEE 1588-2008 , 2016 .

[22]  Bruno Dutertre,et al.  The TTEthernet synchronisation protocols and their formal verification , 2013, Int. J. Crit. Comput. Based Syst..