Investigating Sensor Networks with Concurrent Sequential Processes and Smalltalk Cornelia Amariei

Ciprian Teodorov

UFR Sciences et Techniques Universit´e de Bretagne Occidentale Brest, France Email: [email protected]

UFR Sciences et Techniques Universit´e de Bretagne Occidentale Brest, France Email: [email protected]

I. I NTRODUCTION The background behind this demonstration is described as an one-page poster submission. The goal is to show a flow of tools for quick sensor network modeling, from an high level abstraction down to a system validation, including random network generation, and protocol execution.

1) Generation of a random network from given parameters (surface, number of nodes, connectivity radius), 2) Syntactic specification for the connectivity in this network, (demonstrated in a Smalltalk-80 environment), 3) Generation of an Occam program with point to point communications represented as channels. The procedures in the program embed a cycle for the synchronous model of communication: (1st phasis) parallel exchanges of data following a user protocol, (2nd phasis) state transition after analysis of received data. 4) Implementation of a routing algorithm (RIP, AODV, . . . ), and alert propagation over the network (state transition in nodes), 5) Compilation, command line tests. Control and test from the object oriented environment featuring a GUI on node status. Comments, and proposed discussions: •

Fig. 1. Random generation with 2 networks (no gateway on the left one, 2 gateways on the right one), plus an isolated node. Light gray is an unreachable zone. •

II. F LOW D ESCRIPTION We propose a generic methodology for studying algorithms and protocols for sensor networks. The methodology isolates three steps: A: a topology description is produced (may be at random) to allow further synthesis of a conforming concurrent process system, B: the processes cooperate in one mode, either synchronously (locked step, empty channel), or asynchronously (nonempty channel), C: the local behaviours are described as transition programs (state machines) acting generically following the mode and the topology. The demonstration will illustrate this flow as follows:

after step 6, there is an Occam multithreaded executable that simulates the network topology shown figure 1 with the console presented figure 2. An AODV algorithm has produced the routing system and alert messages can be propagated to the gateways (big bullets). The view shows these alert propagation following the investigated algorithm. installation of controller processes for CSMA management, dynamic topologies and routing protocols, failures and time-out for the synchronous model, energy management and sleeping modes, realism of the simulation, code synthesis for embedded systems.

Fig. 2.

Console showing messages received by the gateways.

Investigating Sensor Networks with Concurrent ... - IEEE Xplore

The background behind this demonstration is described as an one-page poster submission. The goal is to show a flow of tools for quick sensor network modeling, from an high level abstraction down to a system validation, including random network generation, and protocol execution. Fig. 1. Random generation with 2 ...

64KB Sizes 2 Downloads 92 Views

Recommend Documents

Intra-vehicular Wireless Networks - IEEE Xplore
cost and labor in harness manufacturing and installation, increased design complexity, etc. Wireless communications provides an intriguing alternative to wiring.

From Sensor Networks to Concurrent Systems
ated by such an event should be managed by MAC and routing protocols in .... These subclasses are: virtual machine based, modular programming based,.

Modeling Sensor Networks as Concurrent Systems
Sensor Networks (SN) should have certain Distributed. System characteristics: Transparency (to be perceived as a whole), Scalability (to be able to acommodate changes in nodes and resources), Fault tolerance, Concurrency, Resource sharing, Openness (

An Ambient Robot System Based on Sensor Network ... - IEEE Xplore
In this paper, we demonstrate the mobile robot application associated with ubiquitous sensor network. The sensor network systems embedded in environment.

I iJl! - IEEE Xplore
Email: [email protected] Abstract: A ... consumptions are 8.3mA and 1.lmA for WCDMA mode .... 8.3mA from a 1.5V supply under WCDMA mode and.

Providing Secrecy with Lattice Codes - IEEE Xplore
Wireless Communications and Networking Laboratory. Electrical Engineering Department. The Pennsylvania State University, University Park, PA 16802.