Computer Engineering & Science
Previous Articles Next Articles
FAN Lin-jun1,SHI Xiang-ning2,LING Yun-xiang1,3
Received:
Revised:
Online:
Published:
Abstract:
Given that the analysis methods of clock inconsistency factors used in traditional distributed simulation systems cannot meet the analysis requirements of clock states in current service-oriented distributed simulation applications, we explore the evolution mechanism and transition processes of system clock states from the perspective of global clocks, and propose a new dynamic evolution model named clock finite state automata (CFSA) based on the finite state automata theory. We then design an evolution algorithm named clock consistency evolution algorithm (CCEA) in order to quantitatively analyze clock inconsistency factors. The results of simulation experiments show that compared with traditional analysis methods, it is feasible, effective and novel for using the CFSA and CCEA to characterize the transition processes of system clock states, to investigate the influence mechanism of various inconsistency factors and to quantitatively analyze the impact of various factors, thus providing guidance and advice for the design of clock synchronization algorithms in distributed simulation applications.
Key words: computer application, distributed systems, clock consistency evolution, factors quantification analysis, finite state automata, formal methods
FAN Lin-jun1,SHI Xiang-ning2,LING Yun-xiang1,3. Clock finite state automata model and its evolution algorithm[J]. Computer Engineering & Science.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2017/V39/I2/378