Skip to main content
SpringerLink
Log in

Dynamic and Quantitative Method of Analyzing Clock Inconsistency Factors among Distributed Nodes

  • Research Article - Computer Engineering and Computer Science
  • Published:
Arabian Journal for Science and Engineering Aims and scope Submit manuscript

Abstract

Designing appropriate clock synchronization schemes and maintaining time consistency among many sensor nodes are crucial for novel distributed applications environments such as Internet of Thing (IoT). However, analyzing the various factors leading to clock inconsistency should be conducted first. The traditional analysis methods are primarily experiential and qualitative, and dynamic disturbances existing among the factors are not considered; moreover, the emerging IoT is rapidly evolving in terms of large-scale feature, service-oriented trend, complexity, and dynamics. Such developments present difficulties in the use of traditional methods in IoT for the analysis of factorial effects on system clocks. To remedy these problems, we propose a novel dynamic evolution model called clock finite state automata (CFSA) using formal methods, exhibiting the overall changing processes of global clock states. We also develop a clock consistency evolution algorithm using CFSA to quantitatively evaluate the influencing factors. The experimental evaluation shows that network delay (41.4% on average) is the greatest impact factor; the frequent entry and exit of the sensor nodes (29.9%) are the second greatest, and the oscillator jitter of computers (11.1%) is the least impact factor. Compared with traditional analysis methods, our method has good feasibility, effectiveness, and novelty. The analysis results can guide the designers of new clock synchronization algorithms for distributed sensor nodes in IoT.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Wang W., Xu Y., Khanna M.: A survey on the communication architectures in smart grid. Comput. Netw. 55(15), 3604–3629 (2011)

    Article  Google Scholar 

  2. Mi B., Wang M., Zhou F.: An online service-oriented performance profiling tool for cloud computing systems. Front. Comput. Sci. 7(3), 431–445 (2013)

    Article  MathSciNet  Google Scholar 

  3. Wenguang W., Weiping W., Yifan Z., Qun L.: Service-oriented simulation framework: an overview and unifying methodology. Simul. Trans. Soc. Model. Simul. Int. 87(3), 221–252 (2011)

    Article  Google Scholar 

  4. Atzori L., Iera A., Morabito G.: The internet of things: a survey. Comput. Netw. 54(15), 2787–2805 (2010)

    Article  MATH  Google Scholar 

  5. Familiar, S.; Martínez, F.; López, L.: Pervasive smart spaces and environments: a service-oriented middleware architecture for wireless Ad Hoc and sensor networks. Int. J. Distrib. Sens. Netw. 2012, 1–11 (2012)

  6. Strassburger, S.; Schulze, T.; Fujimoto, R.: Future trends in distributed simulation and distributed virtual environments: results of a peer study. In: Proceedings of the 2008 Winter Simulation Conference, Miami, pp. 777–785 (2008)

  7. Lamport L.: Clock and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)

    Article  MATH  Google Scholar 

  8. Sinha A., Das P.K., Basu D.: Implementation and timing analysis of clock synchronization on a transputer-based replicated system. Inf. Softw. Technol. 40(5–6), 291–309 (1998)

    Article  Google Scholar 

  9. Carothers, D.; Fujimoto, M.; Weatherly, M.; Wilson, L.: Design and implementation of HLA time management in the RTI version F.0. In: Proceedings of the 1997 Winter Simulation Conference, Atlanta, pp. 373–380 (1997)

  10. Morillo, P.; Orduňa, M.; Duato, J.: A scalable synchronization technique for distributed virtual environments based on networked-server architectures. In: Proceedings of the International Conference on Parallel Processing Workshops, Columbus, pp. 74–81 (2006)

  11. Rhee I.-K., Lee J., Kim J., Serpedin E., Wu C.: Clock synchronization in wireless sensor network: an overview. Sensors 9(1), 56–85 (2009)

    Article  Google Scholar 

  12. Mattern F.: Virtual time and global states of distributed systems. Parallel Distrib. Algorithms 1(23), 215–226 (1989)

    MathSciNet  Google Scholar 

  13. Baldoni R., Raynal M.: Fundamentals of distributed computing: a practical tour of vector clock systems. IEEE Distrib. Syst. Online 3(2), 12 (2002)

    Google Scholar 

  14. Choi, B.; Shen, X.: Distributed clock synchronization in delay tolerant networks. In: Proceedings of the 2010 IEEE International Conference on Communications, pp. 1–6 (2010)

  15. Khlifi H., Grégoire C.: Low-complexity offline and online clock skew estimation and removal. Comput. Netw. 50(11), 1872–1884 (2006)

    Article  MATH  Google Scholar 

  16. Zhang, W.; Zhou, J.; Peng, X.; Li, K.: Asynchronous time consistency control methods in distributed interactive simulation. J. Softw. 21(6), 1208–1219 (2010) (in Chinese)

  17. Wang J., Zhou M., Zhou H.: Clock synchronization for internet measurements: a clustering algorithm. Comput. Netw. 45(6), 731–741 (2004)

    Article  MATH  Google Scholar 

  18. Delaney D., Ward T., McLoone S.: On consistency and network latency in distributed interactive applications: a survey-part I. Presence Teleop. Virtual Environ. 15(2), 218–234 (2006)

    Article  Google Scholar 

  19. Riano L., McGinnity M.: Automatically composing and parameterizing skills by evolving finite state automata. Robot. Auton. Syst. 60(4), 639–650 (2012)

    Article  Google Scholar 

  20. Andova S., Groenewegen J., De-Vink P.: Dynamic consistency in process algebra: from paradigm to ACP. Sci. Comput. Program. 76(8), 711–735 (2011)

    Article  MATH  Google Scholar 

  21. Abdul-Kader H., El-Kholy W.: Modelling of updating moving object database using timed petri net model. Int. Arab J. Inf. Technol. 7(1), 79–85 (2010)

    Google Scholar 

  22. Liu H., Zheng B., Zhang W., Ren K.J.: A global graph-based approach for transaction and Qos-aware service composition. KSII Trans. Internet Inf. Syst. 5(7), 1252–1273 (2011)

    Google Scholar 

  23. Ferreira, K.A.M.; Moreira, R.C.N.; Bigonha, M.A.S.; Bigonha, R.S.: A generic macroscopic topology of software networks-a quantitative evaluation. In: Proceedings of the 26th Brazilian Symposium on Software Engineering, pp. 161–170 (2012)

  24. Mills D.L.: Internet time synchronization: the network time protocol. IEEE Trans. Commun. 39(10), 1482–1493 (1991)

    Article  Google Scholar 

  25. Eidson, J.C.; Fischer, M.; White, J.: IEEE-1588 standard for a precision clock synchronization protocol for network measurement and control systems. In: Proceedings of the 34th Annual Precise Time and Time Interval Meeting, IEEE, pp. 243–254 (2002)

  26. Sterzbach B.: GPS-based clock synchronization in a mobile, distributed real-time system. Real-Time Syst. 12(1), 63–75 (1997)

    Article  Google Scholar 

  27. Elson, J.; Girod, L.; Estrin, D.: Fine-grained network time synchronization using reference broadcasts. In: Proceedings of the 5th Symposium on Operating System Design and Implementation, ACM/IEEE, pp. 147–163 (2002)

  28. Fan L., Ling Y., Wang T., Zhu X., Tang X.: Novel clock synchronization algorithm of parametric difference for parallel and distributed simulations. Comput. Netw. 57(6), 1474–1487 (2013)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer and Information Engineering, Hunan University of Commerce, Changsha, 410205, China

    Xiangning Shi

  2. Department of Management Science and Engineering, Officers College of Chinese Armed Police Force, Chengdu, 610213, China

    Linjun Fan, Yunxiang Ling, Jing He & Dehui Xiong

  3. Science and Technology on Information Systems Engineering Laboratory, National University of Defense Technology, Changsha, 410073, China

    Yunxiang Ling

Authors
  1. Xiangning Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Linjun Fan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yunxiang Ling
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jing He
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Dehui Xiong
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Linjun Fan.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shi, X., Fan, L., Ling, Y. et al. Dynamic and Quantitative Method of Analyzing Clock Inconsistency Factors among Distributed Nodes. Arab J Sci Eng 40, 519–530 (2015). https://doi.org/10.1007/s13369-014-1545-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13369-014-1545-1

Keywords

Search

Navigation