Abstract: An aircraft includes an electrical system and an electronic controller. The electronic controller includes a main processor and a multi-core processor. The multi-core processor includes a control core in signal communication with the electrical system, and one or more prognostics cores configured to process and analyze prognostics and diagnostics data of the electrical system independently from operation of the control core. A wireless device is in signal communication with one or more of the prognostics cores to receive the prognostics and diagnostics data therefrom. The aircraft further includes a prognostics and health monitoring (PHM) system located remotely from the electronic controller. The PHM system is configured to wirelessly receive the prognostics and diagnostics data from the wireless device.

Abstract: An aircraft includes an electrical system and an electronic controller in signal communication with the electrical system. The electronic controller including a main processor and a multi-core processor. The multi-core processor includes one or more control cores and one or more prognostic cores. The control core is in signal communication with the electrical system to control power delivered thereto. The prognostics core is configured to process prognostics and diagnostics data of the electrical system independently from operation of the control core.

Abstract: An aircraft includes an electrical system and an electronic controller. The electronic controller includes a main processor and a multi-core processor. The multi-core processor includes a control core in signal communication with the electrical system, and one or more prognostics cores configured to process and analyze prognostics and diagnostics data of the electrical system independently from operation of the control core. A wireless device is in signal communication with one or more of the prognostics cores to receive the prognostics and diagnostics data therefrom. The aircraft further includes a prognostics and health monitoring (PHM) system located remotely from the electronic controller. The PHM system is configured to wirelessly receive the prognostics and diagnostics data from the wireless device.

Abstract: An aircraft includes an electrical system and an electronic controller in signal communication with the electrical system. The electronic controller including a main processor and a multi-core processor. The multi-core processor includes one or more control cores and one or more prognostic cores. The control core is in signal communication with the electrical system to control power delivered thereto. The prognostics core is configured to process prognostics and diagnostics data of the electrical system independently from operation of the control core.

Abstract: A method and system to perform deterministic timing analysis of a plurality of software tasks involves cache memory that is shared by the plurality of software tasks. Real memory is accessible by the plurality of software tasks. A task scheduler establishes a cache flush between executions of consecutive tasks among the plurality of software tasks. The cache flush includes movement of data in the cache memory to the real memory. A processor executes the plurality of software tasks to obtain a worst case execution time (WCET) associated with each of the plurality of software tasks.

Abstract: A method for incorporating a set of requirements into an executable program to be run on an airborne system is provided. The method obtains the set of requirements for the program in a first format. The method uses a first tool to convert the set of requirements in the first format into a second format utilizing a markup language. The method uses a second tool to convert the set of requirements in the second format into a third format that influences a behavior of the program without changing the program. The method uses a third tool to determine whether the set of requirements in the third format incorporates all of the set of requirements in the second format in order to verify the program under a compliance standard for the airborne system without performing a verification process directly on the program.

Abstract: An example method for uninterrupted execution of control software in an aircraft control system includes creating a plurality of static data copies. A first parity bit is determined for each of the plurality of static data copies. A second parity bit is determined for a first static data copy. A parity fault is detected in the first static data copy if the first parity bit does not match the second parity bit. The system switches to read a second static data copy in response to detecting a parity fault in the first static data copy.

Abstract: An example method for uninterrupted execution of control software in an aircraft control system includes creating a plurality of static data copies. A first parity bit is determined for each of the plurality of static data copies. A second parity bit is determined for a first static data copy. A parity fault is detected in the first static data copy if the first parity bit does not match the second parity bit. The system switches to read a second static data copy in response to detecting a parity fault in the first static data copy.