Abstract: Systems and methods for automatic verification of static and dynamic graphic objects rendered by a graphic engine are provided. In certain embodiments, a method includes receiving a signal from the graphic engine indicating that a triggering event has occurred. For each triggering event, the method includes copying data that includes at least one graphic object from a frame buffer to a test buffer; calculating a timing value for the at least one graphic object; overlaying the timing value on the at least one graphic object; and comparing the at least one graphic object with an expected graphic object.

Abstract: Systems and methods for model coverage analysis on user application definition files are described herein. In certain embodiments, a system includes one or more memory devices and one or more processors. Further, the processors are configured to execute a qualified tool, wherein the qualified tool is configured to generate a binary model file from a design model. Additionally, the processors are configured to perform a model coverage test of the design model. Also, the processors are configured to log accessed data from the binary model file into a logged binary file. Moreover, the processors are configured to access the binary model file and the logged binary file. Further, the processors are configured to perform a comparison of the binary model file to the logged binary file. Also, the processors are configured to generate a coverage report based on the comparison of the binary model file to the logged binary file.

Abstract: Systems and methods for automatic verification of static and dynamic graphic objects rendered by a graphic engine are provided. In certain embodiments, a method includes receiving a signal from the graphic engine indicating that a triggering event has occurred. For each triggering event, the method includes copying data that includes at least one graphic object from a frame buffer to a test buffer; calculating a timing value for the at least one graphic object; overlaying the timing value on the at least one graphic object; and comparing the at least one graphic object with an expected graphic object.

Abstract: A method in a trail aircraft for monitoring the separation distance between the trail aircraft and a lead aircraft during a flight deck interval management paired approach (FIM-PA) procedure is provided. The method includes: receiving an assigned spacing goal (ASG); receiving traffic information regarding the lead aircraft that indicates the position, heading and ground velocity of the lead aircraft; retrieving a predetermined tolerance limit and traffic information regarding the trail aircraft that indicates the position, heading and ground velocity of the trail aircraft; setting a range limit that is at least as great as the absolute limit indicated by the ASG plus the tolerance limit; monitoring the range and ground speed differential between the lead aircraft and the trail aircraft; and generating a caution alert indicator when a monitored condition detected from monitoring the range and ground speed differential indicates a potential problem.

Abstract: Methods and system use blockchain technology for recording information pertaining to the licensing or usage of aviation software products. For example, a method may include: receiving, from a user of aviation software products, a purchase order to purchase a license to use an aviation software product; creating a first block including license issuance information representing issuance of the license to the user; adding the first block to a copy of a blockchain; providing the aviation software product to the user; receiving, from the user, a second block including usage information indicating usage of the aviation software product by the user; and adding the second block to the copy of the blockchain.

Abstract: A method is provided. The method comprises: identifying a vehicle; providing, to a remote processing system, an interval between the vehicle and a preceding vehicle; providing, to the remote processing system, the preceding vehicle identifier; obtaining, on the remote processing system, a location and a direction of the vehicle; obtaining, on the remote processing system, a location and a direction of the preceding vehicle; determining, on the remote processing system, a speed of the vehicle necessary to maintain the interval; and providing, to the vehicle from the remote processing system, the speed of vehicle necessary to maintain the interval.

Abstract: Technologically improved Flight Deck Interval Management Paired Approach (FIMPA) system and methods are provided that provide safe speed guidance to a trail aircraft. The FIMPA system comprises a processor operatively coupled to a memory and a database of aircraft-specific parameters. The processor is configured to: receive instantaneous target traffic state data; receive instantaneous state data of a trail aircraft; process the state data, target traffic state data, and aircraft-specific parameters to determine a safe speed zone to perform paired approach, and a recommended speed; render, on a cockpit display, a paired approach bar (PAB) with indicators for (i) a current location of the target traffic, (ii) a current trail aircraft speed, and (iii) the recommended speed; and wherein the indicators are separate and visually distinguishable from each other; determine a wake risk area; and render the wake risk area in a visually distinguishable manner on the PAB.

Abstract: Technologically improved Flight Deck Interval Management Paired Approach (FIMPA) system and methods are provided that provide safe speed guidance to a trail aircraft. The FIMPA system comprises a processor operatively coupled to a memory and a database of aircraft-specific parameters. The processor is configured to: receive instantaneous target traffic state data; receive instantaneous state data of a trail aircraft; process the state data, target traffic state data, and aircraft-specific parameters to determine a safe speed zone to perform paired approach, and a recommended speed; render, on a cockpit display, a paired approach bar (PAB) with indicators for (i) a current location of the target traffic, (ii) a current trail aircraft speed, and (iii) the recommended speed; and wherein the indicators are separate and visually distinguishable from each other; determine a wake risk area; and render the wake risk area in a visually distinguishable manner on the PAB.

Abstract: A method is provided. The method comprises: identifying a vehicle; providing, to a remote processing system, an interval between the vehicle and a preceding vehicle; providing, to the remote processing system, the preceding vehicle identifier; obtaining, on the remote processing system, a location and a direction of the vehicle; obtaining, on the remote processing system, a location and a direction of the preceding vehicle; determining, on the remote processing system, a speed of the vehicle necessary to maintain the interval; and providing, to the vehicle from the remote processing system, the speed of vehicle necessary to maintain the interval.