skip to main content
OSTI.GOV 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
Publication 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. doi:. 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 = {Tue Jan 25 00:00:00 EST 2011},
month = {Tue Jan 25 00:00:00 EST 2011}
}

Patent:

Save / Share:
  • A system and method are provided for creating a network performance prediction model, and calibrating the prediction model, through application of network load statistical analyses. The method includes characterizing the measured load on the network, which may include background load data obtained over time, and may further include directed load data representative of a transaction-level event. Probabilistic representations of load data are derived to characterize the statistical persistence of the network performance variability and to determine delays throughout the network. The probabilistic representations are applied to the network performance prediction model to adapt the model for accurate prediction of networkmore » performance. Certain embodiments of the method and system may be used for analysis of the performance of a distributed application characterized as data packet streams.« less
  • This paper presents the Simulation, Tactical Operations and Mission Planning (STOMP) software architecture and framework for simulating, controlling and communicating with unmanned air vehicles (UAVs) servicing large distributed sensor networks. STOMP provides hardware-in-the-loop capability enabling real UAVs and sensors to feedback state information, route data and receive command and control requests while interacting with other real or virtual objects thereby enhancing support for simulation of dynamic and complex events.
  • An arrangement which utilizes an inexpensive flap valve/flow transducer combination and a simple local supervisory control system to monitor and/or control the operation of a positive displacement pump used to extract petroleum from geologic strata. The local supervisory control system controls the operation of an electric motor which drives a reciprocating positive displacement pump so as to maximize the volume of petroleum extracted from the well per pump stroke while minimizing electricity usage and pump-off situations. By reducing the electrical demand and pump-off (i.e., "pounding" or "fluid pound") occurrences, operating and maintenance costs should be reduced sufficiently to allow petroleummore » recovery from marginally productive petroleum fields. The local supervisory control system includes one or more applications to at least collect flow signal data generated during operation of the positive displacement pump. No flow, low flow and flow duration are easily evaluated using the flap valve/flow transducer arrangement.« less
  • According to one embodiment, a computer program product for determining future facility conditions includes a computer readable medium having computer readable program code stored therein. The computer readable program code includes computer readable program code for calculating a time period specific maintenance cost, for calculating a time period specific modernization factor, and for calculating a time period specific backlog factor. Future facility conditions equal the time period specific maintenance cost plus the time period specific modernization factor plus the time period specific backlog factor. In another embodiment, a computer-implemented method for calculating future facility conditions includes calculating a time periodmore » specific maintenance cost, calculating a time period specific modernization factor, and calculating a time period specific backlog factor. Future facility conditions equal the time period specific maintenance cost plus the time period specific modernization factor plus the time period specific backlog factor. Other embodiments are also presented.« less
  • In an internal combustion engine having an exhaust system and an oxygen sensor fitted to the exhaust system, the oxygen sensor including a sensor element and an electrically-powered heater for heating same, this patent describes a method for controlling the electrical supply to the heater, comprising the steps of: storing the existing value of the power supplied to the heater; determining a target value for power to be supplied to the heater at a future time when the temperature of the engine exhaust gases reflects values consistent with engine operating parameters; delaying the application of the full value of themore » target value until the future time; and recycling to the storing step.« less