No abstract

Wireless Sensor Actor Networks (WSANs) have contributed to the development of pervasive computing wherein time consideration to perform the tasks of pervasive applications is necessary. Hence, time constraint is one of the major challenges of WSANs. In this paper, we propose an analytical approach based on queuing theory to minimize the total time taken for completion of tasks, i.e., make-span, in WSANs with hybrid architecture. The best allocation rates of tasks to actor nodes are figured out through solving inequities and qualities resulting from a steady state analysis of the proposed model. Applying the calculated tasks arrival rates at each of the actors, the make-span could be minimized. To assess the accuracy of the tasks assignment rates to each of the actors attained from the suggested analytical approach and to provide a graphical representation of the WSAN a formal model in terms of the generalized stochastic Petri net (GSPN) is presented. The proposed GSPN model is analyzed, tasks distribution weights to the actors are determined, and then tasks allocation rates can be computed. Comparing the results achieved from the analytical approach and the GSPN model demonstrates that allocation rates and hence, the make-span figured out from proposed approach and the formal model are the same. Experimental results in typical scenarios show shorter make-span and longer network lifetime compared to when one of the two popular traditional task allocation algorithms, namely, opportunistic load balancing (OLB), and stochastic allocation (SA) algorithms, is used.