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:
-
- Saint Paul, MN
- Mountain View, CA
- Issue Date:
- Research Org.:
- Honeywell International Inc. (Morristown, NJ)
- Sponsoring Org.:
- USDOE
- OSTI Identifier:
- 1012660
- Patent Number(s):
- 7877596
- Application Number:
- 11/437,173
- Assignee:
- Honeywell International Inc. (Morristown, NJ)
- Patent Classifications (CPCs):
-
H - ELECTRICITY H04 - ELECTRIC COMMUNICATION TECHNIQUE H04L - TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- 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}
}