Efficient Change Verification of Member Cardinality in Cluster-Based VCPS

The member cardinality in the cluster-based Vehicular Cyber-Physical Systems (VCPS) is an important parameter in the cluster maintaining and updating. It also has a great influence on private cloud computing scheduling, topology controlling and even some relevant applications. However the traditional member cardinality change verification time is too long and can not satisfy the requirement of VCPS on high efficiency. To tackle this problem, we propose a new change verification method based on the time slot occupation technique in this paper. The new method can both significantly improve the verification efficiency and can obtain a high verification accuracy. The mathematical analysis and simulation results demonstrate the performance of our method.