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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

On the Formal Verification of Conflict Detection Algorithms

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach, based on formal verification, for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, which is a continuous path in the x-y plane constrained by physical laws and operational requirements. From the Model of trajectories, we extract, and formally prove, high level properties that can serve as a framework to analyze conflict scenarios. We use the Airborne Information for Lateral Spacing (AILS) alerting algorithm as a case study of our approach.

Munoz, Cesar↗
NASA NTRS2012

SURF IA Conflict Detection and Resolution Algorithm Evaluation

The Enhanced Traffic Situational Awareness on the Airport Surface with Indications and Alerts (SURF IA) algorithm was evaluated in a fast-time batch simulation study at the National Aeronautics and Space Administration (NASA) Langley Research Center. SURF IA is designed to increase flight crew situation awareness of the runway environment and facilitate an appropriate and timely response to potential conflict situations. The purpose of the study was to evaluate the performance of the SURF IA algorithm under various runway scenarios, multiple levels of conflict detection and resolution (CD&R) system equipage, and various levels of horizontal position accuracy. This paper gives an overview of the SURF IA concept, simulation study, and results. Runway incursions are a serious aviation safety hazard. As such, the FAA is committed to reducing the severity, number, and rate of runway incursions by implementing a combination of guidance, education, outreach, training, technology, infrastructure, and risk identification and mitigation initiatives [1]. Progress has been made in reducing the number of serious incursions - from a high of 67 in Fiscal Year (FY) 2000 to 6 in FY2010. However, the rate of all incursions has risen steadily over recent years - from a rate of 12.3 incursions per million operations in FY2005 to a rate of 18.9 incursions per million operations in FY2010 [1, 2]. The National Transportation Safety Board (NTSB) also considers runway incursions to be a serious aviation safety hazard, listing runway incursion prevention as one of their most wanted transportation safety improvements [3]. The NTSB recommends that immediate warning of probable collisions/incursions be given directly to flight crews in the cockpit [4].

Jones, Denise R.↗
NASA NTRS2009

Initial Concept for Terminal Area Conflict Detection, Alerting, and Resolution Capability on or Near the Airport Surface

The Next Generation Air Transportation System (NextGen) concept for 2025 envisions the movement of large numbers of people and goods in a safe, efficient, and reliable manner. The NextGen will remove many of the constraints in the current air transportation system, support a wider range of operations, and deliver an overall system capacity up to 3 times that of current operating levels. In order to achieve the NextGen vision, research is necessary in the areas of surface traffic optimization, maximum runway capacity, reduced runway occupancy time, simultaneous single runway operations, and terminal area conflict prevention, among others. The National Aeronautics and Space Administration (NASA) is conducting Collision Avoidance for Airport Traffic (CAAT) research to develop technologies, data, and guidelines to enable Conflict Detection and Resolution (CD&R) in the Airport Terminal Maneuvering Area (ATMA) under current and emerging NextGen operating concepts. In this report, an initial concept for an aircraft-based method for CD&R in the ATMA is presented. This method is based upon previous NASA work in CD&R for runway incursion prevention, the Runway Incursion Prevention System (RIPS). CAAT research is conducted jointly under NASA's Airspace Systems Program, Airportal Project and the Aviation Safety Program, Integrated Intelligent Flight Deck Project.

Green, David F.↗
NASA NTRS2013

Initial Concept for Terminal Area Conflict Detection, Alerting, and Resolution Capability On or Near the Airport Surface, Version 2.0

The Next Generation Air Transportation System (NextGen) concept for 2025 envisions the movement of large numbers of people and goods in a safe, efficient, and reliable manner. The NextGen will remove many of the constraints in the current air transportation system, support a wider range of operations, and deliver an overall system capacity up to 3 times that of current operating levels. In order to achieve the NextGen vision, research is necessary in the areas of surface traffic optimization, maximum runway capacity, reduced runway occupancy time, simultaneous single runway operations, and terminal area conflict prevention, among others. The National Aeronautics and Space Administration (NASA) is conducting Collision Avoidance for Airport Traffic (CAAT) research to develop technologies, data, and guidelines to enable Conflict Detection and Resolution (CD&R) in the Airport Terminal Maneuvering Area (ATMA) under current and emerging NextGen operating concepts. The term ATMA was created to reflect the fact that the CD&R concept area of operation is focused near the airport within the terminal maneuvering area. In the following, an initial concept for an aircraft-based method for CD&R in the ATMA is presented. This method is based upon previous NASA work in CD&R for runway incursion prevention, the Runway Incursion Prevention System (RIPS).

Otero, Sharon D.↗
NASA NTRS2003

Improved Conflict Detection for Reducing Operational Errors in Air Traffic Control

An operational error is an incident in which an air traffic controller allows the separation between two aircraft to fall below the minimum separation standard. The rates of such errors in the US have increased significantly over the past few years. This paper proposes new detection methods that can help correct this trend by improving on the performance of Conflict Alert, the existing software in the Host Computer System that is intended to detect and warn controllers of imminent conflicts. In addition to the usual trajectory based on the flight plan, a "dead-reckoning" trajectory (current velocity projection) is also generated for each aircraft and checked for conflicts. Filters for reducing common types of false alerts were implemented. The new detection methods were tested in three different ways. First, a simple flightpath command language was developed t o generate precisely controlled encounters for the purpose of testing the detection software. Second, written reports and tracking data were obtained for actual operational errors that occurred in the field, and these were "replayed" to test the new detection algorithms. Finally, the detection methods were used to shadow live traffic, and performance was analysed, particularly with regard to the false-alert rate. The results indicate that the new detection methods can provide timely warnings of imminent conflicts more consistently than Conflict Alert.

Paielli, Russell A.↗
NASA NTRS2011

Surveillance Range and Interference Impacts on Self-Separation Performance

Self-separation is a concept of flight operations that aims to provide user benefits and increase airspace capacity by transferring traffic separation responsibility from ground-based controllers to the flight crew. Self-separation is enabled by cooperative airborne surveillance, such as that provided by the Automatic Dependent Surveillance-Broadcast (ADSB) system and airborne separation assistance technologies. This paper describes an assessment of the impact of ADS-B system performance on the performance of self-separation as a step towards establishing far-term ADS-B performance requirements. Specifically, the impacts of ADS-B surveillance range and interference limitations were analyzed under different traffic density levels. The analysis was performed using a batch simulation of aircraft performing self-separation assisted by NASA s Autonomous Operations Planner prototype flight-deck tool, in two-dimensional airspace. An aircraft detected conflicts within a look-ahead time of ten minutes and resolved them using strategic closed trajectories or tactical open maneuvers if the time to loss of separation was below a threshold. While a complex interaction was observed between the impacts of surveillance range and interference, as both factors are physically coupled, self-separation performance followed expected trends. An increase in surveillance range resulted in a decrease in the number of conflict detections, an increase in the average conflict detection lead time, and an increase in the percentage of conflict resolutions that were strategic. The majority of the benefit was observed when surveillance range was increased to a value corresponding to the conflict detection look-ahead time. The benefits were attenuated at higher interference levels. Increase in traffic density resulted in a significant increase in the number of conflict detections, as expected, but had no effect on the conflict detection lead time and the percentage of conflict resolutions that were strategic. With surveillance range corresponding to ADS-B minimum operational performance standards for Class A3 equipment and without background interference, a significant portion of conflict resolutions, 97 percent, were achieved in the preferred strategic mode. The majority of conflict resolutions, 71 percent, were strategic even with very high interference (over three times that expected in 2035).

Idris, Husni↗
NASA NTRS2017

Trajectory Specification for Terminal Air Traffic: Pairwise Conflict Detection and Resolution

Trajectory specification is the explicit bounding and control of aircraft trajectories such that the position at each point in time is constrained to a precisely defined volume of space. The bounding space is defined by cross-track, along-track, and vertical tolerances relative to a reference trajectory that specifies position as a function of time. The tolerances are dynamic and will be based on the aircraft navigation capabilities and the current traffic situation. A standard language will be developed to represent these specifications and to communicate them by datalink. Assuming conformance, trajectory specification can guarantee safe separation for an arbitrary period of time even in the event of an air traffic control (ATC) system or datalink failure, hence it can help to achieve the high level of safety and reliability needed for ATC automation. As a more proactive form of ATC, it can also maximize airspace capacity and reduce the reliance on tactical backup systems during normal operation. It applies to both enroute airspace and the terminal area around airports, but this paper focuses on the terminal area and presents algorithms and software for spacing arrivals and deconflicting both arrivals and departures.

air traffic control↗
NASA NTRS2013

A Turn-Projected State-Based Conflict Resolution Algorithm

State-based conflict detection and resolution (CD&R) algorithms detect conflicts and resolve them on the basis on current state information without the use of additional intent information from aircraft flight plans. Therefore, the prediction of the trajectory of aircraft is based solely upon the position and velocity vectors of the traffic aircraft. Most CD&R algorithms project the traffic state using only the current state vectors. However, the past state vectors can be used to make a better prediction of the future trajectory of the traffic aircraft. This paper explores the idea of using past state vectors to detect traffic turns and resolve conflicts caused by these turns using a non-linear projection of the traffic state. A new algorithm based on this idea is presented and validated using a fast-time simulator developed for this study.

Butler, Ricky W.↗
NASA NTRS2001

Automatic Debugging Support for UML Designs

Design of large software systems requires rigorous application of software engineering methods covering all phases of the software process. Debugging during the early design phases is extremely important, because late bug-fixes are expensive. In this paper, we describe an approach which facilitates debugging of UML requirements and designs. The Unified Modeling Language (UML) is a set of notations for object-orient design of a software system. We have developed an algorithm which translates requirement specifications in the form of annotated sequence diagrams into structured statecharts. This algorithm detects conflicts between sequence diagrams and inconsistencies in the domain knowledge. After synthesizing statecharts from sequence diagrams, these statecharts usually are subject to manual modification and refinement. By using the "backward" direction of our synthesis algorithm. we are able to map modifications made to the statechart back into the requirements (sequence diagrams) and check for conflicts there. Fed back to the user conflicts detected by our algorithm are the basis for deductive-based debugging of requirements and domain theory in very early development stages. Our approach allows to generate explanations oil why there is a conflict and which parts of the specifications are affected.

Schumann, Johann↗
NASA NTRS1972

An investigation of vehicle dependent aspects of terminal area ATC operation.

Description of a terminal area simulation which permits analysis and synthesis of current and advanced air traffic management system configurations including ground and airborne instrumentation and new and modified aircraft characteristics. Ground elements in the simulation include navigation aids, surveillance radars, communication links, air-route structuring, ATC procedures, airport geometries, and runway handling constraints. Airborne elements include traffic samples with individual aircraft performance and operating characteristics and aircraft navigation equipment. The simulation also contains algorithms for conflict detection, conflict resolution, sequencing and pilot-controller data links.

Britt, C. L., Jr.↗
NASA NTRS1972

Development of simulation techniques suitable for the analysis of air traffic control situations and instrumentation

A terminal area simulation is described which permits analysis and synthesis of current and advanced air traffic management system configurations including ground and airborne instrumentation and new and modified aircraft characteristics. Ground elements in the simulation include navigation aids, surveillance radars, communication links, air-route structuring, ATC procedures, airport geometries and runway handling constraints. Airborne elements include traffic samples with individual aircraft performance and operating characteristics and aircraft navigation equipment. The simulation also contains algorithms for conflict detection, conflict resolution, sequencing and pilot-controller data links. The simulation model is used to determine the sensitivities of terminal area traffic flow, safety and congestion to aircraft performance characteristics, avionics systems, and other ATC elements.

Source record↗
NASA NTRS1998

An Evaluation and Redesign of the Conflict Prediction and Trial Planning Planview Graphical User Interface

The Planview Graphical User Interface (PGUI) is the primary display of air traffic for the Conflict Prediction and Trial Planning, function of the Center TRACON Automation System. The PGUI displays air traffic information that assists the user in making decisions related to conflict detection, conflict resolution, and traffic flow management. The intent of this document is to outline the human factors issues related to the design of the conflict prediction and trial planning portions of the PGUI, document all human factors related design changes made to the PGUI from December 1996 to September 1997, and outline future plans for the ongoing PGUI design.

Laudeman, Irene V.↗
NASA NTRS2024

A Method of Compliance for Achieving Target Collision Risk in UTM Operations

This work proposes a method of compliance to ensure that the collision risks among small unmanned aircraft systems meet the target level of safety. This method presents what is needed for a strategic conflict detection service to achieve the target level of safety when conflict between operational intents are not permitted in nominal situations. A volume-based collision risk model is first developed to calculate the UA-to-UA collision risk given any two operational intent volumes. With this collision risk model, a test strategy is then proposed to assess if a strategic conflict detection service can reduce the collision risk and meet the target level of safety. The method also specifies operational data that are required to be collected to verify if requirements on conformance are being met. Additionally, two new requirements are identified and proposed by this method beyond the current standard for strategic conflict detection. In the sensitivity analysis, three main factors contributing to the collision risk are investigated. The analysis shows that buffers should be considered in a strategic conflict detection service when deconflicting operational intents. The results also reveal that the selection of test cases plays an important role in evaluating the strategic conflict detection service, and they should be representative and sufficiently complex in evaluation tests.

Collision Risk↗
NASA NTRSDate not supplied

A Method of Compliance for Achieving Target Collision Risk in UTM Operations

This work proposes a method of compliance to ensure that the collision risks among small unmanned aircraft systems meet the target level of safety. This method presents what is needed for a strategic conflict detection service to achieve the target level of safety when conflict between operational intents are not permitted in nominal situations. A volume-based collision risk model is first developed to calculate the UA-to-UA collision risk given any two operational intent volumes. With this collision risk model, a test strategy is then proposed to assess if a strategic conflict detection service can reduce the collision risk and meet the target level of safety. The method also specifies operational data that are required to be collected to verify if requirements on conformance are being met. Additionally, two new requirements are identified and proposed by this method beyond the current standard for strategic conflict detection. In the sensitivity analysis, three main factors contributing to the collision risk are investigated. The analysis shows that buffers should be considered in a strategic conflict detection service when deconflicting operational intents. The results also reveal that the selection of test cases plays an important role in evaluating the strategic conflict detection service, and they should be representative and sufficiently complex in evaluation tests.

UTM, Method of Compliance, collision risk↗
NASA NTRSDate not supplied

A Method of Compliance for Achieving Target Collision Risk in UTM Operations

This work proposes a method of compliance to ensure that the collision risks among small unmanned aircraft systems meet the target level of safety. This method presents what is needed for a strategic conflict detection service to achieve the target level of safety when conflict between operational intents are not permitted in nominal situations. A volume-based collision risk model is first developed to calculate the UA-to-UA collision risk given any two operational intent volumes. With this collision risk model, a test strategy is then proposed to assess if a strategic conflict detection service can reduce the collision risk and meet the target level of safety. The method also specifies operational data that are required to be collected to verify if requirements on conformance are being met. Additionally, two new requirements are identified and proposed by this method beyond the current standard for strategic conflict detection. In the sensitivity analysis, three main factors contributing to the collision risk are investigated. The analysis shows that buffers should be considered in a strategic conflict detection service when deconflicting operational intents. The results also reveal that the selection of test cases plays an important role in evaluating the strategic conflict detection service, and they should be representative and sufficiently complex in evaluation tests.

UTM↗
NASA NTRS2006

A Simple Two Aircraft Conflict Resolution Algorithm

Conflict detection and resolution methods are crucial for distributed air-ground traffic management in which the crew in, the cockpit, dispatchers in operation control centers sad and traffic controllers in the ground-based air traffic management facilities share information and participate in the traffic flow and traffic control functions. This paper describes a conflict detection, and a conflict resolution method. The conflict detection method predicts the minimum separation and the time-to-go to the closest point of approach by assuming that both the aircraft will continue to fly at their current speeds along their current headings. The conflict resolution method described here is motivated by the proportional navigation algorithm, which is often used for missile guidance during the terminal phase. It generates speed and heading commands to rotate the line-of-sight either clockwise or counter-clockwise for conflict resolution. Once the aircraft achieve a positive range-rate and no further conflict is predicted, the algorithm generates heading commands to turn back the aircraft to their nominal trajectories. The speed commands are set to the optimal pre-resolution speeds. Six numerical examples are presented to demonstrate the conflict detection, and the conflict resolution methods.

Chatterji, Gano B.↗
NASA NTRS1999

A Simple Two Aircraft Conflict Resolution Algorithm

Conflict detection and resolution methods are crucial for distributed air-ground traffic management in which the crew in the cockpit, dispatchers in operation control centers and air traffic controllers in the ground-based air traffic management facilities share information and participate in the traffic flow and traffic control imctions.This paper describes a conflict detection and a conflict resolution method. The conflict detection method predicts the minimum separation and the time-to-go to the closest point of approach by assuming that both the aircraft will continue to fly at their current speeds along their current headings. The conflict resolution method described here is motivated by the proportional navigation algorithm. It generates speed and heading commands to rotate the line-of-sight either clockwise or counter-clockwise for conflict resolution. Once the aircraft achieve a positive range-rate and no further conflict is predicted, the algorithm generates heading commands to turn back the aircraft to their nominal trajectories. The speed commands are set to the optimal pre-resolution speeds. Six numerical examples are presented to demonstrate the conflict detection and resolution method.

Chatterji, Gano B.↗