Optimal Real-Time Task Allocation in Wireless Sensor Actor Networks

Real-time communication and coordination account as one of the most important challenges in wireless sensor actor networks (WSANs). However, existing mechanisms and architectures for WSANs suffer from the lack of any optimal real-time task allocation to support real-time communications. In this paper we present a formal structure for optimal task allocation in WSANs. To do so, periodic tasks are determined, and then appropriate algorithms are designed for sensing tasks and acting tasks. To analyze the correctness of these algorithms, we propose a formal model for WSANs using graph transformation systems. We show that the proposed algorithms guarantee that the tasks complete their activities before their deadlines expire. Simulation results showed an improvement of 65 percent in deadline hit ratio comparing our algorithms to FIFO algorithm