sensor networks

we propose a variation of the shared memory model, the SF shared memory model, where the actions of each node are partitioned into slow actions and fast actions. The traditional shared memory model consists only of fast actions and a lost message can disable the nodes from execution. Slow actions, on the other hand, enable the nodes to use slightly stale state from other nodes, so a message loss does not prevent the nodes from execution.

we propose a variation of the shared memory model, the SF shared memory model, where the actions of each node are partitioned into slow actions and fast actions. The traditional shared memory model consists only of fast actions and a lost message can disable the nodes from execution. Slow actions, on the other hand, enable the nodes to use slightly stale state from other nodes, so a message loss does not prevent the nodes from execution.

We propose ProSe, a programming tool that enables the designers to (1) specify protocols in simple, abstract models, (2) reuse existing fault-tolerant/self-stabilizing protocols from the literature, and (3) automatically generate and deploy code. ProSe hides the deficiencies of existing programming platforms that require the designers to explicitly deal with buffer management, stack management, and flow control. As a result, we expect that ProSe will enable rapid prototyping and quick deployment of protocols.

We focus on stabilizing interference-free slot assignment to WMN nodes. These slot assignments allow each node to transmit its data while ensuring that it does not interfere with other nodes.

In this paper, we propose a self-stabilizing deterministic TDMA algorithm where a sensor is aware of only its neighbors. We show that the slots are assigned to the sensors in a concurrent fashion and starting from arbitrary initial states, the algorithm converges to states where collision-free communication among the sensors is restored. Moreover, this algorithm facilitates the transformation of abstract programs into programs in WAC model that are deterministically correct.

We focus on authentication of bulk data dissemination in sensor networks using symmetric keys.

In this paper, we present Infuse, a time division multiple access (TDMA) based reliable data dissemination protocol. Infuse takes two input parameters: (i) the choice of the recovery algorithm (from one of two presented in this paper) to deal with unexpected channel errors (e.g., message corruption, varying signal strength), and (ii) whether a sensor should listen only to a subset of its neighbors to reduce the amount of active radio time.

To enable the designers to prototype power management protocols in target platform (e.g., nesC/TinyOS), in this paper, we use ProSe, a programming tool for sensor networks. ProSe enables the designers to specify their programs in simple abstract models while hiding low-level challenges of sensor networks and programming-level challenges. As a case study, in this paper, we specify a power management protocol with ProSe, automatically generate the corresponding nesC/TinyOS code, and evaluate its performance.

In this paper, we present a self-stabilizing deterministic algorithm for TDMA in networks where a sensor is only aware of its neighbors. To our knowledge, this is the first such algorithm that achieves these properties. Moreover, this is the firrst algorithm that demonstrates the feasibility of stabilization-preserving deterministic transformation of a program in shared-memory model on an arbitrary topology into a program that is consistent with the sensor network model.

In this paper, we concentrate on component adaptation in sensor-actuator networks. Component adaptation is the process of dynamically replacing components in an application in response to changes in the environment conditions. Since the normal operation of a sensor-actuator network is often hindered by faults (e.g., node failures, message losses, synchronization errors), it is important that the application adapts to the given conditions by dynamically composing suitable components.