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 338 Views

Recommend Documents

Sensor Data Cryptography in Wireless Sensor Networks - IEEE Xplore
IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOL. 3, NO. 2, JUNE 2008. 273. Sensor Data Cryptography in. Wireless Sensor ...

cooperative target tracking in vehicular sensor networks - IEEE Xplore
This subject has been studied in fields such as airborne traffic, computer vision, and wireless sensor networks. A VANET brings out new challenges that should ...

The Historical Roots of Concurrent Engineering ... - IEEE Xplore
concurrent engineering from the end of the 19th century until the 1960's. ... a product design and its manufacturing process are developed simultaneously ...

Increasing Device Lifetime in Backbone Networks with ... - IEEE Xplore
is the application of sleep modes to network devices. Sleep mode is a low power state, which typically lasts for minutes or hours, during which the device does ...

Elastic Routing in Wireless Networks With Directional ... - IEEE Xplore
Abstract— Throughput scaling law of a large wireless network equipping directional antennas at each node is analyzed based on the information-theoretic ...

Refined Routing Algorithm in Hybrid Networks with ... - IEEE Xplore
Abstract—In this paper, a low-complexity routing strategy is introduced for a hybrid network in which wireless nodes are randomly located and multiple base ...

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.

Capacity of 3D Erasure Networks - IEEE Xplore
Jul 12, 2016 - Abstract—In this paper, we introduce a large-scale 3D erasure network, where n wireless nodes are randomly distributed in a cuboid of nλ × nμ ...

Modelling sensor networks as concurrent systems
Jun 12, 2007 - underlying work was initiated as a project for the Distributed Systems ...... 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 (

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,.

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.

SROS: Sensor-Based Real-Time Observing System for ... - IEEE Xplore
field ecological data transportation and visualization. The system is currently used for observation by ecological research scientists at the Institute of Geographic ...

Robot Localization Sensor for Development of Wireless ... - IEEE Xplore
issues for mobile robot. We describe a novel localization sensor suite for the development of a wireless location sensing network. The sensor suite comprises ...

Radiation effects in a CMOS active pixel sensor - IEEE Xplore
Abstract—A CMOS active pixel sensor has been evaluated with Co60, 10 MeV proton and heavy-ion irradiation. Perma- nent displacement damage effects were ...

Distributed Average Consensus With Dithered ... - IEEE Xplore
computation of averages of the node data over networks with band- width/power constraints or large volumes of data. Distributed averaging algorithms fail to ...

IEEE Photonics Technology - IEEE Xplore
Abstract—Due to the high beam divergence of standard laser diodes (LDs), these are not suitable for wavelength-selective feed- back without extra optical ...

wright layout - IEEE Xplore
tive specifications for voice over asynchronous transfer mode (VoATM) [2], voice over IP. (VoIP), and voice over frame relay (VoFR) [3]. Much has been written ...

Device Ensembles - IEEE Xplore
Dec 2, 2004 - time, the computer and consumer electronics indus- tries are defining ... tered on data synchronization between desktops and personal digital ...

wright layout - IEEE Xplore
ACCEPTED FROM OPEN CALL. INTRODUCTION. Two trends motivate this article: first, the growth of telecommunications industry interest in the implementation ...

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

Trellis-Coded Modulation with Multidimensional ... - IEEE Xplore
constellation, easier tolerance to phase ambiguities, and a better trade-off between complexity and coding gain. A number of such schemes are presented and ...

Evolutionary Computation, IEEE Transactions on - IEEE Xplore
search strategy to a great number of habitats and prey distributions. We propose to synthesize a similar search strategy for the massively multimodal problems of ...

Compressive Sensing With Chaotic Sequence - IEEE Xplore
Index Terms—Chaos, compressive sensing, logistic map. I. INTRODUCTION ... attributes of a signal using very few measurements: for any. -dimensional signal ...