Self-recovering sensor-actor networks

M Kamali, L Laibinis, L Petre, K Sere - arXiv preprint arXiv:1007.5091, 2010 - arxiv.org
… by Wireless Sensor-Actor Networks (WSANs), a rather new generation of sensor networks [6].
A … There are three main types of WSAN coordination [13]: sensor-sensor, sensor-actor and …

Formal development of wireless sensoractor networks

M Kamali, L Laibinis, L Petre, K Sere - Science of Computer Programming, 2014 - Elsevier
… In this section we discuss how we can generalise and reuse the formal development of
self-recovering sensoractor networks presented so far. To achieve this, we rely on the idea of …

Connectivity weakness impacts on coordination in wireless sensor and actor networks

SS Kashi, M Sharifi - IEEE communications surveys & tutorials, 2012 - ieeexplore.ieee.org
… less sensor actor networks (WSANs) has created new challenges notably in coordination.
In this paper, we survey, categorize, and bring into perspective existing researches on weak …

A node and network level self-recovering distributed wireless sensor architecture for real-time crop monitoring in greenhouses

GM Striemer, DL Story, A Akoglu… - Transactions of the …, 2011 - elibrary.asabe.org
Visual sensor networks (VSNs) have emerged as a new paradigm by giving sensors the
capability to perceive and analyze their surroundings. Robust and fault-tolerant operations are …

A distributed design of a network recovery algorithm

M Kamali, L Laibinis, L Petre… - International Journal of …, 2013 - inderscienceonline.com
… distributed manner, thus ensuring the self -recovering of the network. To model the functional
… in wireless sensor actor networks’. in Intelligent Sensors, Sensor Networks and Information …

[PDF][PDF] Research Article Resource Aware Sensor-to-Actor Allocation Framework for WSANs Based on Voronoi Cells Theory

SM Dima, C Antonopoulos, S Koubias - 2017 - academia.edu
… Given the above requirements, we propose a sensoractor coordination mechanism in the
framework of Voronoi cells [21], which provides a scheduling methodology enabling optimal …

Reusable formal architectures for networked systems

M Kamali - 2013 - doria.fi
network. Our example of a dynamic network is a wireless sensor-actor network (WSAN). …
First, we formalise the algorithm for self-recovering actor coordination [5] using a theorem …

[PDF][PDF] The Event-B Modelling with Operators-based Refinement of NoC-based Wireless Sensors Networks

A Hariche, M Belarbi, A Chouarfia, A Chaib - Preprints, 2017 - academia.edu
… In our particular system Self-recovering or self-reconfiguration is one important factor during
the communication inside a network of sensors. Many works focused on this strategy by …

[PDF][PDF] Embedded systems design using event-b theories

A Hariche, M Belarbi, A Chouarfia - International Journal of …, 2016 - researchgate.net
… In our particular system Self-recovering or selfreconfiguration is one important factor during
the communication inside a network of sensors. Many works focused on this strategy by …

Wireless sensor networks in environmental monitoring: existing applications and basic guidelines.

I Mampentzidou - 2012 - dspace.lib.uom.gr
… Also the WSN must be even more robust, self recovering, able to cover large distances and
able to keep data temporally in node’s memory due to the fact that the nearest BS server will …