skip to main content

Title: Method and computer product to increase accuracy of time-based software verification for sensor networks

A recursive verification protocol to reduce the time variance due to delays in the network by putting the subject node at most one hop from the verifier node provides for an efficient manner to test wireless sensor nodes. Since the software signatures are time based, recursive testing will give a much cleaner signal for positive verification of the software running on any one node in the sensor network. In this protocol, the main verifier checks its neighbor, who in turn checks its neighbor, and continuing this process until all nodes have been verified. This ensures minimum time delays for the software verification. Should a node fail the test, the software verification downstream is halted until an alternative path (one not including the failed node) is found. Utilizing techniques well known in the art, having a node tested twice, or not at all, can be avoided.
Authors:
 [1] ;  [2]
  1. Saint Paul, MN
  2. Mountain View, CA
Publication Date:
OSTI Identifier:
1012660
Report Number(s):
7,877,596
US patent application 11/437,173
DOE Contract Number:
FC36-04GO14002
Resource Type:
Patent
Research Org:
Honeywell International Inc. (Morristown, NJ)
Sponsoring Org:
USDOE
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING