The Airborne Information for Lateral Spacing (AILS) is a project being conducted at the NASA Langley Research Center. Its general objective is to reduce air traffic delays and increase airport efficiency by enabling approaches to closely spaced parallel runways under instrument meteorological conditions. In this paper, we apply formal techniques to study a critical component of the AILS concept which provides situational awareness to the crew of the aircraft involved on a closely parallel landing. In particular, we focus on the AILS alerting algorithm. This algorithm analyses aircraft states and makes time projections of possible collision scenarios. Based on these projections and risk criteria, the algorithm triggers a sequence of caution and warning alerts. To show that the algorithm satisfies its requirements, we define a mathematical model of collision trajectories. The alerting algorithm is analyzed in the context of the trajectory model to determine if the algorithm complies with its requirements for all possible states and collision trajectories.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal analysis of parallel landing scenarios


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


    Publication date :

    2000-01-01


    Size :

    544572 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formal Analysis of Parallel Landing Scenarios

    Carreno, V. / IEEE / AIAA | British Library Conference Proceedings | 2000




    Model Predictive Control for Autonomous Landing in Complex Scenarios

    Sotirakos, Konstantinos / Prazenica, Richard J. | AIAA | 2025


    From formal specifications to efficient test scenarios generation

    Yang, Jing / Ghazel, Mohamed / El-Koursi, El-Miloudi | IEEE | 2013