Projections of future traffic in the national airspace show that most of the hub airports and their attendant airspace will need to undergo significant redevelopment and redesign in order to accommodate any significant increase in traffic volume. Even though closely spaced parallel approaches increase throughput into a given airport, controller workload in oversubscribed metroplexes is further taxed by these approaches that require stringent monitoring in a saturated environment. The interval management (IM) concept in the TRACON area is designed to shift some of the operational burden from the control tower to the flight deck, placing the flight crew in charge of implementing the required speed changes to maintain a relative spacing interval. The interval management tolerance is a measure of the allowable deviation from the desired spacing interval for the IM aircraft (and its target aircraft). For this complex task, Formal Methods can help to ensure better design and system implementation. In this paper, we propose a probabilistic framework to quantify the uncertainty and performance associated with the major components of the IM tolerance. The analytical basis for this framework may be used to formalize both correctness and probabilistic system safety claims in a modular fashion at the algorithmic level in a way compatible with several Formal Methods tools.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A framework for probabilistic evaluation of interval management tolerence in the terminal radar control area


    Beteiligte:


    Erscheinungsdatum :

    2012-10-01


    Format / Umfang :

    645662 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    A Framework for Probabilistic Evaluation of Interval Management Tolerance in the Terminal Radar Control Area

    Hercencia-Zapana, Heber / Herencia-Zapana, Heber / Hagen, George E. et al. | NTRS | 2012


    Terminal Area Energy Management Trajectory Optimization Using Interval Analysis

    Salgueiro Filipe, Nuno Ricardo / de Weerdt, Elwin / van Kampen, Erik-Jan et al. | AIAA | 2009