Honeywell International Inc.

Stephen Otis Hickman

Devesh Bhatt

David V Oglesby

Harold Anthony Zulch, Iii

Thomas D Judd

Kirk A Schloegel

Aaron James Gannon

Stephen D Whitlow

Barbara Holder

Tom D Judd

Michael Dillard

Gabor Madl

Kuntal Chakraborty

Harold Anthony Zulch Iii

Kirk Schloegel

In one example, a system for a preventing unauthorized access to operational aircraft data is provided. The system includes a server configured to be positioned on an aircraft. The server configured to communicate with a portable electronic device and a plurality of aircraft systems, wherein the server is configured to unidirectionally communicate with the plurality of aircraft systems, wherein the server is configured to receive avionic operational data from the plurality of aircraft systems. The server is further configured to implement security measures to prevent unauthorized electronic devices from accessing the avionic operational data produced by the plurality of aircraft systems. The server is further configured to control dissemination of avionic operational data to electronic devices.

System for preventing unauthorized access to operational aircraft data

A method for providing operational awareness data onboard an aircraft, by a computing device comprising at least a processor and a system memory element, is provided. The method continuously identifies deviations from operational goals of the aircraft, by the processor, based on a current state of the aircraft, a predicted state of the aircraft, and flight crew perception of the current state and the predicted state; and autonomously initiates a dialogue with flight crew onboard the aircraft by providing voice-data prompts for user action onboard the aircraft, by the processor onboard the aircraft, based on the deviations.

Systems and methods for providing dynamic voice-prompt dialogue for situational awareness onboard an aircraft

Embodiments of the present invention provide improved systems and methods for a programmable portable electronic device for airborne operational communications. In one embodiment, a system for preventing unauthorized access to operational aircraft data comprises a personal electronic device and a plurality of aircraft systems that produce avionic operational data. The system further comprises an airborne server in network communication with the personal electronic device and the plurality of aircraft systems, wherein the airborne server implements security measures to prevent unauthorized electronic devices from accessing the avionic operational data, wherein the airborne server controls the dissemination of avionic operational data to electronic devices.

Embodiments of the present invention provide improved systems and methods for a programmable portable electronic device for airborne operational communications. In one embodiment, a method comprises loading application configuration information onto a storage medium on the portable electronic device from an external storage medium, the application configuration information defining an application configuration for the avionic operational data communications application and configuring an avionic operational data communications application stored in the storage medium on the portable electronic device according to the application configuration information stored in the storage medium. Further, the method includes receiving avionic operational data from an airborne server; executing the avionic operational data communications application to process the avionic operational data, wherein the execution of the avionic operational data communications application produces operational communications according to the application configuration information stored in the storage medium; and communicating the operational communications with a ground peer.

Programmable portable electronic device for airborne operational communications

Systems and methods for verifying model equivalence are provided. In one implementation, a system includes: a memory device that stores a reference model (RM) and comparison model (CM), wherein the CM and the RM are constrained by a set of rules; and a processing unit that generates a reference model representation (RMR) from the RM and stores the RMR on the memory device; the processing unit further generates a comparison model representation (CMR) from the comparison model (CM) and stores the CMR on the memory device, wherein the processing unit further to: verifies that the CMR compatibly implements the RMR; verifies that a CM data flow diagram derived from the CMR compatibly implements a RM data flow diagram derived from the RMR; and verifies that every CM semantic unit implements a behavior that corresponds to a RM semantic unit and every RM semantic unit is accounted for in the CM.

Systems and methods for verifying model equivalence

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.

Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation

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.

Method, apparatus, and system for automatic test generation from statecharts

This test generator takes data flow block diagrams and uses requirements-based templates, selective signal propagation, and range comparison and intersection to generate test cases containing test vectors for those diagrams. The templates are based on the functionality and characteristics of a block type, and each block type has associated templates. These templates provide maps for the creation of test values that verify the functionality of particular instances of that block type. Signal propagation allows the generation of diagram-level test cases that verify particular characteristics of a single embedded block. The methods disclosed for signal propagation utilize range intersection, equivalence classes, and block type formulae to create efficient and complete test cases. This test generation method would preferably be repeated until all blocks in a data flow block diagram were verified in their respective contexts, and it creates test cases that cover multiple time steps.

Growing community of inventors

Maricopa, AZ, United States of America

Stephen Otis Hickman