Performance and Correctness of Mobile Cloud Computing Systems: Taxonomy and Open Challenges

Abstract

Nowadays, mobile devices (e.g., tablet and smartphone) have become an important part of human life as they provide effective communication tools not limited by place and time. Nevertheless, they are facing many problems in terms of resource storage capabilities and communications. So, Mobile Cloud Computing (MCC) has emerged as a new paradigm to overcome these limitations by integrating Cloud Computing into the mobile environment. Adopting this paradigm raises several challenges, particularly with regard to the performance and the correctness. On the one hand, attaining the optimal performance in MCC is not a trivial task due to the variety of often conflicting objectives. On the other hand, because of the complexity of the studied applications, their modeling is more prone to errors on the part of the designers. In this paper, we present a background on MCC including definition, advantages and applications. We also provide a survey of the proposed approaches in the literature focusing on the performance and the verification in MCC systems. Then, we show a comparative study of the existing solutions based on some criteria. Finally, we identify the main research issues and we suggest some directions for future research.