Abstract: Automatic Dependent Surveillance Broadcast (ADS-B) is one of the most prominent air traffic surveillance technologies. It can be used not only as a complement in existing radar-based technologies to locate aircraft, but also as a replacement in areas without radar coverage. However, a major flaw in the deployment of this technology is it reliance on clear-text, open broadcast of messages, which makes it vulnerable to attackers. A solution to this vulnerability is ADS-Bsec, a holistic framework that solves the root cause of ADS-B problems by enforcing authenticity and integrity in ADS-B messages. This is accomplished without changing the message format and, along with a proper key exchange mechanism. The framework also leverages results from radio-location add risk-adaptive techniques in order to prevent attacks targeting ADS-B. ADS-Bsec is a promising framework for integrating ADS-B to NextGen infrastructure in a secure and affordable fashion.

Abstract: Anti-paint cracking systems are provided as part of a painted aerospace component (e.g., a fuselage, an engine nacelle, a wing, an empennage, a fairing and the like) having a pair of adjacent structural panels defining therebetween a joint space having a lengthwise extent and a finished paint topcoat covering an exterior surface of the adjacent structural panels and the joint space therebetween. The anti-paint cracking system will thus be associated with the joint space along the lengthwise extent thereof and positioned below the finished paint topcoat. The anti-paint cracking system will include a joint sealant positioned in the joint space and an adhesive tape or a fibrous tape formed of a fiber composite material applied over the joint space and the joint sealant positioned therein.

Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.

Abstract: Anti-paint cracking systems are provided as part of a painted aerospace component (e.g., a fuselage, an engine nacelle, a wing, an empennage, a fairing and the like) having a pair of adjacent structural panels defining therebetween a joint space having a lengthwise extent and a finished paint topcoat covering an exterior surface of the adjacent structural panels and the joint space therebetween. The anti-paint cracking system will thus be associated with the joint space along the lengthwise extent thereof and positioned below the finished paint topcoat. The anti-paint cracking system will include a joint sealant positioned in the joint space and an adhesive tape or a fibrous tape formed of a fiber composite material applied over the joint space and the joint sealant positioned therein.

Abstract: Systems and methods automatically detect violations of coding rules of a coding standard in computer programming code. The systems and methods may mark the locations in the code where the violations are found. The coding rules may be mapped to code verification checks that check for undesired runtime behavior in the code. The systems and methods may identify the code verification check mapped to a given violation detected in the code. The systems and methods may apply that check to the code. If the check proves that the undesired runtime behavior will not occur, the violation may be marked as justified. If the check proves that the undesired runtime behavior will occur, the violation may be marked as not justified.