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

GATANI, L., LO RE, G., ORTOLANI M (2006). A Logical Framework for Augmented Simulations of Wireless Sensor Networks. In Proceedings of The 2006 International Conference on Systems, Man and Cybernetics (SMC-06) (pp.58-65). PISCATAWAY, NJ 08855-1331 : IEEE.

A Logical Framework for Augmented Simulations of Wireless Sensor Networks

GATANI, Luca;LO RE, Giuseppe;ORTOLANI, Marco
2006-01-01

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
2006
IEEE SMC2006
Taipei, Taiwan
Oct. 8 - 11, 2006
2006
8
GATANI, L., LO RE, G., ORTOLANI M (2006). A Logical Framework for Augmented Simulations of Wireless Sensor Networks. In Proceedings of The 2006 International Conference on Systems, Man and Cybernetics (SMC-06) (pp.58-65). PISCATAWAY, NJ 08855-1331 : IEEE.
Proceedings (atti dei congressi)
GATANI, L; LO RE, G; ORTOLANI M
File in questo prodotto:
File Dimensione Formato  
A Logical Framework for Augmented Simulations of Wireless Sensor Networks - article.pdf

Solo gestori archvio

Descrizione: articolo principale
Dimensione 5.33 MB
Formato Adobe PDF
5.33 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
A Logical Framework for Augmented Simulations of Wireless Sensor Networks - toc+cover.pdf

Solo gestori archvio

Descrizione: cover+TOC
Dimensione 7.77 MB
Formato Adobe PDF
7.77 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10447/5789
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact