David V Oglesby, 46Minneapolis, MN

7219328, May 15, 2007

Aug 28, 2002

10/229827

Kirk A. Schloegel - Independence MN, US
David V. Oglesby - Maple Grove MN, US
Eric Engstrom - Shoreview MN, US
Devesh Bhatt - Maple Grove MN, US

Honeywell International Inc. - Morristown NJ

G06F 9/44

717104, 717106, 717107

A framework is provided for generating code for the model-based development of a system. According to the framework, the model-based system is modeled using graphical modeling entities. A modular code generator routine is attached directly to at least one of the graphical modeling entities or to a meta-entity or to a collection of entities. The graphical modeling entities are traversed in order to access specified code generator routines. Each of the accessed code generator routines is executed so as to build up code portion by portion for the system.

8307342, Nov 6, 2012

Jun 10, 2008

12/136146

David Oglesby - Brooklyn Center MN, US
Kirk Schloegel - Golden Valley MN, US
Devesh Bhatt - Maple Grove MN, US
Stephen O. Hickman - Eagan MN, US

Honeywell International Inc. - Morristown NJ

G06F 9/44

717124

An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.

8423879, Apr 16, 2013

Oct 8, 2008

12/247882

Devesh Bhatt - Maple Grove MN, US
Kirk Schloegel - Golden Valley MN, US
Stephen O Hickman - Eagan MN, US
David Oglesby - Brooklyn Center MN, US

Honeywell International Inc. - Morristown NJ

G06F 7/02

714819, 717104, 717105, 717125, 717132, 703 13, 703 14, 703 21

A test generator and methods for generating tests from a hybrid diagram are provided. A hybrid diagram is a diagram that primarily uses one higher-level semantic notation with portions utilizing one or more secondary higher-level semantic notations. Example higher-level semantic notations are statechart notation and data-flow notation. A test generator processes the hybrid diagram without reducing the higher-level semantic constructs to lower-level semantic constructs. The test generator generates test-generation templates as needed based on the higher-level semantic model used in the diagram. The test generator uses the test-generation templates to generate tests for a system-performing device specified by the diagram. The generated tests may be executed automatically by a test driver or manually by a human tester.

2003012, Jul 10, 2003

Sep 12, 2002

10/242201

David Oglesby - Maple Grove MN, US
Kirk Schloegel - Independence MN, US
Devesh Bhatt - Maple Grove MN, US
Eric Engstrom - Shoreview MN, US

Honeywell International Inc.

G06T015/70

345/473000

A framework provides for the creation, use, and management of archetypes as a basic building block for graphical model-based development environments. Archetypes are user-definable, domain-independent modeling entities that can contain one or more domain-specific models as well as archetype-specific operations, such as code generation. Archetypes may contain portals that are the explicit application programming interfaces of archetypes. Users define archetype definitions (including visual representations, portals, implementations, and operations) and they or others can then instantiate instances of defined archetypes into different modeling notations. The semantic interpretation of the archetype instances via archetype- and implementation-specific operations provide support for high-level operations such as code generation, model transformations, and model analyses.

2008022, Sep 18, 2008

Mar 15, 2007

11/686835

David V. Oglesby - Brooklyn Center MN, US
Jon P. Schewe - Maple Grove MN, US
Eric Engstrom - Shoreview MN, US
Kirk A. Schloegel - Independence MN, US
Hazel S. Shackleton - Minneapolis MN, US

HONEYWELL INTERNATIONAL INC. - Morristown NJ

G06F 17/30

707103 R, 707E17001

A system and method for providing ontology objects for use in a metamodeling environment is disclosed herein. The method comprises (a) providing a framework for creating a metamodel, wherein the metamodel comprises one or more entities, relationships, and semantics and the framework accepts input from a user to create the entities, relationships, and semantics, (b) generating ontology objects, wherein the ontology objects comprise source code for one or more classes, and wherein each class corresponds to one of the entities; and (c) compiling the source code. Further, the method may comprise detecting that a change has been made to the metamodel, updating the ontology objects to reflect the change to the metamodel, wherein updating the ontology objects comprises generating new source code for one or more classes; and compiling the new source code.

2010019, Jul 29, 2010

Jan 27, 2009

12/360743

Kirk A. Schloegel - Independence MN, US
Devesh Bhatt - Maple Grove MN, US
Steve Hickman - Eagan MN, US
David V. Oglesby - Brooklyn Center MN, US
Manish Patodi - Bangalore, IN
VenkataRaman Perivela - Bangalore, IN
Rachana Labh - Bangalore, IN

HONEYWELL INTERNATIONAL INC. - Morristown NJ

G06F 11/36

717125

An electronic system for test generation is disclosed. The system comprises a source code generator, a test generator, and a code and test equivalence indicator, each of which take functional requirements of a design model as input. The test generator generates test cases for a first test set and a second test set, where the first test set comprises a target source code without references to test points in the source code and the second test set comprises a test equivalent source code that references the test points of the source code. The code and test equivalency indicator generates test metrics for the first and second test sets and comparatively determines whether the target source code is functionally identical to the test equivalent source code based on an analysis of the test metrics and a comparison of the target and the test equivalent source codes.

2011025, Oct 20, 2011

Nov 18, 2010

12/949596

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

G06F 9/44

717126

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.

2012018, Jul 19, 2012

Jan 14, 2011

13/006750

Devesh Bhatt - Maple Grove MN, US
Steve Hickman - Maricopa AZ, US
Manish Patodi - Bangalore, IN
David V. Oglesby - Brooklyn Center MN, US
Kirk Schloegel - Minneapolis MN, US

HONEYWELL INTERNATIONAL INC. - Morristown NJ

G06F 11/263
G06F 11/07

714 32, 714 37, 714E11029, 714E11177

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.