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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Aircraft Trajectory Modeling and Alerting Algorithm Verification


    Contributors:
    C. Munoz (author) / V. Carreno (author)

    Publication date :

    2000


    Size :

    21 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Trajectory Prediction and Alerting for Aircraft Mode and Energy State Awareness

    Shish, Kimberlee H. / Kaneshige, John / Acosta, Diana M. et al. | AIAA | 2015



    Aircraft flight itinerary alerting system

    KLEYWEGT MICHAEL | European Patent Office | 2018

    Free access

    Aircraft Flight Itinerary Alerting System

    KLEYWEGT MICHAEL | European Patent Office | 2017

    Free access

    Aircraft Alerting Systems Standardization Study

    G. P. Boucek / J. B. Erickson / B. L. Berson et al. | NTIS | 1980