Abstract: Disclosed is an aircraft having an aircraft electric motor; a motor controller; a structure having ribs and spars defining a wingbox of the aircraft; a feeder cable connecting the motor controller and the aircraft electric motor through the wingbox; and a grommet defining an orifice by an inner perimeter sized to receive the feeder cable, the passage housing a thermoelectric cooler having a cooled side thermally conductive with the inner perimeter at a thermal conductivity greater than 100 watts per meter-kelvin at one ° C. and a heated side thermally conductive with the structure at the thermal conductivity.

Abstract: Disclosed is an aircraft having an aircraft electric motor; a motor controller; a structure having ribs and spars defining a wingbox of the aircraft; a feeder cable connecting the motor controller and the aircraft electric motor through the wingbox; and a grommet defining an orifice by an inner perimeter sized to receive the feeder cable, the passage housing a thermoelectric cooler having a cooled side thermally conductive with the inner perimeter at a thermal conductivity greater than 100 watts per meter-kelvin at one ° C. and a heated side thermally conductive with the structure at the thermal conductivity.

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: A multi-phase power control switch has multiple power controller channels, each of which includes at least one power controller having a microprocessor. Each of the microprocessors cross communicates with each other of the microprocessors using a data bus.

Abstract: A configurable power switching controller includes multiple power channels and a programming connector that connects the load outputs of a subset of the multiple power channels thereby creating at least one merged power channel.

Abstract: A multi-phase power control switch has multiple power controller channels, each of which includes at least one power controller having a microprocessor. Each of the microprocessors cross communicates with each other of the microprocessors using a data bus.

Abstract: A configurable power switching controller includes multiple power channels and a programming connector that connects the load outputs of a subset of the multiple power channels thereby creating at least one merged power channel.