The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Mar. 17, 2015

Filed:

Jan. 14, 2011
Applicants:

Devesh Bhatt, Morristown, NJ (US);

Steve Hickman, Morristown, NJ (US);

Manish Patodi, Morristown, NJ (US);

David V. Oglesby, Morristown, NJ (US);

Kirk Schloegel, Morristown, NJ (US);

Inventors:

Devesh Bhatt, Morristown, NJ (US);

Steve Hickman, Morristown, NJ (US);

Manish Patodi, Morristown, NJ (US);

David V. Oglesby, Morristown, NJ (US);

Kirk Schloegel, Morristown, NJ (US);

Assignee:

Honeywell International Inc., Morristown, NJ (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01); G06F 11/36 (2006.01);
U.S. Cl.
CPC ...
G06F 11/3684 (2013.01); G06F 11/3604 (2013.01);
Abstract

Systems and methods for type and range propagation through data flow models are provided. In one embodiment, a test generating system for processing data flow diagrams, the system comprises: a processor programmed to perform a test generation process; and at least one memory device coupled to the processor, the at least one memory device including a data flow diagram. The test generation process computes range information and data type information for outputs of one or more functional blocks defined by the data flow diagram by applying transformations to input range information for inputs of each of the one or more functional blocks. The transformations are at least in part performed by applying specific mathematical and functional effects that are pre-defined for each of the one or more functional blocks based on block type.


Find Patent Forward Citations

Loading…