Search NASA⌕ Search

SEARCH · Search NASA

Results for “air traffic simulation”

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 433 records · Page 24

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↗

Effects of Unmanned Aircraft Voice Communication Delay on En Route Air Traffic Management Operations

The present study investigated the effects of remotely piloted unmanned aircraft (UA) voice communication delay on air traffic management operations with different background sector traffic-volume levels. Three one-way UA voice delay lengths of 400, 900, and 2,000 milliseconds (ms) were tested, representing the currently estimated transmission delays for terrestrial, satellite communication (SATCOM), and long SATCOM Command and Control Link System, respectively. All delay values exceeded 390 ms, the FAA’s current requirement for the maximum communication latency in the National Airspace System. Eight retired en route air traffic controllers (ATCs) and eight remote pilots (RPs) participated in a human-inthe-loop simulation study, where a simulated UA flight transitioned through an Oakland en route low-altitude sector to a local non-towered airport. The results showed that, when the 2,000-ms voice delay was present, radio transmission step-ons and detect-and-avoid (DAA) alert level elevations increased. In addition, ATC workload, ATC acceptability for the UA, and RP acceptability for the DAA were negatively affected only when the UA had a 2,000-ms voice delay under the high traffic-volume condition, but not in the other conditions.

remotely piloted unmanned aircraft, voice delay, s↗

Analysis of Traffic Flow in Structured Urban Airspace Networks with MFD-based Feedback Control

This research delves into applying the Macroscopic Fundamental Diagram (MFD) concept to structured airspace networks for comprehensive aggregate modeling and introduces a feedback-based departure function aimed at optimizing traffic flow. Previous studies have rarely examined structured airspace networks featuring non-stationary vehicles through the MFD perspective. We devised a scenario grounded in practical applications, featuring a multi-lane network with explicit lane-changing behavior. The MFD effectively captured the open-loop response, displaying a low-scatter, unimodal curve on the flow versus occupancy plot. Drawing inspiration from the ground transportation ramp-metering strategies, a proportional-integral-based controller was developed. Extensive simulation outcomes suggest that feedback control, informed by MFD, holds significant potential for managing traffic flow in Urban Air Mobility (UAM) environments; a reduction of 80% in the peak number of vehicles in a holding pattern was observed for a slight reduction in throughput in this study.

MFD↗

Analysis of Traffic Flow in Structured Urban Airspace Networks with MFD-based Feedback Control

This research delves into applying the Macroscopic Fundamental Diagram (MFD) concept to structured airspace networks for comprehensive aggregate modeling and introduces a feedback-based departure function aimed at optimizing traffic flow. Previous studies have rarely examined structured airspace networks featuring non-stationary vehicles through the MFD perspective. We devised a scenario grounded in practical applications, featuring a multi-lane network with explicit lane-changing behavior. The MFD effectively captured the open-loop response, displaying a low-scatter, unimodal curve on the flow versus occupancy plot. Drawing inspiration from the ground transportation ramp-metering strategies, a proportional-integral-based controller was developed. Extensive simulation outcomes suggest that feedback control, informed by MFD, holds significant potential for managing traffic flow in Urban Air Mobility (UAM) environments; a reduction of 80% in the peak number of vehicles in a holding pattern was observed for a slight reduction in throughput in this study.

MFD↗

Design and evaluation of an advanced air-ground data-link system for air traffic control

The design and evaluation of the ground-based portion of an air-ground data-link system for air traffic control (ATC) are described. The system was developed to support the 4D Aircraft/ATC Integration Study, a joint simulation experiment conducted at NASA's Ames and Langley Research Centers. The experiment focused on airborne and ground-based procedures for handling aircraft equipped with a 4D-Flight Management System (FMS) and the system requirements needed to ensure conflict-free traffic flow. The Center/TRACON Automation System (CTAS) at Ames was used for the ATC part of the experiment, and the 4D-FMS-equipped aircraft was simulated by the Transport Systems Research Vehicle (TSRV) simulator at Langley. The data-link system supported not only conventional ATC communications, but also the communications needed to accommodate the 4D-FMS capabilities of advanced aircraft. Of great significance was the synergism gained from integrating the data link with CTAS. Information transmitted via the data link was used to improve the monitoring and analysis capability of CTAS without increasing controller input workload. Conversely, CTAS was used to anticipate and create prototype messages, thus reducing the workload associated with the manual creation of data-link messages.

Denbraven, Wim↗

Measurement of Temporal Awareness in Air Traffic Control

Temporal awareness, or level 3 situation awareness, is critical to successful control of air traffic, yet the construct remains ill-defined and difficult to measure. This research sought evidence for air traffic controllers awareness of temporal characteristics of their tasks in data from a high-fidelity system evaluation simulation. Five teams of controllers worked on four scenarios with different traffic load. Several temporal parameters were defined for each task controllers performed during a simulation run and their actions on the tasks were timed relative to them. Controllers showed a strong tendency to prioritize tasks according to a first come, first served principle. This trend persisted as task load increased. Also evident was awareness of the urgency of tasks, as tasks with impending closing of a window of opportunity were performed before tasks that had longer time available before closing of the window.

Rantanen, E.M.↗

A Flight Research Overview of WSPR, a Pilot Project for Sonic Boom Community Response

In support of NASAs ongoing effort to bring supersonic commercial travel to the public, NASA Dryden Flight Research Center and NASA Langley Research Center, in cooperation with other industry organizations, conducted a flight research experiment to identify the methods, tools, and best practices for a large-scale quiet (or low) sonic boom community human response test. The name of the effort was Waveforms and Sonic boom Perception and Response. Such tests will go towards building a dataset that governing agencies like the Federal Aviation Administration and International Civil Aviation Organization will use to establish regulations for acceptable sound levels of overland sonic booms. Until WSPR, there had never been an effort that studied the response of people in their own homes and performing daily activities to non-traditional, low sonic booms.WSPR was a NASA collaborative effort with several industry partners, in response to a NASA Aeronautics Research Mission Directorate Research Opportunities in Aeronautics. The primary contractor was Wyle. Other partners included Gulfstream Aerospace Corporation, Pennsylvania State University, Tetra Tech, and Fidell Associates, Inc.A major objective of the effort included exposing a community with the sonic boom magnitudes and occurrences expected in high-air traffic regions with a network of supersonic commercial aircraft in place. Low-level sonic booms designed to simulate those produced by the next generation of commercial supersonic aircraft were generated over a small residential community. The sonic boom footprint was recorded with an autonomous wireless microphone array that spanned the entire community. Human response data was collected using multiple survey methods. The research focused on essential elements of community response testing including subject recruitment, survey methods, instrumentation systems, flight planning and operations, and data analysis methods.This paper focuses on NASAs role in the efforts logistics and operations including human response subject recruitment, the operational processes involved in implementing the surveys throughout the community, instrumentation systems, logistics, flight planning, and flight operations. Findings discussed in this paper include critical lessons learned in all of those areas. The paper also discusses flight operations results. Analysis of the accuracy and repeatability of planning and executing the unique aircraft maneuver used to generate low sonic booms concluded that the sonic booms had overpressures within 0.15 pounds-per-square-feet of the planned values for 76 of t he attempts. Similarly, 90 of the attempts to generate low sonic booms within the community were successful.

sonic booms↗

A Flight Research Overview of WSPR, a Pilot Project for Sonic Boom Community Response

In support of the ongoing effort by the National Aeronautics and Space Administration (NASA) to bring supersonic commercial travel to the public, the NASA Armstrong Flight Research Center and the NASA Langley Research Center, in cooperation with other industry organizations, conducted a flight research experiment to identify the methods, tools, and best practices for a large-scale quiet (or low) sonic boom community human response test. The name of the effort was Waveforms and Sonic boom Perception and Response (WSPR). Such tests will be applied to building a dataset that governing agencies such as the Federal Aviation Administration and the International Civil Aviation Organization will use to establish regulations for acceptable sound levels of overland sonic booms. The WSPR test was the first such effort that studied responses to non-traditional low sonic booms while the subject persons were in their own homes and performing daily activities.The WSPR test was a NASA collaborative effort with several industry partners, in response to a NASA Aeronautics Research Mission Directorate Research Opportunities in Aeronautics. The primary contractor was Wyle (El Segundo, California). Other partners included Gulfstream Aerospace Corporation (Savannah, Georgia); Pennsylvania State University (University Park, Pennsylvania); Tetra Tech, Inc. (Pasadena, California); and Fidell Associates, Inc. (Woodland Hills, California).A major objective of the effort included exposing a community to the sonic boom magnitudes and occurrences that would be expected to occur in high-air traffic regions having a network of supersonic commercial aircraft in place. Low-level sonic booms designed to simulate those produced by the next generation of commercial supersonic aircraft were generated over a small residential community. The sonic boom footprint was recorded with an autonomous wireless microphone array that spanned the entire community. Human response data were collected using multiple survey methods. The research focused on essential elements of community response testing including subject recruitment, survey methods, instrumentation systems, flight planning and operations, and data analysis methods.This paper focuses on the NASA role in the logistics and operations of the effort, including human response subject recruitment, the operational processes involved in implementing the surveys throughout the community, instrumentation systems, logistics, flight planning, and flight operations. Findings discussed in this paper include critical lessons learned in all of the above-mentioned areas, as well as flight operations results. Analysis of the accuracy and repeatability of planning and executing the unique aircraft maneuver used to generate low sonic booms concluded that the sonic booms had overpressures within 0.15 lbft2 of the planned values for 76 percent of the attempts. Similarly, 90 percent of the attempts to generate low sonic booms within the community were successful.

community response↗

Investigating the Impacts of a Separation Standard for UAS Operations in Enroute and Transition Airspace

Unmanned aircraft systems will be required to equip with a detect and avoid system in order to satisfy the federal aviation regulations to remain well clear of other aircraft. To comply with regulations in today’s operations manned aircraft must “see and avoid” other aircraft and use subjective judgment to determine whether those aircraft are well clear. For a detect-and- avoid (DAA) system to satisfy the requirement to stay well clear, a quantitative definition of well clear needs to be defined and evaluated. Definitions for the boundary of well clear have been proposed by the Unmanned Aircraft System (UAS) Executive Committee Science and Research Panel (SaRP) and the Radio Technical Commission for Aeronautics (RTCA) Special Committee 228 on Detect and Avoid Systems. This study investigates the interoperability implications of UAS using proposed well clear definitions as a separation standard for conducting operations in the national airspace system. The first analysis in the study focuses on the effect of variations in well clear definition parameters on the rate of losses of well clear per flight hour. The second analysis considers three well clear definitions and presents the relative state conditions of intruder aircraft as they encroach upon the well clear boundary. The third analysis focuses on the definition of the alerting criteria needed to inform the UAS operator of a potential loss of well clear. All three analyses are conducted in a NAS-wide fast-time simulation environment using UAS aircraft models, proposed UAS missions, and historical air defense radar data to populate the background traffic operating under visual flight rules. The results from the three analyses presented in this study inform the safety case, requirements development, and the operational environment for the DAA minimum operational performance standards.

UAS Seperation Standard↗

Simulation and Modeling Concepts for Secure Airspace Operations

With the expected advent of new entrants including Unmanned Aerial Systems, Commercial Launch Vehicles and Urban Air Mobility aircraft, the future United States National Airspace System will have to evolve to include their operations along with the current commercial, general aviation and military operations. The National Aeronautics and Space Administration and the Federal Aviation Administration are working together to provide a vision for aviation operations in the future—2045 and beyond. Their National Airspace System Horizons initiative seeks to provide stakeholders a list of operational scenarios and technologies, concepts and strategies needed for supporting that vision. They have identified cybersecurity as one of the seven strategic interest areas for realizing this vision. Consequently, NASA is studying cyber resiliency for secure airspace operations. This paper examines cyber security vulnerabilities of Urban Air Mobility operations. While there are many pathways to attack a cyber physical system such as Urban Air Mobility, their effect is expressed in modification or corruption of data/information used for controlling vehicles and making operational decisions. The paper describes cybersecurity technologies of Encryption, Blockchain, Virtual Information Fabric Infrastructure, Trusted Platform Module and Anomaly Detection for protecting the data, thus, improving the cyber resiliency of the current and future air traffic management system.

Cybersecurity↗

Preliminary Analysis of Separation Standards for Urban Air Mobility using Unmitigated Fast-Time Simulation

This research provides a preliminary analysis of various separation standards for Urban Air Mobility (UAM) operations. This study focuses on understanding and analyzing potential conflicts between UAM flights and conflicts between UAM and conventional aircraft. Fast-time simulations are conducted with a projected high-density of UAM traffic scenario and historical conventional non-UAM traffic flying under Instrument Flight Rules (IFR) or Visual Flight Rules (VFR) in Dallas Fort Worth (DFW) airspace. The conflicts are analyzed by examining losses of separation and near mid-air collisions of UAM flights and unmitigated risk of collision. A set of varied separation standards are used to investigate the impact of the new UAM operations on safety. The preliminary conflict analysis results will help inform separation standards development and in airspace and route design activities for future UAM operations.

Urban air mobility↗

Controller Inhibition of Automated Conflict Resolutions in a Maximum NextGen Condition

With the continued projection of increases in air traffic density, operations in the National Airspace System are expected to exceed human capabilities in the near future. In order to address the bottleneck of human workload capacity, highly automated safety-critical systems are under development to support air traffic controllers. A human-in-the-loop experiment examined controllers transition through four NextGen automation stages: Current-Day, Minimum, Moderate, and Maximum. Maximum NextGen simulated a fully automated environment where the automation was responsible for detecting and resolving conflicts within simulation parameters in high-density airspace. By allocating these tasks to the automation, the controllers task changed. The human moved to primarily a supervisory position- typically only regaining control over separation assurance tasks during conflict situations deferred by the automation. While tasks were allocated a-priori between the controller and automated agent, controllers maintained authority to inhibit the automation from interacting with particular aircraft. Preliminary work is complete, where significant differences were found in inhibition frequency between simulation participants. However, the contexts in which the controllers inhibited the automation, and their reasons for doing so, remain unclear. This analysis attempts to identity factors contributing to human controllers inhibition of the automation in the Maximum NextGen condition.

adaptable automation↗

Initial Exploratory Study of the Impacts of Climate Change on Air Traffic Operations

Climate change is already happening and is projected to accelerate in the future. It will persist for the foreseeable future, even with optimistic projections of technological advances and behavior changes. It will make aviation more and more challenging over time. Among other things, it is expected to cause increased severe weather, more extreme temperatures, and rising sea levels that constrain when, where, and how aircraft can fly. NASA has many prior, ongoing, and upcoming efforts towards mitigating the impacts of aviation on climate change. There is also a need to perform a comprehensive investigation of the reverse: that is, the impacts of climate change on aviation. This is an initial exploratory study on this topic utilizing the NAS Digital Twin—composed of the ATM TestBed simulation platform and NAS Digital Twin airspace management algorithms—to run NAS-wide simulations with Convective Weather Avoidance Model polygons at different avoidance thresholds to emulate the increase in severe weather that could manifest due to climate change. It was found that air traffic management may be able to limit the impact of climate change in terms of delay and fuel burn. However, increased severe weather due to climate change can make separation—particularly, aircraft-to-weather separation—more challenging by reducing available airspace and constraining the solution space. Challenging situations were identified and corresponding potential solutions were proposed towards ensuring air traffic operations continue to be robust and resilient to the impacts of increased severe weather due to climate change.

climate change, weather, air traffic operations↗

Modeling and Simulation of an UAS Collision Avoidance Systems

This paper describes a Modeling and Simulation of an Unmanned Aircraft Systems (UAS) Collision Avoidance System, capable of representing different types of scenarios for UAS collision avoidance. Commercial and military piloted aircraft currently utilize various systems for collision avoidance such as Traffic Alert and Collision A voidance System (TCAS), Automatic Dependent Surveillance-Broadcast (ADS-B), Radar and ElectroOptical and Infrared Sensors (EO-IR). The integration of information from these systems is done by the pilot in the aircraft to determine the best course of action. In order to operate optimally in the National Airspace System (NAS) UAS have to work in a similar or equivalent manner to a piloted aircraft by applying the principle of "detect-see and avoid" (DSA) to other air traffic. Hence, we have taken these existing sensor technologies into consideration in order to meet the challenge of researching the modeling and simulation of an approximated DSA system. A Schematic Model for a UAS Collision Avoidance System (CAS) has been developed ina closed loop block diagram for that purpose. We have found that the most suitable software to carry out this task is the Satellite Tool Kit (STK) from Analytical Graphics Inc. (AGI). We have used the Aircraft Mission Modeler (AMM) for modeling and simulation of a scenario where a UAS is placed on a possible collision path with an initial intruder and then with a second intruder, but is able to avoid them by executing a right tum maneuver and then climbing. Radars have also been modeled with specific characteristics for the UAS and both intruders. The software provides analytical, graphical user interfaces and data controlling tools which allow the operator to simulate different conditions. Extensive simulations have been carried out which returned excellent results.

Oliveros, Edgardo V.↗

NASA's UAS Integration into the NAS: A Report on the Human Systems Integration Phase 1 Simulation Activities

In 2011 the National Aeronautics and Space Administration (NASA) began a five-year Project to address the technical barriers related to routine access of Unmanned Aerial Systems (UAS) in the National Airspace System (NAS). Planned in two phases, the goal of the first phase was to lay the foundations for the Project by identifying those barriers and key issues to be addressed to achieve integration. Phase 1 activities were completed two years into the five-year Project. The purpose of this paper is to review activities within the Human Systems Integration (HSI) subproject in Phase 1 toward its two objectives: 1) develop GCS guidelines for routine UAS access to the NAS, and 2) develop a prototype display suite within an existing Ground Control Station (GCS). The first objective directly addresses a critical barrier for UAS integration into the NAS - a lack of GCS design standards or requirements. First, the paper describes the initial development of a prototype GCS display suite and supporting simulation software capabilities. Then, three simulation experiments utilizing this simulation architecture are summarized. The first experiment sought to determine a baseline performance of UAS pilots operating in civil airspace under current instrument flight rules for manned aircraft. The second experiment examined the effect of currently employed UAS contingency procedures on Air Traffic Control (ATC) participants. The third experiment compared three GCS command and control interfaces on UAS pilot response times in compliance with ATC clearances. The authors discuss how the results of these and future simulation and flight-testing activities contribute to the development of GCS guidelines to support the safe integration of UAS into the NAS. Finally, the planned activities for Phase 2, including an integrated human-in-the-loop simulation and two flight tests are briefly described.

National Airspace System↗

Analysis of in-trail following dynamics of CDTI-equipped aircraft

In connection with the necessity to provide greater terminal area capacity, attention is given to approaches in which the required increase in capacity will be obtained by making use of more automation and by involving the pilot to a larger degree in the air traffic control (ATC) process. It was recommended that NASA should make extensive use of its research aircraft and cockpit simulators to assist the FAA in examining the capabilities and limitations of cockpit displays of traffic information (CDTI). A program was organized which utilizes FAA ATC (ground-based) simulators and NASA aircraft and associated cockpit simulators in a research project which explores applications of the CDTI system. The present investigation is concerned with several questions related to the CDTI-based terminal area traffic tactical control concepts. Attention is given to longitudinal separation criteria, a longitudinal following model, longitudinal capture, combined longitudinal/vertical control, and lateral control.

Sorensen, J. A.↗

Symbolic LTL Compilation for Model Checking: Extended Abstract

In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

Rozier, Kristin Y.↗

Charlotte - EDC Evaluation and Demonstration (CEED) Human-in-the-Loop Results Briefing to ATD-2 FAA Partners

The Charlotte EDC Evaluation and Demonstration (CEED) was the first Human-In-The-Loop experiment under the Air Traffic Management Technology Demonstration-2 (ATD-2) project. The purpose of the study was fourfold: 1) to establish a simulation environment (Charlotte) for airspace operations for ATD-2 technology, 2) to simulate current-day departures and arrival operations, 3) to assess the impact of current Traffic Management Initiatives (TMI) on Charlotte (CLT) departure flows and en route operations in Washington (ZDC) and Atlanta Centers (ZTL), and 4) to assess the impact of departure takeoff time compliance on airspace operations. The experimental design compared 3 TMIs and 2 compliance levels. Fourteen FAA retired controllers participated in the simulation. In addition, two Traffic Management Coordinators from ZTL and ZDC managed traffic flows. Surface and airborne delays, control efficiency, throughput, realism, workload, and acceptability were assessed and will be compared across the experimental conditions. Participants rated the simulation as very realistic. Results indicate that different TMIs have different impacts on surface and airspace delay. Departure compliance indicates partial benefits to sector complexity and controller workload. This simulation will provide an initial assessment of the tactical scheduling problems that the ATD-2 technology will address in the near term.

airspace technology demonstration 2↗