Document Open Access Logo

Efficient Abstraction of Clock Synchronization at the Operating System Level

Authors Alessandro Sorrentino, Federico Terraneo , Alberto Leva

Thumbnail PDF


  • Filesize: 0.91 MB
  • 11 pages

Document Identifiers

Author Details

Alessandro Sorrentino
  • DEIB, Polytechnic University of Milano, Italy
Federico Terraneo
  • DEIB, Polytechnic University of Milano, Italy
Alberto Leva
  • DEIB, Polytechnic University of Milano, Italy

Cite AsGet BibTex

Alessandro Sorrentino, Federico Terraneo, and Alberto Leva. Efficient Abstraction of Clock Synchronization at the Operating System Level. In Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023). Open Access Series in Informatics (OASIcs), Volume 108, pp. 4:1-4:11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)


Distributed embedded systems are emerging and gaining importance in various domains, including industrial control applications where time determinism - hence network clock synchronization - is fundamental. In modern applications, moreover, this core functionality is required by many different software components, from OS kernel and radio stack up to applications. An abstraction layer devoted to handling time needs therefore introducing, and to encapsulate time corrections at the lowest possible level, the said layer should take the form of a timer device driver offering a Virtual Clock to the entire system. In this paper we show that doing so introduces a nonlinearity in the dynamics of the clock, and we design a controller based on feedback linearization to handle the issue. To put the idea to work, we extend the Miosix RTOS with a generic interface allowing to implement virtual clocks, including the newly designed controller that we call FLOPSYNC-3 after its ancestor. Also, we introduce the resulting virtual clock in the TDMH [Terraneo et al., 2018] real-time wireless mesh protocol.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time operating systems
  • Networks → Time synchronization protocols
  • Computer systems organization → Embedded software
  • Clock synchronization
  • Real-time operating systems
  • Embedded software
  • Real-time control


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Diogo Almeida, Miguel Gaitán, Pedro d'Orey, Pedro Santos, Luis Ramos Pinto, and Luís Almeida. Demonstrating RA-TDMAs+ for robust communication in WiFi mesh networks. In RTSS@work workshop co-located with the 42nd IEEE Real-Time Systems Symposium, 2021. Google Scholar
  2. Riad Azzam and Nabil Aouf. Visual information to enhance time difference of arrival based acoustic localization. In 2014 IEEE International Conference on Aerospace Electronics and Remote Sensing Technology, pages 77-82, 2014. URL:
  3. Ashikahmed Bhuiyan, Federico Reghenzani, William Fornaciari, and Zhishan Guo. Optimizing energy in non-preemptive mixed-criticality scheduling by exploiting probabilistic information. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11):3906-3917, 2020. URL:
  4. Roger W Brockett. Feedback invariants for nonlinear systems. IFAC Proceedings Volumes, 11(1):1115-1120, 1978. Google Scholar
  5. Maxim Buevich, Niranjini Rajagopal, and Anthony Rowe. Hardware assisted clock synchronization for real-time sensor networks. In 2013 IEEE 34th Real-Time Systems Symposium, pages 268-277, 2013. URL:
  6. John Carmack. Fast inverse square root. URL:
  7. Julius Degesys, Ian Rose, Ankit Patel, and Radhika Nagpal. DESYNC: Self-Organizing Desynchronization and TDMA on Wireless Sensor Networks. In Proceedings of the 6th International Conference on Information Processing in Sensor Networks, pages 11-20, 2007. URL:
  8. F. Ferrari, M. Zimmerling, L. Thiele, and O. Saukh. Efficient network flooding and time synchronization with glossy. In Information Processing in Sensor Networks (IPSN), 2011. Google Scholar
  9. S. Ganeriwal, R. Kumar, and M. Srivastava. Timing-sync protocol for sensor networks. In International Conference on Embedded Networked Sensor Systems, 2003. Google Scholar
  10. Grzegorz Krukar, Marco Wenzel, Piotr Karbownik, Norbert Franke, and Thomas von der Grün. Proof-of-concept real time localization system based on the UWB and the WSN technologies. In 2014 International Conference on Indoor Positioning and Indoor Navigation (IPIN), pages 756-757, 2014. URL:
  11. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978. Google Scholar
  12. Roman Lim, Balz Maag, and Lothar Thiele. Time-of-flight aware time synchronization for wireless embedded systems. In Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, EWSN '16, pages 149-158, USA, 2016. Junction Publishing. Google Scholar
  13. L. Maillet and C. Fraboul. Scheduling complex real-time tasks in an embedded distributed system. In Proceedings Seventh Euromicro Workshop on Real-Time Systems, pages 62-65, 1995. URL:
  14. M. Maroti, B. Kusy, G. Simon, and A. Ledeczi. The flooding time synchronization protocol. In Conference On Embedded Networked Sensor Systems, 2004. Google Scholar
  15. D.L. Mills. Internet time synchronization: the network time protocol. IEEE Trans. on Communications, 39(10):1482-1493, 1991. Google Scholar
  16. Dinh C. Nguyen, Ming Ding, Pubudu N. Pathirana, Aruna Seneviratne, Jun Li, Dusit Niyato, Octavia Dobre, and H. Vincent Poor. 6G Internet of Things: A Comprehensive Survey. IEEE Internet of Things Journal, 9(1):359-383, 2022. URL:
  17. Su Ping. Delay measurement time synchronization for wireless sensor networks. In Intel Research, 2003. Google Scholar
  18. A. Rowe, V. Gupta, and R. Rajkumar. Low-power clock synchronization using electromagnetic energy radiating from ac power lines. In Sensys, pages 211-224, 2009. Google Scholar
  19. Federico Terraneo, Alberto Leva, Silvano Seva, Martina Maggio, and Alessandro Vittorio Papadopoulos. Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization. In 2015 IEEE Real-Time Systems Symposium, pages 175-184, 2015. URL:
  20. Federico Terraneo, Paolo Polidori, Alberto Leva, and William Fornaciari. TDMH-MAC: Real-Time and Multi-hop in the Same Wireless MAC. In 2018 IEEE Real-Time Systems Symposium (RTSS), pages 277-287, 2018. URL:
  21. Federico Terraneo, Fabiano Riccardi, and Alberto Leva. Jitter-Compensated VHT and Its Application to WSN Clock Synchronization. In 2017 IEEE Real-Time Systems Symposium (RTSS), pages 277-286, 2017. URL:
  22. Federico Terraneo, Luigi Rinaldi, Martina Maggio, Alessandro Vittorio Papadopoulos, and Alberto Leva. FLOPSYNC-2: Efficient Monotonic Clock Synchronisation. In 2014 IEEE Real-Time Systems Symposium, pages 11-20, 2014. URL:
  23. Hüseyin Yiğitler, Behnam Badihi, and Riku Jäntti. Overview of time synchronization for iot deployments: Clock discipline algorithms and protocols. Sensors (Switzerland), 20(20):1-58, 2020. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail