skip to main content
DOE Patents title logo U.S. Department of Energy
Office of Scientific and Technical Information

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

Abstract

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.

Inventors:
 [1];  [2]
  1. Saint Paul, MN
  2. Mountain View, CA
Issue Date:
Research Org.:
Honeywell International Inc. (Morristown, NJ)
Sponsoring Org.:
USDOE
OSTI Identifier:
1012660
Patent Number(s):
7,877,596
Application Number:
11/437,173
Assignee:
Honeywell International Inc. (Morristown, NJ) GFO
DOE Contract Number:  
FC36-04GO14002
Resource Type:
Patent
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING

Citation Formats

Foo Kune, Denis, and Mahadevan, Karthikeyan. Method and computer product to increase accuracy of time-based software verification for sensor networks. United States: N. p., 2011. Web.
Foo Kune, Denis, & Mahadevan, Karthikeyan. Method and computer product to increase accuracy of time-based software verification for sensor networks. United States.
Foo Kune, Denis, and Mahadevan, Karthikeyan. Tue . "Method and computer product to increase accuracy of time-based software verification for sensor networks". United States. https://www.osti.gov/servlets/purl/1012660.
@article{osti_1012660,
title = {Method and computer product to increase accuracy of time-based software verification for sensor networks},
author = {Foo Kune, Denis and Mahadevan, Karthikeyan},
abstractNote = {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.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2011},
month = {1}
}

Patent:

Save / Share: