Title
Exploring Fog Computing-Based Adaptive Vehicular Data Scheduling Policies Through a Compositional Formal Method—PEPA
Abstract
Vehicular networks enable an efficient communication with the aim of improving data dissemination among vehicles. However, a growing number of vehicles expect to conduct data dissemination through road side facilities which cause an increment of network load. To address the issue, this letter applies fog computing technologies for enhancing vehicular network that is planned as a layered network architecture. Moreover, two dynamic scheduling algorithms are proposed on the fog computing scheme for the data scheduling in vehicular networks. These algorithms can dynamically adapt a changeable network environment and benefit in efficiency. For performance analysis, a compositional formal method, named performance evaluation process algebra, is applied to model scheduling algorithm in a fog-based vehicular network.
Year
DOI
Venue
2017
10.1109/LCOMM.2016.2647595
IEEE Communications Letters
Keywords
Field
DocType
Cloud computing,Servers,Dynamic scheduling,Vehicles,Heuristic algorithms,Time factors,Algorithm design and analysis
Fair-share scheduling,Scheduling (computing),Computer science,Computer network,Network architecture,Real-time computing,Two-level scheduling,Dynamic priority scheduling,Vehicular ad hoc network,Round-robin scheduling,Distributed computing,Cloud computing
Journal
Volume
Issue
ISSN
21
4
1089-7798
Citations 
PageRank 
References 
13
0.52
6
Authors
2
Name
Order
Citations
PageRank
Xiao Chen1130.85
Liangmin Wang215910.11