I. Introduction
With the rapid advancements in computing and communication technologies, the research in Cyber-Physical Systems (CPS) has received tremendous interests in recent years [1],[2]. A typical example of CPS is the wireless sensing and control systems. As shown in Fig. 1, sensors are deployed in the operation environment to monitor the real-time status of various entities. They report sensor measurements through a wireless sensor network [3], [4] to the controller which executes control tasks to generate control decisions to be executed by the actuators. To support the control functions, there are two important types of tasks to be processed at the controller: the update tasks and the control tasks. The update tasks are responsible for installing the sensor measurements into a real-time database (RTDB) [5], and the control tasks are defined according to users' control strategies. The control tasks are invoked periodically and each invocation has a hard deadline on its completion time. Missing the deadline could severely degrade the system performance, i.e., it cannot generate a timely response to a critical event occurred in the operation environment. Thus, in the design of such systems, it is important to guarantee that all the control tasks can be completed before their deadlines. The architecture of a typical wireless sensing and control system