Skip to content
CASE STUDY

Safer Skies

Enhancing the FAA’s ACAS-X Program with Julia

Screenshot 2025-05-06 at 3.31.52 PM

Federal Aviation Administration

Government

 
Screenshot 2025-05-05 at 10.06.03 PM

Consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation.

Name

Designation

  • Enhanced Performance for Real-Time Processing 
  • Increased Flexibility and Deployment Options
  • Over 10,000 Flight Simulations Conducted

Discover how the FAA’s Airborne Collision Avoidance System (ACAS-X) is revolutionizing air travel safety through cutting-edge technology and innovative collaboration. In partnership with JuliaHub, the FAA tackled significant challenges, including the need for lightning-fast decision-making and seamless integration across diverse aircraft platforms. The Julia-to-C compiler empowered the ACAS-X program to operate at peak performance, transforming complex algorithms into high-speed solutions that adapt effortlessly to various avionics systems.

 

The Mission

The Federal Aviation Administration (FAA) is responsible for ensuring the safety and efficiency of the national airspace system in the United States. One of the key initiatives under the FAA’s mission is the Airborne Collision Avoidance System (ACAS-X) program, designed to develop advanced systems for avoiding mid-air collisions. ACAS-X leverages complex algorithms and real-time data to guide aircraft through potential collision scenarios, ensuring that flights remain safe and secure.

Schedule a Consultation

Speak to our solutions experts to find out more about our Government offerings

 

Lern More

Challenges

The FAA’s ACAS-X program faces several key challenges in achieving its objectives

Real-Time Processing

The ACAS-X system requires the ability to make split-second decisions, processing large volumes of real-time data, including the positions and velocities of nearby aircraft.

 

 

Algorithm Complexity

The algorithms used in ACAS-X must be highly accurate and optimized for safety, requiring high-performance computing capabilities to run simulations for thousands of different flight scenarios.

 

Analysis and Visualization

Ensuring that the ACAS-X system can be deployed on various embedded systems, including different types of aircraft, is a critical challenge for the FAA. This involves optimizing the system for different hardware and software environments.

 

Solution

JuliaHub developed a Julia-to-C compiler specifically for the ACAS-X program, allowing the FAA to leverage the high-performance capabilities of the Julia programming language.

Julia-to-C Compilation

JuliaHub created a compiler that converts Julia code into C, enabling it to run on a variety of platforms, including systems that require tight integration with avionics hardware.

 
Advanced Algorithmic Optimization

Julia’s highly efficient numerical computation capabilities enabled the FAA to develop and run the complex algorithms required for the ACAS-X program at higher speeds and with greater accuracy.

Real-Time Simulation Support

JuliaHub worked with the FAA to run over 10,000 test cases, simulating aircraft encounters to ensure the system could handle a wide range of collision avoidance scenarios.

 
Screenshot 2025-05-05 at 9.10.28 PM
Results

The collaboration between the FAA and JuliaHub delivered significant benefits

Improved Performance

The Julia-to-C compiler allowed ACAS-X to run efficiently on embedded avionics systems, ensuring that collision avoidance algorithms could process real-time data quickly and accurately.

Increased Flexibility

The ability to compile Julia code into C expanded the deployment options for the ACAS-X system, making it adaptable to various hardware and software environments.

Scalable Simulations

With the Julia-based solution, the FAA was able to run thousands of flight simulations to test and refine the ACAS-X algorithms, improving the safety and reliability of the system in real-world applications.

RELATED READING

Julia: A language for AI

Screenshot 2025-05-05 at 9.09.17 PM

Dr. Viral Shah, Alan Edelman, Keno Fischer | Future Proof | May 2020

Introducing JuliaSim: A Cloud Based Modeling Tool

Oct 22, 2024 | JuliaHub

Ready to accelerate your government workflows with JuliaHub?

Lern More