The Traffic Alert and Collision Avoidance System

By J. Kuchar, A. Drumm. 2007

211 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Formal Security Analysis of Neural Networks using Symbolic Intervals (2018, background): “Traffic alert and collision avoidance system (TCAS) belongs to such systems and is currently mandated on all large commercial aircrafts worldwide [26] to avoid the midair collision.”
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (2017, background): “The Traffic Alert and Collision Avoidance System (TCAS ) was developed in response to midair collisions between commercial aircraft, and is currently mandated on all large commercial aircraft worldwide [23].”
Differential Adaptive Stress Testing of Airborne Collision Avoidance Systems (2018, unknown): “While TCAS has been very successful in the past, and will continue to operate successfully in the near future, studies have revealed fundamental limitations that prevent TCAS from operating effectively in the next generation airspace [1].”
Next-Generation Airborne Collision Avoidance System (2012, background): “situation, but improving the overall robustness of the logic requires a fundamental design change [4].”
The Adaptive Stress Testing Formulation (2020, methodology): “We want to identify system failures in simulation to ensure the system is robust enough to replace the Traffic Alert and Collision Avoidance System (TCAS) [6].”