Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach
Wireless sensor networks (WSNs) are increasingly being adopted in critical applications. In
these networks undesired events may undermine the reliability level; thus their effects need …
these networks undesired events may undermine the reliability level; thus their effects need …
Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications
Wireless sensor and actor networks (WSAN) are captivating significant attention because of
their suitability for safety–critical applications. Efficient actor placement in such applications …
their suitability for safety–critical applications. Efficient actor placement in such applications …
Analysis of a clock synchronization protocol for wireless sensor networks
F Heidarian, J Schmaltz, F Vaandrager - Theoretical Computer Science, 2012 - Elsevier
The Dutch company Chess develops a wireless sensor network (WSN) platform using an
epidemic communication model. One of the greatest challenges in the design is to find …
epidemic communication model. One of the greatest challenges in the design is to find …
One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches
Wireless self-organizing networks (WSONs) have attracted considerable attention from the
network research community; however, the key for their success is the rigorous validation of …
network research community; however, the key for their success is the rigorous validation of …
Formal methods for the analysis of wireless network protocols
M Fruth - 2011 - ora.ox.ac.uk
In this thesis, we present novel software technology for the analysis of wireless networks, an
emerging area of computer science. To address the widely acknowledged lack of formal …
emerging area of computer science. To address the widely acknowledged lack of formal …
Group selection by nodes in wireless sensor networks using coalitional game theory
F Kazemeyni, EB Johnsen, O Owe… - 2011 16th IEEE …, 2011 - ieeexplore.ieee.org
Wireless sensor networks consist of resource constrained nodes, especially with respect to
power resources. In many cases, the replacement of a dead node is difficult and costly, eg …
power resources. In many cases, the replacement of a dead node is difficult and costly, eg …
Modelling clock synchronization in the Chess gMAC WSN protocol
M Schuts, F Zhu, F Heidarian, F Vaandrager - arXiv preprint arXiv …, 2009 - arxiv.org
We present a detailled timed automata model of the clock synchronization algorithm that is
currently being used in a wireless sensor network (WSN) that has been developed by the …
currently being used in a wireless sensor network (WSN) that has been developed by the …
Analysis of a clock synchronization protocol for wireless sensor networks
F Heidarian, J Schmaltz, F Vaandrager - International Symposium on …, 2009 - Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol
as a network of timed automata and verify various instances using the Uppaal model …
as a network of timed automata and verify various instances using the Uppaal model …
CaVi--Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal
verification methods for wireless sensor network. Simulation is suitable to examine the …
verification methods for wireless sensor network. Simulation is suitable to examine the …
Grouping nodes in wireless sensor networks using coalitional game theory
F Kazemeyni, EB Johnsen, O Owe… - … Conference on Formal …, 2010 - Springer
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in
particular, the nodes are limited in power resources. It can be difficult and costly to replace …
particular, the nodes are limited in power resources. It can be difficult and costly to replace …