Results for “conflicts” — Page 17

NASA NTRS2013

Surface Hold Advisor Using Critical Sections

The Surface Hold Advisor Using Critical Sections is a system and method for providing hold advisories to surface controllers to prevent gridlock and resolve crossing and merging conflicts among vehicles traversing a vertex-edge graph representing a surface traffic network on an airport surface. The Advisor performs pair-wise comparisons of current position and projected path of each vehicle with other surface vehicles to detect conflicts, determine critical sections, and provide hold advisories to traffic controllers recommending vehicles stop at entry points to protected zones around identified critical sections. A critical section defines a segment of the vertex-edge graph where vehicles are in crossing or merging or opposite direction gridlock contention. The Advisor detects critical sections without reference to scheduled, projected or required times along assigned vehicle paths, and generates hold advisories to prevent conflicts without requiring network path direction-of-movement rules and without requiring rerouting, rescheduling or other network optimization solutions.

Law, Caleb Hoi Kei↗

NASA NTRS2016

Performance of an Automated System for Control of Traffic in Terminal Airspace

This paper examines the performance of a system that performs automated conflict resolution and arrival scheduling for aircraft in the terminal airspace around major airports. Such a system has the potential to perform separation assurance and arrival sequencing tasks that are currently handled manually by human controllers. The performance of the system is tested against several simulated traffic scenarios that are characterized by the rate at which air traffic is metered into the terminal airspace. For each traffic scenario, the levels of performance that are examined include: number of conflicts predicted to occur, types of resolution maneuver used to resolve predicted conflicts, and the amount of delay for all flights. The simulation results indicate that the percentage of arrivals that required a maneuver that changes the flight's horizontal route ranged between 11% and 15% in all traffic scenarios. That finding has certain implications if this automated system were to be implemented simply as a decision support tool. It is also found that arrival delay due to purely wake vortex separation requirements on final approach constituted only between 29% and 35% of total arrival delay, while the remaining major portion of it is mainly due to delay back propagation effects.

air traffic control↗

NASA NTRS2016

Benefits of Using Pairwise Trajectory Management in the Central East Pacific

Pairwise Trajectory Management (PTM) is a concept that utilizes airborne and ground-based capabilities to enable airborne spacing operations in oceanic regions. The goal of PTM is to use enhanced surveillance, along with airborne tools, to manage the spacing between aircraft. Due to the enhanced airborne surveillance of Automatic Dependent Surveillance-Broadcast (ADS-B) information and reduced communication, the PTM minimum spacing distance will be less than distances currently required of an air traffic controller. Reduced minimum distance will increase the capacity of aircraft operations at a given altitude or volume of airspace, thereby increasing time on desired trajectory and overall flight efficiency. PTM is designed to allow a flight crew to resolve a specific traffic conflict (or conflicts), identified by the air traffic controller, while maintaining the flight crew's desired altitude. The air traffic controller issues a PTM clearance to a flight crew authorized to conduct PTM operations in order to resolve a conflict for the pair (or pairs) of aircraft (i.e., the PTM aircraft and a designated target aircraft). This clearance requires the flight crew of the PTM aircraft to use their ADS-B-enabled onboard equipment to manage their spacing relative to the designated target aircraft to ensure spacing distances that are no closer than the PTM minimum distance. When the air traffic controller determines that PTM is no longer required, the controller issues a clearance to cancel the PTM operation.

Chartrand, Ryan↗

NASA NTRS2018

Simulation Evaluations of an Autonomous Urban Air Mobility Network Management and Separation Service

This paper presents an initial implementation of an autonomous Urban Air Mobility network management and aircraft separation service for urban airspace that does 1) departure and arrival scheduling across the network, 2) continuous trajectory management to ensure safe separation between aircraft, and 3) seamless integration with traditional operations. The highly-autonomous AutoResolver algorithm developed for traditional aviation was extended to provide these capabilities. An evaluation of this initial implementation was conducted in fast-time simulations using a dense, two-hour traffic scenario with Urban Air Mobility aircraft flying between a network of 20 vertiports in the Dallas-Fort Worth metroplex. When the spatial separation was reduced from 0:3nmi to 0:1nmi, the total de- lay decreased by 7:3%; when the temporal separation was reduced from 60s to 45s, the total delay decreased by 28:4%. The total number of conflict resolutions decreased by 26% and 17%, respectively. Furthermore, when a scheduling horizon greater than the duration of UAM flights was used (50min), most conflicts were resolved pre-departure producing ground delay. By comparison, when a shorter scheduling horizon was used (8min), most conflicts were resolved post-departure generating airborne delay. For all scheduling and separation constraints tested, AutoResolver prevented loss of separation from occurring. Urban Air Mobility operations have the ability to revolutionize how people and goods are transported and this paper presents initial research focusing on the high levels of autonomy required for an airspace system capable of scaling to handle significantly higher densities of aircraft.

Bosson, Christabelle S.↗

NASA NTRS2015

Integration of Uncertain Ramp Area Aircraft Trajectories and Generation of Optimal Taxiway Schedules at Charlotte Douglas (CLT) Airport

The integration of aircraft maneuver characteristics into an optimal taxiway scheduling solution is challenging due to the uncertainties that are intrinsic to ramp area aircraft trajectories. To address the challenge, we build a stochastic model of ramp area aircraft trajectories that is used to generate a probabilistic measure of conflict within the Charlotte Douglas International Airport (CLT) ramp area. Parameters of the conflict distributions are estimated and passed to a Mixed Integer Linear Program that solves for an optimal taxiway schedule constrained to be conflict free in the presence of trajectory uncertainties. Here we extend our previous research by accounting for departing and arriving aircraft whereas our prior formulation only accounted for departing aircraft.

taxiway schedule↗

NASA NTRS2015

Strategic Planning of Efficient Oceanic Flights

The efficiency of oceanic flights is low due to limited navigational and communication equipment, congestion and airspace restrictions. The availability of Automated Dependent Surveillance-Broadcast (ADS-B) and other improvements provides opportunity for better strategic planning of trajectories. Transatlantic flights between US and Europe constitute one of the busiest oceanic airspace regions in the world. This paper examines the benefits of a wind-optimal trajectory concept with a strategic de-confliction component compared to the current flight planning using the North Atlantic Tracks. The methodology generates a wind-optimal route for each aircraft and a strategic reduction in the potential conflicts between aircraft by a combination of small adjustments to departure times and rerouting. The de-confliction is achieved by optimization techniques involving simulated annealing with local gradient searching. The fuel burn for the tracks in today's Organized Track System are compared with the corresponding quantities for the wind-optimized routes to evaluate the potential benefits of flying wind-optimal routes in North Atlantic Airspace. The analysis is based on air traffic between US and Europe during July 2012. The potential fuel savings depend on existing inefficiencies in current flight plans, atmospheric conditions and location of the city-pairs. The paper provides both aggregate results and detailed examination of some of the most popular city-pairs. Results show that strategic planning can improve the efficiency of flight trajectories by 3 to 5 depending on city-pairs and aircraft type. This translates into a potential fuel savings in the range of (420-970) kg per flight for a Boeing 767-300, the most widely used aircraft between the city-pairs in this study.

oceanic operations↗

NASA NTRS2020

Costa Rica & Panama Ecological Forecasting II: Identifying Current and Future Areas of Environmental Concern in La Amistad International Park to Inform Resource Management

Seven percent of all scientifically known life forms lie within the 202,230 square miles of Central America, making this area ecologically unique and increasing the need for environmental management. The Mesoamerican Biological Corridor forms a conservation partnership throughout Central America to establish a forested corridor of over 600 protected areas. Although conservation programs exist, deforestation still afflicts the area, putting strain on these diverse ecosystems. La Amistad International Park in southern Costa Rica and northern Panama in particular faces conflicting land use changes. Expanding agricultural development and urbanization, combined with concern over indigenous land rights, have raised questions about the implementation of sustainability goals and communication strategies within the region. To help address these issues, the NASA DEVELOP Costa Rica & Panama Ecological Forecasting II team continued a partnership with the Ministry of Environment and Energy in Costa Rica and the National Environmental Authority in Panama. The team created a Land Use Conflict Identification Strategy (LUCIS) model based on land cover maps for 2019 and 2029 that were created in term I using imagery from Landsat 8 Operational Land Imager (OLI). With partner input, the team applied weights to different objectives and combined suitability maps to identify areas of potential biodiversity conflict. Additionally, the team created a Short-term Forest Change (SFTC) Tool using Terra Moderate Resolution Imaging Spectroradiometer, Landsat 8 OLI, and Sentinel-2 Multispectral Instrument to help the partners identify areas of immediate, major forest changes. The LUCIS model indicated higher agricultural growth when compared to the ecological category.

Ecological Forecasting↗

NASA NTRS2020

Costa Rica & Panama Ecological Forecasting II: Identifying Current and Future Areas of Environmental Concern in La Amistad International Park to Inform Resource Management

Seven percent of all scientifically known life forms lie within the 202,230 square miles of Central America, making this area ecologically unique and increasing the need for environmental management. The Mesoamerican Biological Corridor forms a conservation partnership throughout Central America to establish a forested corridor of over 600 protected areas. Although conservation programs exist, deforestation still afflicts the area, putting strain on these diverse ecosystems. La Amistad International Park in southern Costa Rica and northern Panama in particular faces conflicting land use changes. Expanding agricultural development and urbanization, combined with concern over indigenous land rights, have raised questions about the implementation of sustainability goals and communication strategies within the region. To help address these issues, the NASA DEVELOP Costa Rica & Panama Ecological Forecasting II team continued a partnership with the Ministry of Environment and Energy in Costa Rica and the National Environmental Authority in Panama. The team created a Land Use Conflict Identification Strategy (LUCIS) model based on land cover maps for 2019 and 2029 that were created in term I using imagery from Landsat 8 Operational Land Imager (OLI). With partner input, the team applied weights to different objectives and combined suitability maps to identify areas of potential biodiversity conflict. Additionally, the team created a Short-term Forest Change (SFTC) Tool using Terra Moderate Resolution Imaging Spectroradiometer, Landsat 8 OLI, and Sentinel-2 Multispectral Instrument to help the partners identify areas of immediate, major forest changes. The LUCIS model indicated higher agricultural growth when compared to the ecological category.

Ecological Forecasting↗

NASA NTRS2020

Costa Rica & Panama Ecological Forecasting II: Identifying Current and Future Areas of Environmental Concern in La Amistad International Park to Inform Resource Management

Seven percent of all scientifically known life forms lie within the 202,230 square miles of Central America, making this area ecologically unique and increasing the need for environmental management. The Mesoamerican Biological Corridor forms a conservation partnership throughout Central America to establish a forested corridor of over 600 protected areas. Although conservation programs exist, deforestation still afflicts the area, putting strain on these diverse ecosystems. La Amistad International Park in southern Costa Rica and northern Panama in particular faces conflicting land use changes. Expanding agricultural development and urbanization, combined with concern over indigenous land rights, have raised questions about the implementation of sustainability goals and communication strategies within the region. To help address these issues, the NASA DEVELOP Costa Rica & Panama Ecological Forecasting II team continued a partnership with the Ministry of Environment and Energy in Costa Rica and the National Environmental Authority in Panama. The team created a Land Use Conflict Identification Strategy (LUCIS) model based on land cover maps for 2019 and 2029 that were created in term I using imagery from Landsat 8 Operational Land Imager (OLI). With partner input, the team applied weights to different objectives and combined suitability maps to identify areas of potential biodiversity conflict. Additionally, the team created a Short-term Forest Change (SFTC) Tool using Terra Moderate Resolution Imaging Spectroradiometer, Landsat 8 OLI, and Sentinel-2 Multispectral Instrument to help the partners identify areas of immediate, major forest changes. The LUCIS model indicated higher agricultural growth when compared to the ecological category.

Ecological Forecasting↗

NASA NTRS2021

Compositional Realizability Checking within FRET

A set of requirements for a reactive system is realizable if, for any sequence of inputs that satisfy the assumptions on the environment, the guarantees always hold. Realizability checking is essential to ensure that an implementation can be constructed that satisfies the requirements. We propose a framework that supports users in the non-trivial task of developing realizable requirements. Our framework uses architectural information to automatically de-compose a set of requirements into subsets that can be analyzed separately, and therefore more efficiently. It then integrates existing algorithms in order to detect unrealizability, identify minimal sets of conflicting requirements, and compute counterexamples. The capability to focus on minimal conflict sets is key for localizing and correcting the sources of unrealizability. Our approach supports this process by enabling users to interactively visualize and explore the produced conflict sets and counterexamples. We have implemented our framework in the open-source Formal Requirements Elicitation Tool (FRET), and have used it on a variety of industrial-level case studies, showcasing the strengths of our approach in terms of raw performance, as well as diagnostic potential.

FRET↗

NASA NTRSDate not supplied

Strategic and Tactical Functions in an Autonomous Air Traffic Management System

This paper evaluates, by means of fast-time simulation, performance of a candidate system for autonomous air traffic management. Advancing towards autonomy in air traffic management may be necessary in order for new air vehicle types such as electric Vertical Take Off and Landing (eVTOL) to operate safely and efficiently in airspace shared with conventional traffic. To account for uncertain prediction, autonomous air traffic management was divided into two integrated and coordinated subsystems: strategic scheduling, performed at predeparture, and tactical conflict detection and resolution, performed throughout the flight. The conflict detection and resolution subsystem contained a second tactical scheduling function that applied to flights operating in the airspace near the destination airport. This paper compares and contrasts the two subsystems and uses fast-time simulation to demonstrate the comparisons. A scenario of 54 flights inbound to Newark Liberty International Airport was simulated multiple times with different parameters. The scenario was created using flight plans recorded from the National Airspace System on a low weather, average traffic day in April 2018. Whereas the routes were not changed, the departure times of the flights were modified to increase arrival rates at the Newark runway and arrival meter fixes. Results of the simulations showed that the autonomous air traffic management system was able to safely manage the traffic, even with prediction uncertainty. In addition, they showed the importance of including flight holding maneuvers, in addition to path stretching, in conflict detection and resolution and of coordinating strategic and tactical scheduling. Finally, a tradeoff between absorbing the delay calculated by strategic scheduling on the ground versus in the air showed that taking most of the delay on the ground is cost effective for a simple idealized cost function. However, taking a little of the delay in the air prevented throughput on the runway from dropping for short periods due to trajectory prediction uncertainty.

air traffic control↗

NASA NTRS2021

Strategic and Tactical Functions in an Autonomous Air Traffic Management System

This paper evaluates, by means of fast-time simulation, performance of a candidate system for autonomous air traffic management. Advancing towards autonomy in air traffic management may be necessary in order for new air vehicle types such as electric Vertical Take Off and Landing (eVTOL) to operate safely and efficiently in airspace shared with conventional traffic. To account for uncertain prediction, autonomous air traffic management was divided into two integrated and coordinated subsystems: strategic scheduling, performed at predeparture, and tactical conflict detection and resolution, performed throughout the flight. The conflict detection and resolution subsystem contained a second tactical scheduling function that applied to flights operating in the airspace near the destination airport. This paper compares and contrasts the two subsystems and uses fast-time simulation to demonstrate the comparisons. A scenario of 54 flights inbound to Newark Liberty International Airport was simulated multiple times with different parameters. The scenario was created using flight plans recorded from the National Airspace System on a low weather, average traffic day in April 2018. Whereas the routes were not changed, the departure times of the flights were modified to increase arrival rates at the Newark runway and arrival meter fixes. Results of the simulations showed that the autonomous air traffic management system was able to safely manage the traffic, even with prediction uncertainty. In addition, they showed the importance of including flight holding maneuvers, in addition to path stretching, in conflict detection and resolution and of coordinating strategic and tactical scheduling. Finally, a tradeoff between absorbing the delay calculated by strategic scheduling on the ground versus in the air showed that taking most of the delay on the ground is cost effective for a simple idealized cost function. However, taking a little of the delay in the air prevented throughput on the runway from dropping for short periods due to trajectory prediction uncertainty.

air traffic control↗

NASA NTRSDate not supplied

NASA’s Simulation Activities for Evaluating UAM Concept of Operations

NASA’s vision for Advanced Air Mobility (AAM) is to help emerging aviation markets to safely develop an air transportation system that moves people and cargo between places previously not served or underserved by aviation using revolutionary new aircraft types. Urban Air Mobility (UAM), the concept of expanding transportation networks by serving short flights to transport people and goods around metropolitan areas, is part of a larger paradigm shift toward AAM, in which new technologies and business models are enabling transformational applications of aviation. In NASA’s Concept of Operations for UAM, Providers of Services for UAM (PSU) play a key role to enable safe and efficient UAM operations by sharing operational data among UAM operators. PSUs provide a pre-departure strategic conflict management service that establishes operational plans for new flights and coordinates them with all relevant operations in shared airspace. The strategic conflict management aims to minimize the need for tactical separation provision, while considering anticipated traffic demand, vertiport capacity and availability, forecasted weather, and airspace restrictions. NASA is currently preparing a new lab evaluation activity with aviation industry partners, called the X4 simulation, to demonstrate their airspace services and capabilities and test new information exchange requirements for UAM operations. This simulation activity will support NASA’s National Campaign (NC) flight tests which are planned over the next several years to guide the collective community and stakeholders through a series of scenario-based test activities that involve vehicles and airspace management services operating in a live test environment. This presentation will provide an overview of the X4 simulation, including objectives, scenarios, assumptions, system architecture, and test schedule. The X4 simulation will evaluate the interconnectivity and operational intent sharing between PSUs for multiple operators, as well as the performance of strategic conflict management.

Urban Air Mobility, Simulation, Advanced Air Mobil↗

NASA NTRS2022

Trajectory Specification Applied to Terminal Airspace

Despite major efforts to automate air traffic control (ATC), it is still performed by humans today. The complexity and safety-criticality of ATC makes it very difficult to safely automate, but it must be automated to increase airspace capacity (the density of traffic that can be safely managed) and airport throughput (the number of arrivals and departures that an airport can safely handle in a given period of time) beyond what is possible with human controllers. This paper presents the Trajectory Specification (TS) concept, which can help to safely automate ATC. TS is a method of specifying aircraft trajectories such that the position at any given time in flight is restricted to a precisely defined bounding space, removing all ambiguity as to where the flight is allowed to be. The bounding space or volume is determined by tolerances relative to a reference trajectory (position as a function of time). The tolerances are dynamic and are based on the aircraft navigation capabilities and the traffic situation. The tolerances can be a piecewise linear function of time or distance along the route, allowing the tolerances to vary as needed, typically increasing with time for departures and decreasing for arrivals. A Trajectory Specification Language (TSL) is proposed for communicating trajectories from aircraft to ATC as requests and from ATC to aircraft as assignments. The TS concept requires a new generation of airborne Flight Management Systems (FMS) that understand the TSL and can fly the assigned trajectories, but this paper focuses on the ATC functions and the prototype ATC algorithms and software that were developed to test the TS concept. Assuming conformance, TS can guarantee safe separation for an arbitrary length of time even in the event of an ATC system or communication outage. It can help to achieve the high level of safety and reliability needed for ATC automation, and it can also reduce the reliance on ATC backup systems for tactical conflict detection and resolution during normal operation. TS can be applied to any controlled airspace, including enroute, terminal, and urban airspace, but this paper presents algorithms and software for arrival spacing and conflict detection and resolution in the terminal airspace serving a major airport. In a fast-time simulation of a full day of traffic in a major terminal airspace, all conflicts were resolved in near real time, demonstrating the computational feasibility and the preliminary operational feasibility of the TS concept. This paper is a compilation of previous papers, and it adds significant information that was omitted from those papers due to length limitations. It also updates some of the results of those earlier papers due to algorithm refinements and corrections of minor software errors.

air traffic control, trajectory↗

NASA NTRS2022

Compound Effects of Climate Change on Future Transboundary Water Issues in the Middle East

The Middle East is one of the world’s most vulnerable areas to climate change, which has exacerbated environmental, agricultural, water conflict, and public health issues in the region. Here we analyze the latest climate model projections of precipitation and temperature for the very high emissions scenario, SSP5-8.5,to detect potential future changes in this region. A baseline period (1981-2010) is compared with the middle(2040-2069) and end (2070-2099) of the 21stcentury. The results, representing the worst-case scenario, identify the Tigris-Euphrates headwaters as the hotspot of future compounding effects of climate change in the Middle East. Those effects result from the coincidence of elevated temperature, reduced precipitation, and enhanced interannual variability of precipitation. The hotspot overlays the location of the Southeastern Anatolia Project (in Turkish, GAP) irrigation initiative. In this climate context, risks to GAP viability and downstream water security, and associated potential for water-related conflicts and migration are considerable and demand a reconsideration of the risk-benefit assessment of GAP. This need has become more urgent after the recent widespread and deadly climate-related conflicts and wildfires in summer 2021 across the Middle East that further underlined vulnerability of the region to climate extremes.

Tigris-Euphrates headwater↗

NASA NTRS2024

Integration of Automated Systems Test Campaign NC-IAS

NASA’s 2022 strategic plan included the goal to catalyze economic growth and drive innovation in the aviation industry, and to address challenges in air transportation and airspace management within the National Airspace System (NAS). The Aeronautics Research Mission Directorate (ARMD) specifically was tasked with leading aviation innovation to enable safe and sustainable air transportation through revolutionary vehicle advances and efficient flight operations. As a part of meeting these objectives and advancing air mobility concepts, NASA initiated the National Campaign (NC) in the Advanced Air Mobility (AAM) Project within the Airspace Operations and Safety Program (AOSP). The NC was designed to support operational demonstrations with industry as well as the research and development needed to support NASA-led research flight demonstrations. Within NC, the Integration of Automated Systems (IAS), an NC activity, tested and evaluated flight deck automation and airspace operations management functions needed to enable Urban Air Mobility (UAM) operations. This was accomplished through a partnership with Sikorsky Aircraft (specifically Sikorsky Innovations), a Lockheed Martin company, and DARPA (Defense Advanced Research Projects Agency), by leveraging two automation-enabled helicopters equipped with unique capabilities that enabled NASA to develop and test two-ship conflict encounters to demonstrate flight path management and hazard avoidance technologies. The enabler in this testing was NASA-developed “Middleware” (MW) software (also known as Expandable Variable Autonomy Architecture, or EVAA), which among other things allowed multiple algorithms to be incorporated into one software build that was hosted on the dissimilar-type Sikorsky helicopters. The IAS test campaign period of performance was from March 2022 through October 2023 and was structured as a phased, or spiral, approach that ultimately led to the first-ever demonstration of two-ship UAM/AAM operations designed to safely choreograph specific conflict encounters and mission scenarios to test the research algorithms for strategic and tactical aircraft deconfliction. Lessons learned are included in the body of the report. Data collected will be used to inform FAA and industry standards groups on the increasingly automated systems needed for future AAM operations. The test encounters developed for these flight tests were proven to be highly predictable, repeatable, and safely exercised flight path planning and Detect and Avoid (DAA) algorithms. These same test encounters should be leveraged by future flight test campaigns to verify that operational safety is not compromised as the AAM architecture matures. Next steps include repeating similar encounters using unmanned aircraft carrying DAA sensors in the National Airspace.

AAM↗

NASA NTRS2014

Development Context Driven Change Awareness and Analysis Framework

Recent work on workspace monitoring allows conflict prediction early in the development process, however, these approaches mostly use syntactic differencing techniques to compare different program versions. In contrast, traditional change-impact analysis techniques analyze related versions of the program only after the code has been checked into the master repository. We propose a novel approach, De- CAF (Development Context Analysis Framework), that leverages the development context to scope a change impact analysis technique. The goal is to characterize the impact of each developer on other developers in the team. There are various client applications such as task prioritization, early conflict detection, and providing advice on testing that can benefit from such a characterization. The DeCAF framework leverages information from the development context to bound the iDiSE change impact analysis technique to analyze only the parts of the code base that are of interest. Bounding the analysis can enable DeCAF to efficiently compute the impact of changes using a combination of program dependence and symbolic execution based approaches.

Change Awareness↗

NASA NTRS2020

Tactical Separation and Safety Alerting System for Terminal Airspace

Provision of tactical alerts to aid air traffic controllers in providing separation assurance in terminal airspace is hindered by the complexity of the airspace, its operations, and flight procedures. A prototype automation system is studied that provides controllers with both separation and safety alerts based on or derived from the separation standard for terminal airspace. The system models flight trajectories heuristically, with use of merged intent information from readily available sources: area navigation departure procedures, flight-plan routes, and arrival nominal interior routes used in terminal automation systems. Flight vertical intent is modeled according to standard procedural restrictions except when superseded by controller-issued altitude clearances. Importantly, flight trajectories are modeled for all aircraft, including those conducting visual approaches. New safety-alert thresholds for aircraft conducting visual approaches are studied. Performance of the system is evaluated through fast-time playback of recorded air traffic data from high-fidelity Human-In-The-Loop simulations and real-world operations in two Terminal Radar Approach Control facilities. The prototype system is found to produce a false-alert rate of 8% for separation alerts. The number and validity of safety alerts are studied by comparing with the current Conflict Alert system, showing that the false alerts of Conflict Alert are at 85% and they are avoided in the prototype system.

Air Traffic Management↗