License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05381.4
URN: urn:nbn:de:0030-drops-7532
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/753/
Go to the corresponding Portal

Henderson, Thomas C.

Verification and Validation of Sensor Networks

pdf-format:
05381.HendersonThomas.ExtAbstract.753.pdf (0.10 MB)

Abstract

Sensor networks play an increasingly important role in critical systems infrastructure and
should be correct, reliable and robust. In order to achieve these performance goals, it is
necessary to verify the correctness of system software and to validate the more broadly
defined world and system models. This includes:

* Physical Phenomena (PDE models, statistical models, etc.),

* Signals (Equations of state, physical properties, etc.),

* Sensors (Physics models, noise models, etc.),

* Hardware (Failure models, power consumption models, etc.),

* RF (Antenna models, bandwidth, delay, propagation, etc.),

* Embedded Code (Correctness, complexity, context),

* Distributed Algorithms (Correctness, concurrency models, etc.),

* Overall Sensor Network and Environment Models (Percolation
theory, wave theory, information theory, simulation, etc.).

We outline some of the V & V issues involved in the various aspects of sensor networks
as well as possible approaches to their development and application both in simulation
and in operational deployed systems.

BibTeX - Entry

@InProceedings{henderson:DagSemProc.05381.4,
  author =	{Henderson, Thomas C.},
  title =	{{Verification and Validation of Sensor Networks}},
  booktitle =	{Form and Content in Sensor Networks},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5381},
  editor =	{Leonidas Guibas and Uwe D. Hanebeck and Thomas C. Henderson},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/753},
  URN =		{urn:nbn:de:0030-drops-7532},
  doi =		{10.4230/DagSemProc.05381.4},
  annote =	{Keywords: Models, verification, validation}
}

Keywords: Models, verification, validation
Collection: 05381 - Form and Content in Sensor Networks
Issue Date: 2006
Date of publication: 20.09.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI