2026-07-20T09:02:05Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:753 2024-03-06T11:06:30Z ddc:004 open_access

Verification and Validation of Sensor Networks Henderson, Thomas C. Models verification validation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Thomas C. Henderson 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5381, Form and Content in Sensor Networks (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05381.4 urn:nbn:de:0030-drops-7532 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05381.4 eng https://creativecommons.org/licenses/by/4.0/legalcode