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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Aircraft Trajectory Modeling and Alerting Algorithm Verification


    Beteiligte:
    C. Munoz (Autor:in) / V. Carreno (Autor:in)

    Erscheinungsdatum :

    2000


    Format / Umfang :

    21 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 | Europäisches Patentamt | 2018

    Freier Zugriff

    Aircraft Flight Itinerary Alerting System

    KLEYWEGT MICHAEL | Europäisches Patentamt | 2017

    Freier Zugriff

    Aircraft Alerting Systems Standardization Study

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