NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Interagency Agreement Completed Between Ames and the FAA for the Airborne Collision Avoidance System and Verification of Collisi
Intelligent Systems Division Banner

Interagency Agreement Completed Between Ames and the FAA for the Airborne Collision Avoidance System and Verification of Collisi

The next-generation Airborne Collision Avoidance System v10 (ACAS X), departs from the traditional deterministic model on which the current system, the Traffic alert and Collision Avoidance System (TCAS), is based. To increase robustness, ACAS X relies on probabilistic models to represent the various sources of uncertainty.

Dimitra Giannakopoulou and Christian von Essen have developed a new framework to support probabilistic verification of ACAS X called VERification for Collision Avoidance (VeriCA). Off-the-shelf probabilistic analysis tools were unable to handle the modeling and scalability requirements of ACAS X. VeriCA successfully addresses several verification challenges identified collaboratively by Ames and the Federal Aviation Administration’s ACAS X team on a previously published version of ACAS. VeriCA customizes existing algorithms to efficiently handle the ACAS X system. This interagency agreement enables closer collaboration, where the ACAS X team will be able to use and extend VeriCA, and Ames will be able to focus on the current version of ACAS X.

BACKGROUND: ACAS is an aircraft system that operates independently of ground-based equipment and air traffic control in warning pilots of the presence of other aircraft that may present a threat of collision. If the risk of collision is imminent, the system indicates a maneuver that will reduce the risk of collision.

TEAM: Christian von Essen (intern) and Dimitra Giannakopoulou

COLLABORATORS: Federal Aviation Administration ACAS X team: Ryan Gardner, Yanni Kouskoulas, and Neal Suchy

NASA PROGRAM FUNDING: Assurance of Flight-Critical Systems (AFCS), System-wide Safety Assurances Technologies (SSAT) project, Aeronautics Research Mission Directorate (ARMD)

Contact: Dimitra Giannakopoulou

First Gov logo
NASA Logo - nasa.gov