Exploring fog computing-based adaptive vehicular data scheduling policies through a compositional formal method - PEPA

IEEE Communications Letters

Volumn 21, Issue 4, 2017, Pages 745-748

  Chen, Xiao ^a   Wang, Liangmin ^a  

^a JIANGSU UNIVERSITY   (China)

Author keywords

dynamic scheduling; Fog computing; formal method; PEPA; performance evaluation; vehicular networks

Indexed keywords

FOG; FORMAL METHODS; NETWORK ARCHITECTURE; NETWORK LAYERS; SCHEDULING; SCHEDULING ALGORITHMS;

DYNAMIC SCHEDULING; DYNAMIC SCHEDULING ALGORITHMS; EFFICIENT COMMUNICATIONS; NETWORK ENVIRONMENTS; PEPA; PERFORMANCE EVALUATION; PERFORMANCE EVALUATION PROCESS ALGEBRA; VEHICULAR NETWORKS;

COMPUTER NETWORK PERFORMANCE EVALUATION;

EID: 85018184618     PISSN: 10897798     EISSN: None     Source Type: Journal    
DOI: 10.1109/LCOMM.2016.2647595     Document Type: Article

References (8)

1. M. Whaiduzzaman, M. Sookhak, A. Gani, and R. Buyya, "A survey on vehicular cloud computing, " J. Netw. Comput. Appl, vol. 40, no. 1, pp. 325-344, Apr. 2014.
2. A. M. Vegni, and V. Loscrí, "A survey on vehicular social networks, " IEEE Commun. Surveys Tut, vol. 17, no. 4, pp. 2397-2419, 4th Quart., 2015.
3. X. Chen, and L. Wang, "Exploring trusted data dissemination in a vehicular social network with a formal compositional approach, " in Proc. IEEE 40th Annu. Comput. Softw. Appl. Conf. (COMPSAC), Atlanta, GA, USA, Jun. 2016, pp. 616-617.
4. S. Bitam, A. Mellouk, and S. Zeadally, "VANET-cloud: A generic cloud computing model for vehicular ad hoc networks, " IEEE Wireless Commun, vol. 22, no. 1, pp. 96-102, Feb. 2015.
5. X. Hou, Y. Li, M. Chen, D. Wu, D. Jin, and S. Chen, "Vehicular fog computing: A viewpoint of vehicles as the infrastructures, " IEEE Trans. Veh. Technol, vol. 65, no. 6, pp. 3860-3873, Jun. 2016.
6. T. Adhikary, A. K. Das, M. A. Razzaque, A. Almogren, M. Alrubaian, and M. M. Hassan, "Quality of service aware reliable task scheduling in vehicular cloud computing, " Mobile Netw. Appl, vol. 21, no. 3, pp. 482-493, 2016.
7. J. Hillston, A Compositional Approach to Performance Modelling. Cambridge, U.K.: Cambridge Univ. Press, 1996.
8. J. Hillston, "Fluid flow approximation of PEPA models, " in Proc. 2nd Int. Conf. Quant. Eval. Syst. (QEST), Sep. 2005, pp. 33-42.