Verification and Validation of Sensor Networks

Author Thomas C. Henderson

Thumbnail PDF


  • Filesize: 100 kB
  • 4 pages

Document Identifiers

Author Details

Thomas C. Henderson

Cite AsGet BibTex

Thomas C. Henderson. Verification and Validation of Sensor Networks. In Form and Content in Sensor Networks. Dagstuhl Seminar Proceedings, Volume 5381, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


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.
  • Models
  • verification
  • validation


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail