Aircraft trajectory modeling and alerting algorithm verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1869, Issue , 2000, Pages 90-105

  Carreiio, Victor ^a   Munoz, Cesar ^a  

^a NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIR NAVIGATION; AIR TRAFFIC CONTROL; AIRCRAFT; FORMAL LOGIC; NASA;

AIRCRAFT TRAJECTORY; ALGORITHM VERIFICATION; INSTRUMENT METEOROLOGICAL CONDITIONS; NASA LANGLEY RESEARCH CENTER; NAVIGATION DISPLAYS; PARALLEL RUNWAY; TRAFFIC INFORMATION; VERIFICATION SYSTEMS;

THEOREM PROVING;

EID: 84949201276     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44659-1_6     Document Type: Conference Paper

References (14)

1. B. Dutertre. Elements of mathematical analysis in PVS. In J. Von Wright, J. Grundy, and J. Harrison, editors, Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL, volume 1125 of Lecture Notes in Computer Science, pages 141-156, Turku, Finland, August 1996. Springer Verlag.
2. W. Chan, R. Anderson, P. Beame, and D. Notkin. Improving efficiency of symbolic model checking for state-based system requirements. Technical Report TR-98-01-03, University of Washington, Department of Computer Science and Engineering, January 1998.
3. T. Doyle and F. McGee. Air traffic and operational data on selected u.s. airports with parallel runways. Technical Report NASA/CR-1998-207675, NASA, May 1998.
4. B. Fuchssteiner. MuPAD User's Manual. John Wiley and Sons, Chichester, New York, first edition, March 1996. Includes a CD for Apple Macintosh and UNIX.
5. M.P.E. Heimdahl and N.G. Leveson. Completeness and Consistency Analysis of State-Based Requirements. In Proceedings of the 17th International Conference on Software Engineering, pages 3-14, April 1995.
6. S. Koczo. Coordinated parallel runway approaches. Technical Report NASA-CR-201611, NASA, October 1996.
7. N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements specification for process-control systems. Technical Report ICS-TR-92-106, University of California, Irvine, Department of Information and Computer Science, November 1992.
8. A.M. Lind. Two simulation studies of precision runway monitoring of independent approaches to closely spaced parallel runways. Technical Report AD-A263433 ATC-190 DOT/FAA/NR-92/9, NASA, March 1993.
9. J. Lygeros and N. A. Lynch. On the formal verification of the TCAS conflict resolution algorithms. In Proceedings 36th IEEE Conference on Decision and Control, San Diego, CA, pages 1829-1834, December 1997. Extended abstract.
10. U. Martin and H. Gottliebsen. Computational logic support for differential equations and mathematical modeling. Personal communication, 2000.
11. S. Owre, J. M. Rushby, and N. Shankar. PVS: A prototype verification system. In Deepak Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752, Saratoga, NY, June 1992. Springer-Verlag.
12. L. Rine, T. Abbott, G. Lohr, D. Elliott, M. Waller, and R. Perry. The flight deck perspective of the NASA Langley AILS concept. Technical Report NASA/TM-2000-209841, NASA, January 2000.
13. RTCA. Minimum operational performance standards for traffic alert and collision avoidance system (TCAS) airborne equipment - consolidated edition. Guideline DO-185, Radio Technical Commission for Aeronautics, One McPherson Square, 1425 K Street N.W., Suite 500, Washington DC 20005, USA, 6 September 1990.
14. G. Wong. Development of precision runway monitor system for increasing capacity of parallel runway operations. AGARD, Machine Intelligence in Air Traffic Management, page 12, October 1993.