SWORDFISH: A framework to formally design WSNs capturing events

Simone Campanoni*, William Fornaciari

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

A Wireless Sensor Network (WSN) consists of spatially distributed autonomous devices equipped with sensors and radio communication capabilities. They can act in a cooperative manner for monitoring environmental parameters like pressure, temperature, acceleration, light, humidity, etc. The typical WSN design problem is to discover a proper set of sensors and their spatial distribution, so to enable the monitoring of relevant parameters for the application, while concurrently optimizing some design goals (e.g., cost, reliability, lifetime and energy requirements). In this paper we present part of the SWORDFISH (Sensor netWORks Development Framework Integrating Simulation and Hardware optimization) project, aiming at providing a design and verification environment for WSNs, including in the design loop the simulation of physical events and a formal verification of the WSN desired properties against the network optimization goals. In particular, it is presented the overall design framework, the approach to model properties and goals of the network and some representative case studies showing the value of a toolsuite gathering WSN formal optimization/planning and environment simulation.

Original languageEnglish (US)
Title of host publication2007 15th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2007
Pages190-194
Number of pages5
DOIs
StatePublished - Dec 1 2007
Event2007 15th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2007 - Split - Dubrovnik, Croatia
Duration: Sep 27 2007Sep 29 2007

Other

Other2007 15th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2007
CountryCroatia
CitySplit - Dubrovnik
Period9/27/079/29/07

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software
  • Electrical and Electronic Engineering
  • Ocean Engineering

Fingerprint Dive into the research topics of 'SWORDFISH: A framework to formally design WSNs capturing events'. Together they form a unique fingerprint.

Cite this