VERIFICATION OF MOBILE CLOUD COMPUTING USING MODEL CHECKING
Author’s Name : Mr Shivalal D Parmar | Mrs Shubha Raj K B
Volume 04 Issue 03 Year 2017 ISSN No: 2349-3828 Page no: 9-12
In Mobile Cloud computing, offloading the computation to the remote resources has become a crucial issue at runtime. This project proposes a new methodology that is formal framework, whose objective is to allow runtime support for offloading decisions. By means of a domain specific language (MobiCa), a developer can outline each system and application structure, in terms of involved devices, memory required computational power, code and partitioning. Here, we have used one of the formal verification techniques like model checker that is UPPAAL, which is the framework it provides comprehensive and automatic way of providing decision support for offloading using formal verification technique. In UPPAAL, at runtime analytic traces are generated which are driven by some query verified on the timed automata model associated with the specification of MobiCa language. This technique permits one to reduce memory utilization, battery utilization and guaranteeing the most effective system performance. In this project, navigator application is taken as a case study, probably one of the foremost used applications on mobile devices
UPPAAL, Offloading, MobiCa
- Mobile Cloud Computing is a domain name referred from https://en.wikipedia.org/wiki/Mobile_cloud_computing.
- Referred from internet resource: http://www.ediss.uni- goettingen.de
- Aceto, Luca, Andrea Morichetta, and Francesco Tiezzi. “Decision Support for Mobile Cloud Computing Applications via Model Checking”, 2015 3rd IEEE International Conference on Mobile Cloud Computing Services and Engineering, 2015.
- “The mobile app economy is exploding.” [Online]. Available: http://goo.gl/doZ6vr
- R. Alur and D. L. Dill, “A theory of timed automata,” Theoretical Computer Science, vol. 126, no. 2, pp. 183– 235,1994.
- R. K. Balan, M. Satyanarayanan, S. Y. Park, and T. Okoshi, “Tactics based remote execution for mobile computing,” in MobiSys. ACM, 2003, pp. 273–286.
- M. V. Barbera, S. Kosta, A. Mei, and J. Stefa, “To offload or not to offload? The bandwidth and energy costs of mobile cloud computing,” in INFOCOM, 2013. IEEE, 2013, pp. 1285–1293.
- G. Behrmann, A. David, and K. G. Larsen, “A tutorial on Uppaal,” inFormal Methods for the Design of Real-time Systems. Springer, 2004,pp. 200–236.
- B.-G. Chun, S. Ihm, P. Maniatis, M. Naik, and A. Patti, “Clone Cloud: Elastic execution between mobile device and cloud,” in EuroSys. ACM,2011, pp. 301– 314.
- E. Cuervo, A. Balasubramanian, D.-k. Cho, A. Wolman, S. Saroiu,R. Chandra, and P. Bahl, “MAUI: Making smartphones last longer with code offload,” in MobiSys. ACM, 2010, pp. 49– 62.
- H. T. Dinh, C. Lee, D. Niyato, and P. Wang, “A survey of mobile cloud computing: architecture, applications, and approaches,” Wireless Comm. and Mobile Computing, vol. 13, no. 18, pp. 1587–1611, 2013.
- N. Fernando, S. W. Loke, and W. Rahayu, “Mobile cloud computing: A survey,” Future Generation Computer Systems, vol. 29, no. 1, pp. 84– 106, 2013.
- J. Flinn, “Cyber foraging: Bridging mobile and cloud computing,” Synthesis Lectures on Mobile and Pervasive Computing, vol. 7, no. 2,pp. 1–103, 2012.
- J. Flinn, S. Park, and M. Satyanarayanan, “Balancing performance, energy, and quality in pervasive computing,” in Distributed Computing Systems, 2002., 2002, pp. 217–226.
- R. Kemp, N. Palmer, T. Kielmann, and H. Bal, “Cuckoo: A computation offloading framework for smartphones,” in Mobile Computing, Applications, and Services. Springer, 2012, pp. 59–79.
- K. Kumar and Y.-H. Lu, “Cloud computing for mobile users: Can offloading computation save energy?” Computer, vol. 43, no. 4, pp.51–56, 2010.
- A. P. Miettinen and J. K. Nurminen, “Energy efficiency of mobile clientsin cloud computing,” in USENIX, 2010, pp. 4– 4.
- D. Narayanan, J. Flinn, and M. Satyanarayanan, “Using history to improve mobile application adaptation,” in Workshop on Mobile Computing Systems and Applications, 2000, pp. 31–40.
- M.-R. Ra, A. Sheth, L. Mummert, P. Pillai, D. Wetherall, and R. Govindan,“ Odessa: Enabling interactive perception applications on mobile devices,” in MobiSys. ACM, 2011, pp. 43–56.
- A. Rudenko, P. Reiher, G. J. Popek, and G. H. Kuenning, “The remote processing framework for portable computer power saving,” in SAC.ACM, 1999, pp. 365– 372.
- Karthik Kumar • Jibang Liu • Yung-Hsiang Lu •Bharat Bhargava, “A Survey of Computation Offloading for Mobile Systems,” DOI 10.1007/s11036-012-0368-0