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.
Patent No.:
Date of Patent:
Aug. 04, 2015
Filed:
Nov. 18, 2010
Devesh Bhatt, Maple Grove, MN (US);
David V. Oglesby, Brooklyn Center, MN (US);
Kirk A. Schloegel, Minneapolis, MN (US);
Gabor Madl, St. Louis Park, MN (US);
Devesh Bhatt, Maple Grove, MN (US);
David V. Oglesby, Brooklyn Center, MN (US);
Kirk A. Schloegel, Minneapolis, MN (US);
Gabor Madl, St. Louis Park, MN (US);
Honeywell International Inc., Morristown, NJ (US);
Abstract
A method for automated error detection and verification of software comprises providing a model of the software, the model including one or more model inputs and one or more model outputs, and a plurality of blocks embedded within the model each with an associated block type, the block types each having a plurality of associated block-level requirements. The method further comprises topologically propagating from the model inputs, a range of signal values or variable values, and error bounds, across computational semantics of all the blocks to the model outputs. Each behavior pivot value for a given block is identified and examined to determine if modifying or extending the propagated range by the error bound will or may cause a signal value to fall on either side of the behavioral pivot value. All occurrences of the signal value that will or may fall on either side of the behavioral pivot value are reported.