Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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 the storage medium.

Abstract: 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.