Paper Info
Title
A Logical Framework for Augmented Simulations of Wireless Sensor Networks
Abstract
This paper describes a framework for practical and efficient monitoring of a wireless sensor network. The architecture proposed exploits the dynamic reasoning capabilities of the situation calculus in order to assess the sensor network behavior before actually deploying all the nodes. Designing a wireless sensor network for a specific application typically involves a preliminary phase of simulations that rely on specialized software, whose behavior does not necessarily reproduce what will be experienced by an actual network. On the other hand, delaying the test phase until deployment may not be advisable due to unreasonable costs. This paper suggests the adoption of a hybrid approach that involves coupling an actual wireless sensor network, composed of a minimal set of nodes, with a simulated one. We describe a framework that implements a logical monitoring entity able to analyze the network behavior by means of a superimposed communication control network. The system aims to enhance the simulation environment with a logical reasoning unit in order to extract higher level information about the network state, used to provide the network designer with guidance during the pre-deployment design phase.
Year
DOI
Venue
2006
10.1109/ICSMC.2006.384922
Systems, Man and Cybernetics, 2006. SMC '06. IEEE International Conference
Keywords
Field
DocType
wireless sensor networks,augmented simulation,logical framework,wireless sensor network
Wireless network,Computer science,Visual sensor network,Network architecture,Computer network,Network simulation,Artificial intelligence,Distributed computing,Key distribution in wireless sensor networks,Mobile wireless sensor network,Heterogeneous network,Wireless sensor network,Machine learning
Conference
Volume
ISSN
ISBN
2
1062-922X
1-4244-0100-3
Citations 
PageRank 
References 
1
0.39
9
Authors
3
Name
Order
Citations
PageRank
Luca Gatani1498.24
Lo Re, G.2597.33
Ortolani, M.3355.43