Search NASA⌕ Search

SEARCH · Search NASA

Results for “conflict detection”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS2002

Air Ground Integration Study

A simulation was conducted to examine the effect of shared air/ground authority when each is equipped with enhanced traffic- and conflict-alerting systems. The potential benefits of an advanced air traffic management (ATM) concept referred to as "free flight" include improved safety through enhanced conflict detection and resolution capabilities, increased flight-operations management, and better decision-making tools for air traffic controllers and flight crews. One element of the free-flight concept suggests shifting aircraft separation responsibility from air traffic controllers to flight crews, thereby creating an environment with "shared-separation" authority. During FY00. NASA, the Federal Aviation Administration (FAA), and the Volpe National Transportation Systems Center completed the first integrated, high-fidelity, real-time, human-in-the-loop simulation.

Lozito, Sandy↗
NASA NTRS2001

En route Descent Advisor Concept for Efficient Arrival Metering Conformance

The En-route Descent Advisor (EDA) is a suite of decision support tool (DST) capabilities for en route sector subject to metering restrictions such as those generated by the Center TRACON Automation System (CTAS) Traffic Management Advisor. EDA assists controllers with high-density arrival metering by providing fuel-efficient metering-conformance advisories, integrated with conflict detection and resolution (CD&R) capabilities, to minimize deviations from the user s preferred trajectory. These DST capabilities will enable controllers to change their procedures from ones that are oriented towards sector management to procedures oriented towards trajectory management. Although adaptable to current procedures and airspace structure, EDA is intended as a tool for transitioning traffic from a Free Flight environment to an efficiently organized flow into terminal airspace. This paper describes the transition airspace problem and EDA concept, defines the key benefit mechanisms that will be enabled by EDA capabilities, and presents a traffic scenario to illustrate the use of the tool.

Green, Steven↗
NASA NTRS2005

Handling Trajectory Uncertainties for Airborne Conflict Management

Airborne conflict management is an enabling capability for NASA's Distributed Air-Ground Traffic Management (DAG-TM) concept. DAGTM has the goal of significantly increasing capacity within the National Airspace System, while maintaining or improving safety. Under DAG-TM, autonomous aircraft maintain separation from each other and from managed aircraft unequipped for autonomous flight. NASA Langley Research Center has developed the Autonomous Operations Planner (AOP), an onboard decision support system that provides airborne conflict management (ACM) and strategic flight planning support for autonomous aircraft pilots. The AOP performs conflict detection, prevention, and resolution from nearby traffic aircraft and area hazards. Traffic trajectory information is assumed to be provided by Automatic Dependent Surveillance Broadcast (ADS-B). Reliable trajectory prediction is a key capability for providing effective ACM functions. Trajectory uncertainties due to environmental effects, differences in aircraft systems and performance, and unknown intent information lead to prediction errors that can adversely affect AOP performance. To accommodate these uncertainties, the AOP has been enhanced to create cross-track, vertical, and along-track buffers along the predicted trajectories of both ownship and traffic aircraft. These buffers will be structured based on prediction errors noted from previous simulations such as a recent Joint Experiment between NASA Ames and Langley Research Centers and from other outside studies. Currently defined ADS-B parameters related to navigation capability, trajectory type, and path conformance will be used to support the algorithms that generate the buffers.

Barhydt, Richard↗
NASA NTRS2005

Incorporating Data Link Features into a Multi-Function Display to Support Self-Separation and Spacing Tasks for General Aviation Pilots

One objective of the Small Aircraft Transportation System (SATS) Higher Volume Operations (HVO) project is to increase the capacity and utilization of small non-towered, non-radar equipped airports by transferring traffic management activities to an automated Airport Management Module (AMM) and separation responsibilities to general aviation (GA) pilots. Implementation of this concept required the development of a research Multi-Function Display (MFD) to support the interactive communications between pilots and the AMM. The interface also had to accommodate traffic awareness, self-separation, and spacing tasks through dynamic messaging and symbology for flight path conformance and conflict detection and alerting (CDA). The display served as the mechanism to support the examination of the viability of executing instrument operations designed for SATS designated airports. Results of simulation and flight experiments conducted at the National Aeronautics and Space Administration's (NASA) Langley Research Center indicate that the concept, as facilitated by the research MFD, did not increase pilots subjective workload levels or reduce their situation awareness (SA). Post-test usability assessments revealed that pilots preferred using the enhanced MFD to execute flight procedures, reporting improved SA over conventional instrument flight rules (IFR) procedures.

Adams, Catherine A.↗
NASA NTRS2008

NASA Langley's Formal Methods Research in Support of the Next Generation Air Transportation System

This talk will provide a brief introduction to the formal methods developed at NASA Langley and the National Institute for Aerospace (NIA) for air traffic management applications. NASA Langley's formal methods research supports the Interagency Joint Planning and Development Office (JPDO) effort to define and develop the 2025 Next Generation Air Transportation System (NGATS). The JPDO was created by the passage of the Vision 100 Century of Aviation Reauthorization Act in Dec 2003. The NGATS vision calls for a major transformation of the nation s air transportation system that will enable growth to 3 times the traffic of the current system. The transformation will require an unprecedented level of safety-critical automation used in complex procedural operations based on 4-dimensional (4D) trajectories that enable dynamic reconfiguration of airspace scalable to geographic and temporal demand. The goal of our formal methods research is to provide verification methods that can be used to insure the safety of the NGATS system. Our work has focused on the safety assessment of concepts of operation and fundamental algorithms for conflict detection and resolution (CD&R) and self- spacing in the terminal area. Formal analysis of a concept of operations is a novel area of application of formal methods. Here one must establish that a system concept involving aircraft, pilots, and ground resources is safe. The formal analysis of algorithms is a more traditional endeavor. However, the formal analysis of ATM algorithms involves reasoning about the interaction of algorithmic logic and aircraft trajectories defined over an airspace. These trajectories are described using 2D and 3D vectors and are often constrained by trigonometric relations. Thus, in many cases it has been necessary to unload the full power of an advanced theorem prover. The verification challenge is to establish that the safety-critical algorithms produce valid solutions that are guaranteed to maintain separation under all possible scenarios. Current research has assumed perfect knowledge of the location of other aircraft in the vicinity so absolute guarantees are possible, but increasingly we are relaxing the assumptions to allow incomplete, inaccurate, and/or faulty information from communication sources.

Butler, Ricky W.↗
NASA NTRS2009

Flight Deck Display Technologies for 4DT and Surface Equivalent Visual Operations

NASA research is focused on flight deck display technologies that may significantly enhance situation awareness, enable new operating concepts, and reduce the potential for incidents/accidents for terminal area and surface operations. The display technologies include surface map, head-up, and head-worn displays; 4DT guidance algorithms; synthetic and enhanced vision technologies; and terminal maneuvering area traffic conflict detection and alerting systems. This work is critical to ensure that the flight deck interface technologies and the role of the human participants can support the full realization of the Next Generation Air Transportation System (NextGen) and its novel operating concepts.

Prinzel, Lawrence J., III↗
NASA NTRS2009

Feasibility of Mixed Equipage Operations in the Same Airspace

This study used a human-in-the-loop simulation to examine the feasibility of mixed equipage operations in an automated separation assurance environment under higher traffic densities. The study involved two aircraft equipage alternatives with and without data link and four traffic conditions. In all traffic conditions the unequipped traffic count was increased linearly throughout the scenario from approximately 5 to 20 aircraft. Condition One consisted solely of this unequipped traffic, while the remaining three conditions also included a constant number of equipped aircraft operating within the same airspace: 15 equipped aircraft in condition two, 30 in condition three, and 45 in condition four. If traffic load became excessive during any run, participants were instructed to refuse sector entry to inbound unequipped aircraft until sector load became manageable. Results showed a progressively higher number of unequipped aircraft turned away under the second, third, and fourth scenario conditions. Controller workload also increased progressively. Participants rated the mixed operations concept as acceptable, with some qualifications about procedures and information displays. These results showed that mixed operations might be feasible in the same airspace, if unequipped aircraft count is held to a workable level. This level will decrease with increasing complexity. The results imply that integrated airspace configuration is feasible to a limit. The results also indicate that the conflict detection and resolution automation, equipage, and traffic density are important factors that will need to be considered for airspace configuration.

Kopardekar, Parimal↗
NASA NTRS2010

Air traffic management evaluation tool

Method and system for evaluating and implementing air traffic management tools and approaches for managing and avoiding an air traffic incident before the incident occurs. The invention provides flight plan routing and direct routing or wind optimal routing, using great circle navigation and spherical Earth geometry. The invention provides for aircraft dynamics effects, such as wind effects at each altitude, altitude changes, airspeed changes and aircraft turns to provide predictions of aircraft trajectory (and, optionally, aircraft fuel use). A second system provides several aviation applications using the first system. These applications include conflict detection and resolution, miles-in trail or minutes-in-trail aircraft separation, flight arrival management, flight re-routing, weather prediction and analysis and interpolation of weather variables based upon sparse measurements.

Sridhar, Banavar↗
NASA NTRS2010

The Monotonic Lagrangian Grid for Rapid Air-Traffic Evaluation

The Air Traffic Monotonic Lagrangian Grid (ATMLG) is presented as a tool to evaluate new air traffic system concepts. The model, based on an algorithm called the Monotonic Lagrangian Grid (MLG), can quickly sort, track, and update positions of many aircraft, both on the ground (at airports) and in the air. The underlying data structure is based on the MLG, which is used for sorting and ordering positions and other data needed to describe N moving bodies and their interactions. Aircraft that are close to each other in physical space are always near neighbors in the MLG data arrays, resulting in a fast nearest-neighbor interaction algorithm that scales as N. Recent upgrades to ATMLG include adding blank place-holders within the MLG data structure, which makes it possible to dynamically change the MLG size and also improves the quality of the MLG grid. Additional upgrades include adding FAA flight plan data, such as way-points and arrival and departure times from the Enhanced Traffic Management System (ETMS), and combining the MLG with the state-of-the-art strategic and tactical conflict detection and resolution algorithms from the NASA-developed Stratway software. In this paper, we present results from our early efforts to couple ATMLG with the Stratway software, and we demonstrate that it can be used to quickly simulate air traffic flow for a very large ETMS dataset.

Kaplan, Carolyn↗
NASA NTRS2010

Collision Avoidance for Airport Traffic Simulation Evaluation

A Collision Avoidance for Airport Traffic (CAAT) concept for the airport Terminal Maneuvering Area (TMA) was evaluated in a simulation study at the National Aeronautics and Space Administration (NASA) Langley Research Center. CAAT is being designed to enhance surface situation awareness and provide cockpit alerts of potential conflicts during runway, taxi, and low altitude air-to-air operations. The purpose of the study was to evaluate pilot reaction to conflict events in the TMA near the airport, different alert timings for various scenarios, alerting display concepts, and directive alerting concepts. This paper gives an overview of the conflict detection and resolution (CD&R) concept, simulation study, and test results

Jones, Denise R.↗
NASA NTRS2010

Accelerated Monte Carlo Simulation for Safety Analysis of the Advanced Airspace Concept

Safe separation of aircraft is a primary objective of any air traffic control system. An accelerated Monte Carlo approach was developed to assess the level of safety provided by a proposed next-generation air traffic control system. It combines features of fault tree and standard Monte Carlo methods. It runs more than one order of magnitude faster than the standard Monte Carlo method while providing risk estimates that only differ by about 10%. It also preserves component-level model fidelity that is difficult to maintain using the standard fault tree method. This balance of speed and fidelity allows sensitivity analysis to be completed in days instead of weeks or months with the standard Monte Carlo method. Results indicate that risk estimates are sensitive to transponder, pilot visual avoidance, and conflict detection failure probabilities.

Thipphavong, David↗
NASA NTRS2010

Generic Airspace Concepts and Research

The purpose of this study was to evaluate methods for reducing the training and memorization required to manage air traffic in mid-term, Next Generation Air Transportation System (NextGen) airspace. We contrasted the performance of controllers using a sector information display and NextGen automation tools while working with familiar and unfamiliar sectors. The airspace included five sectors from Oakland and Salt Lake City Centers configured as a "generic center" called "West High Center." The Controller Information Tool was used to present essential information for managing these sectors. The Multi Aircraft Control System air traffic control simulator provided data link and conflict detection and resolution. There were five experienced air traffic controller participants. Each was familiar with one or two of the five sectors, but not the others. The participants rotated through all five sectors during the ten data collection runs. The results addressing workload, traffic management, and safety, as well as controller and observer comments, supported the generic sector concept. The unfamiliar sectors were comparable to the familiar sectors on all relevant measures.

Mogford, Richard H.↗
NASA NTRS2011

Formalizing Probabilistic Safety Claims

A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

Herencia-Zapana, Heber↗
NASA NTRS2011

Parametric Modeling of the Safety Effects of NextGen Terminal Maneuvering Area Conflict Scenarios

The goal of this work was to analytically identify and quantify the issues, challenges, technical hurdles, and pilot-vehicle interface issues associated with conflict detection and resolution (CD&R)in emerging operational concepts for a NextGen terminal aneuvering area, including surface operations. To this end, the work entailed analytical and trade studies focused on modeling the achievable safety benefits of different CD&R strategies and concepts in the current and future airport environment. In addition, crew-vehicle interface and pilot performance enhancements and potential issues were analyzed based on review of envisioned NextGen operations, expected equipage advances, and human factors expertise. The results of perturbation analysis, which quantify the high-level performance impact of changes to key parameters such as median response time and surveillance position error, show that the analytical model developed could be useful in making technology investment decisions.

Rogers, William H.↗
NASA NTRS2009

Feasibility of Mixed Equipage Operations in the Same Airspace

This study used a human-in-the-loop simulation to examine the feasibility of mixed equipage operations in an automated separation assurance environment under higher traffic densities. The study involved two aircraft equipage alternatives - with and without data link- and four traffic conditions. In all traffic conditions the unequipped traffic count was increased linearly throughout the scenario from approximately 5 to 20 aircraft. Condition One consisted solely of this unequipped traffic, while the remaining three conditions also included a constant number of equipped aircraft operating within the same airspace: 15 equipped aircraft in condition two, 30 in condition three, and 45 in condition four. If traffic load became excessive during any run, participants were instructed to refuse sector entry to inbound unequipped aircraft until sector load became manageable. Results showed a progressively higher number of unequipped aircraft turned away under the second, third, and fourth scenario conditions. Controller workload also increased progressively. Participants rated the mixed operations concept as acceptable, with some qualifications about procedures and information displays. These results showed that mixed operations might be feasible in the same airspace, if unequipped aircraft count is held to a workable level. This level will decrease with increasing complexity. The results imply that integrated airspace configuration is feasible to a limit. The results also indicate that the conflict detection and resolution automation, equipage, and traffic density are important factors that will need to be considered for airspace configuration.

Kopardekar, Parimal↗
NASA NTRS2011

Relative Effects of Trajectory Prediction Errors on the AAC Autoresolver

Trajectory prediction is fundamental to automated separation assurance. Every missed alert, false alert and loss of separation can be traced to one or more errors in trajectory prediction. These errors are a product of many different sources including wind prediction errors, inferred pilot intent errors, surveillance errors, navigation errors and aircraft weight estimation errors. This study analyzes the impact of six different types of errors on the performance of an automated separation assurance system composed of a geometric conflict detection algorithm and the Advanced Airspace Concept Autoresolver resolution algorithm. Results show that, of the error sources considered in this study, top-of-descent errors were the leading contributor to missed alerts and failed resolution maneuvers. Descent-speed errors were another significant contributor, as were cruise-speed errors in certain situations. The results further suggest that increasing horizontal detection and resolution standards are not effective strategies for mitigating these types of error sources.

Lauderdale, Todd↗
NASA NTRS2011

Evaluation of the Monotonic Lagrangian Grid and Lat-Long Grid for Air Traffic Management

The Air Traffic Monotonic Lagrangian Grid (ATMLG) is used to simulate a 24 hour period of air traffic flow in the National Airspace System (NAS). During this time period, there are 41,594 flights over the United States, and the flight plan information (departure and arrival airports and times, and waypoints along the way) are obtained from an Federal Aviation Administration (FAA) Enhanced Traffic Management System (ETMS) dataset. Two simulation procedures are tested and compared: one based on the Monotonic Lagrangian Grid (MLG), and the other based on the stationary Latitude-Longitude (Lat- Long) grid. Simulating one full day of air traffic over the United States required the following amounts of CPU time on a single processor of an SGI Altix: 88 s for the MLG method, and 163 s for the Lat-Long grid method. We present a discussion of the amount of CPU time required for each of the simulation processes (updating aircraft trajectories, sorting, conflict detection and resolution, etc.), and show that the main advantage of the MLG method is that it is a general sorting algorithm that can sort on multiple properties. We discuss how many MLG neighbors must be considered in the separation assurance procedure in order to ensure a five-mile separation buffer between aircraft, and we investigate the effect of removing waypoints from aircraft trajectories. When aircraft choose their own trajectory, there are more flights with shorter duration times and fewer CD&R maneuvers, resulting in significant fuel savings.

Kaplan, Carolyn↗
NASA NTRS2012

Development of Complexity Science and Technology Tools for NextGen Airspace Research and Applications

The objective of this research by NextGen AeroSciences, LLC is twofold: 1) to deliver an initial "toolbox" of algorithms, agent-based structures, and method descriptions for introducing trajectory agency as a methodology for simulating and analyzing airspace states, including bulk properties of large numbers of heterogeneous 4D aircraft trajectories in a test airspace -- while maintaining or increasing system safety; and 2) to use these tools in a test airspace to identify possible phase transition structure to predict when an airspace will approach the limits of its capacity. These 4D trajectories continuously replan their paths in the presence of noise and uncertainty while optimizing performance measures and performing conflict detection and resolution. In this approach, trajectories are represented as extended objects endowed with pseudopotential, maintaining time and fuel-efficient paths by bending just enough to accommodate separation while remaining inside of performance envelopes. This trajectory-centric approach differs from previous aircraft-centric distributed approaches to deconfliction. The results of this project are the following: 1) we delivered a toolbox of algorithms, agent-based structures and method descriptions as pseudocode; and 2) we corroborated the existence of phase transition structure in simulation with the addition of "early warning" detected prior to "full" airspace. This research suggests that airspace "fullness" can be anticipated and remedied before the airspace becomes unsafe.

Holmes, Bruce J.↗