A TCAS-II resolution advisory detection algorithm

AIAA Guidance, Navigation, and Control (GNC) Conference

Volumn , Issue , 2013, Pages

  Muñoz, César ^a   Narkawicz, Anthony ^a   Chamberlain, James ^a  

^a NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT ACCIDENTS; KINEMATICS; NASA; SIGNAL DETECTION; UNMANNED AERIAL VEHICLES (UAV);

AIRCRAFT TRAJECTORY; CONFLICT DETECTION ALGORITHMS; CURRENT GENERATION; DETECTION ALGORITHM; FUNDAMENTAL COMPONENT; TRAFFIC ALERT AND COLLISION AVOIDANCE SYSTEMS; UNMANNED AIRCRAFT SYSTEM; VERTICAL SEPARATION;

AIRCRAFT DETECTION;

EID: 85050366017     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2013-4622     Document Type: Conference Paper

References (11)

1. FAA Sponsored Sense and Avoid Workshop, "Sense and avoid (SAA) for unmanned aircraft systems (UAS), " October 2009.
2. U. S. Department of Transportation Federal Aviation Administration, "Introduction to TCAS II Version 7. 1, " February 2011.
3. RTCA SC-147, "RTCA-DO-185B, Minimum operational performance standards for trafic alert and collision avoidance system II (TCAS II), " July 2009.
4. Consiglio, M., Chamberlain, J., Mu-noz, C., and Hofier, K., "Concept of integration for UAS operations in the NAS, " Proceedings of 28th International Congress of the Aeronautical Sciences, ICAS 2012, Brisbane, Australia, 2012.
5. Owre, S., Rushby, J., and Shankar, N., "PVS: A Prototype Verification System, " Proc. 11th Int. Conf. on Automated Deduction, edited by D. Kapur, Vol. 607 of Lecture Notes in Artificial Intelligence, Springer-Verlag, June 1992, pp. 748-752.
6. Kuchar, J., "Update on the analysis of ACAS performance on Global Hawk, " May 2006, ASP/WG A/WP A10-04.
7. Hammer, J., "Horizontal miss distance filter system for suppressing false resolution alerts, " October 1996, U. S. Patent 5, 566, 074.
8. Leveson, N. G., Heimdahl, M., Hildreth, H., and Reese, J. D., "Requirements Specification for Process-Control Systems, " IEEE Transactions on Software Engineering, Vol. 20, No. 9, 1994, pp. 684-707.
9. Livadas, C., Lygeros, J., and Lynch, N., "High-Level Modeling and Analysis of the Trafic Alert and Collision Avoidance System (TCAS), " Proceedings of IEEE, Special Issue on Hybrid Systems: Theory & Applications, Vol. 88, No. 7, July 2000, pp. 926-948.
10. Coen-Porisini, A., Denaro, G., Ghezzi, C., and Pezzfie, M., "Using Symbolic Execution for Verifying Safety-Critical Systems, " Proceedings of the European Software Engineering Conference (ESEC 2001/FSE 9), No. 142-151, ACM, Vienna, Austria, 2001.
11. Gotlieb, A., "TCAS software verification using constraint programming, " The Knowledge Engineering Review, Vol. 27, No. 3, September 2012, pp. 343-360.