原文传递
Aircraft Trajectory Modeling and Alerting Algorithm Verification
| 题名： | Aircraft Trajectory Modeling and Alerting Algorithm Verification |
| 作者： | Carreno, Victor;Munoz, Cesar; |
| 关键词： | ALGORITHMS, RUNWAYS, FLIGHT PATHS, SPACECRAFT TRAJECTORIES, THEOREMS. |
| 摘要： | 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. |
| 总页数： | 21 |
| 报告类型： | 科技报告 |
相关文献
- Simplified Aircraft-Based Paired Approach With the ALAS Alerting Algorithm.
- Simplified Aircraft-Based Paired Approach With the ALAS Alerting Algorithm.
- Cockpit Interfaces, Displays, and Alerting Messages for the Interval Management Alternative Clearances (IMAC) Experiment
- FIM Avionics Operations Manual
- Stratway: A Modular Approach to Strategic Conflict Resolution.
- Evaluating Alerting and Guidance Performance of a UAS Detect-And-Avoid System
检索历史
应用推荐
