Honeywell International Inc.

Steve Hickman

Stephen D Whitlow

Amit Nishikant Kawalkar

Devesh Bhatt

Kirk A Schloegel

David V Oglesby

Manish Patodi

A system and method provide feedback regarding the confirmation of automated and operator assigned tasks, wherein one of the operator tasks and automation tasks includes a value for a parameter. The operator task and automation task that includes the value is rendered subsequent to being accomplished if the value does not match the parameter.

Adaptive interface system for confirming a status of a plurality of identified tasks

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.

Type and range propagation through data-flow models

Growing community of inventors

Indianola, WA, United States of America

Steve Hickman