article · Defense Technical Information Center (DTIC) · 2000
Aircraft Trajectory Modeling and Alerting Algorithm Verification
Munoz, Cesar, Carreno, Victor
Cited by 0Abstract and details only
Abstract
The Airborne Information for Lateral Spacing (AILS) program at NASA Langley Research Center aims at giving pilots the information necessary to make independent approaches to parallel runways with spacing down to 2500 feet in Instrument Meteorological Conditions. The AILS concept consists of accurate traffic information visible at the navigation display and an alerting algorithm which warns the crew when one of the aircraft involved in a parallel landing is diverting from the intended flight path. In this paper we present a model of aircraft approaches to parallel runways. Based on this model, we analyze the alerting algorithm with the objective of verifying its correctness. The formalization is conducted in the general verification system PVS.
Cite this paper
Munoz, C., & Carreno, V. (2000). Aircraft Trajectory Modeling and Alerting Algorithm Verification. Defense Technical Information Center (DTIC).
Munoz, Cesar, and Victor Carreno. “Aircraft Trajectory Modeling and Alerting Algorithm Verification.” Defense Technical Information Center (DTIC), 2000.
Munoz, Cesar, and Victor Carreno. 2000. “Aircraft Trajectory Modeling and Alerting Algorithm Verification.” Defense Technical Information Center (DTIC).
Munoz, C. and Carreno, V. (2000) ‘Aircraft Trajectory Modeling and Alerting Algorithm Verification’, Defense Technical Information Center (DTIC).
@article{munoz2000aircraft,
title = {{Aircraft Trajectory Modeling and Alerting Algorithm Verification}},
author = {Munoz, Cesar and Carreno, Victor},
journal = {Defense Technical Information Center (DTIC)},
year = {2000}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.